Research Areas: 

• Computing education
• Formal methods
• Formal methods and theory of security
• General programming languages