RESEARCH

Research Interests

  • Modelling, Simulation, and Verification of Systems
  • Human-Computer Interaction
  • Cognitive Science
  • Usage of Formal Methods in different application domains