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