|
- Research Interests
-
- Formal semantics, operational semantics, contextual equivalence, abstract machines
- Type systems, typing of programming language
- Verification and correctness of programs
- program transformations and optimizations, compiler correctness
- Functional programming, concurrent programming, parallel programming
- (Automated) deduction, nominal techniques, logics, rewrite systems
- Projects
- Own projects
- Other projects where I was involved
|