Click here for my research statement.

Research Projects:

• The LMC Project: Logic-Programming-Based Model Checking
• High-Confidence Operating Systems (HCOS)
• Center for Cyber-Security
• The Monte Carlo Software Model Checker
• Excitable Hybrid Automata

Current students and postdocs:

• Wenkai Tan
• Ping Yang
• Diptikalyan (Dipti) Saha
• Xiaowan Huang
• Pei Ye