My research focuses on rigorous approaches to modelling, programming, and verifying embedded control systems, and, in particular, on interactive theorem proving and programming languages.
|Fields of Research|
|University or Institution of affiliation||
|personal or institutional webpage|
|Interest in AFRAN?|