Research

Research Interests

• formal semantics, operational semantics, contextual equivalence, abstract machines
• program transformations and optimizations, compiler correctness
• functional programming, concurrent programming, parallel programming, probabilistic programming
• type systems, typing of programming language
• artificial intelligence, automated deduction, knowledge representation
• verification and correctness of programs
• deduction, nominal techniques, logics, rewrite systems

Projects

Own projects

• Observational Correctness of Programming Language Translations

Other projects where I was involved

• Automatic Correctness Proofs of Program Transformations
• Direct-Call I/O Approach modelled using Non-Determinism