External Collaborators

Assistant Professor

Medical Cyber-Physical Systems, Cyber-Physical Systems Group

Faculty of Informatics, Vienna University of Technology

Developing formal methods, tools and techniques which support the modeling and automated analysis of complex computational systems, including software systems, embedded systems and biological systems.