Education
Ph.D., Computer Science, Paris XI Orsay University, France

Research interests
Cyber Forensics
Network Security
Software Security
Malware Analysis
Program Analysis
Software Engineering
Systems Engineering
Formal Semantics and Methods
Verification and Validation
Languages Design and Analysis