Research

• Engineering Robotic Systems. Robot applications are being increasingly used in real life to help humans performing dangerous, heavy or monotonous tasks. My research interests concern how to help developer in creating robot applications in a systematic and rigorous manner.
  

• Incomplete/Partial model analysis. Software development is an iterative process. At any develipment stage designer may produce models that are incomplete and partially specified. My research interests concern how to help developers in analyzing models that are only partially specified.
  

• Adaptive Security: Security systems protect data and resources against unauthorized modifications, accesses, and disclosures. My research interest concerns how to help developers in designing security systems that are adaptive, i.e., it is able to autonomously change the security policies based on changes that occur within the system.