Expert In:

• Formal methods
• Abstract Interpretation
• Application security
• Automated program analysis

Expert In:

• Formal methods
• Automated testing
• Computer security
• Foundations of mathematics

Expert In:

• Formal methods for control design
• Applications in cyber-physical systems and robotics
• Control and dynamical systems
• Dynamics and control of networks

Expert In:

• Automated formal methods tools
• Interactive formal methods tools

Expert In:

• Formal Methods
• Autonomous Systems
• Control Theory
• Cyber-Physical Systems

Expert In:

• Formal Methods
• Autonomous Systems
• Control Theory
• Cyber-Physical Systems

Expert In:

• Lightweight formal methods
• Autonomous vehicles
• Blockchain
• Cybersecurity