Description

My research program can be divided into the following subprograms:
- Object capabilities and capability machines
- Modular effects and object oriented languages
- New reasoning principles for dependently-typed languages
- Secure compilation
Short titleBOF TTM
AcronymOZRTTM3
StatusActive
Effective start/end date1/10/1830/09/23

    Flemish discipline codes

  • Other computer engineering, information technology and mathematical engineering not elsewhere classified

    Research areas

  • computer science

ID: 46646378