|
- Research Interests
-
- formal semantics, operational semantics, contextual equivalence, abstract machines
- artificial intelligence, automated deduction, knowledge representation
- program transformations and optimizations, compiler correctness
- functional programming, concurrent programming, parallel programming, probabilistic programming
- type systems, typing of programming language
- verification and correctness of programs
- deduction, nominal techniques, logics, rewrite systems
- Projects
- Own projects
- Other projects where I was involved
|