Interests

• Programming languages
• Formal methods
• Theorem proving
• Models of computation
• Heterogeneous systems
• Concurrency
• Weak memory models
• Machine Learning for Compilers