Research Areas: 

• Automated reasoning
• General programming languages
• Logic
• Network security
• Type theory