W
Research Interests
Medical Imaging
Program Analysis
Programming Languages
Software Engineering
Synthesis and Improvement
Software Testing and Debugging Techniques
Software Engineering Research
Software Reliability and Analysis Research
Advanced Malware Detection Techniques
Security and Verification in Computing