Research Areas: 

• AI Safety
• Embedded and cyber-physical systems
• Formal methods
• General programming languages
• Heterogeneous (hybrid) systems
• Logic
• Robotic control
• Safety critical systems
• Theorem proving and SAT solving