S
Research Interests
Computer Architecture
Programming Languages and Computer Systems With a Focus On: Consistency Models, Coherence Protocols, Replication Protocols, Language Support for Microarchitecture Design, Correct-By-Construction System Design.
Software Testing and Debugging Techniques
Advanced Malware Detection Techniques
Software Engineering Research
Security and Verification in Computing
Software Reliability and Analysis Research