M
Research Interests
Application of Artificial Intelligence in Program Analysis
Automated Program Repair
Formal Methods
Program Analysis
Secure Software Development
Software Systems
Software Verification-Validation and Testing
Antibiotics Pharmacokinetics and Efficacy
Antibiotic Resistance in Bacteria
Cancer Therapeutics and Mechanisms