Research Areas

Software Testing/ Validation

  • Safety analysis and verification of real-time systems
  • Optimization of testing in the context of continuous integration
  • Model-based testing

Applications of AI/ML to Software Engineering

Data Privacy, Access Control, and Security Testing