Research Areas: 

• General programming languages
• Software architectures
• Software engineering
• Theorem proving and SAT solving
• Type theory