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.