We develop methods and tools to rigorously engineer zero-bug systems.
Formal Methods
We research mathematical methods and tools to ensure that systems have no functional or security bugs. This includes test case generation, model checking, automatic debugging, and automatic synthesis of systems from properties. Our interests include safe AI and security.
Team Könighofer
The focus of our group is on the design of trustworthy AI systems. We apply state-of-the-art formal methods to make sure that AI systems are safe, secure, transparent, accountable, robust, and unbiased. We apply our new methods and tools to challenging application domains, e.g., safety assurance in autonomous vehicles. Furthermore, we study how to combine formal methods with AI to increase the learning performance, using formal methods for reward shaping and fuzzing to create artificial training data. We publish at conferences like International Joint Conference on Artificial Intelligence (IJCAI), Conference of the American Association for Artificial Intelligence (AAAI), and Computer Aided Verification (CAV).
We research formal methods for system design. We look at both functional properties and at security properties. For example, we develop methods to ensure that machine learning systems fulfill certain formal properties, or that systems are not vulnerable to power sidechannel or fault injection attacks. We use mathematical methods and create software tools to automatically prove correctness. One of our specialties is reactive synthesis: methods and tools that automatically generate correct systems from their specs. We publish at conferences like Computer Aided Verification (CAV) and Formal Methods
for Computer Aided Design (FMCAD).
We may request cookies to be set on your device. We use cookies to let us know when you visit our websites, how you interact with us, to enrich your user experience, and to customize your relationship with our website.
Click on the different category headings to find out more. You can also change some of your preferences. Note that blocking some types of cookies may impact your experience on our websites and the services we are able to offer.
Essential Website Cookies
These cookies are strictly necessary to provide you with services available through our website and to use some of its features.
Because these cookies are strictly necessary to deliver the website, refusing them will have impact how our site functions. You always can block or delete cookies by changing your browser settings and force blocking all cookies on this website. But this will always prompt you to accept/refuse cookies when revisiting our site.
We fully respect if you want to refuse cookies but to avoid asking you again and again kindly allow us to store a cookie for that. You are free to opt out any time or opt in for other cookies to get a better experience. If you refuse cookies we will remove all set cookies in our domain.
We provide you with a list of stored cookies on your computer in our domain so you can check what we stored. Due to security reasons we are not able to show or modify cookies from other domains. You can check these in your browser security settings.
Other external services
We also use different external services like Google Webfonts, Google Maps, and external Video providers. Since these providers may collect personal data like your IP address we allow you to block them here. Please be aware that this might heavily reduce the functionality and appearance of our site. Changes will take effect once you reload the page.
Google Webfont Settings:
Google Map Settings:
Google reCaptcha Settings:
Vimeo and Youtube video embeds:
Privacy Policy
You can read about our cookies and privacy settings in detail on our Privacy Policy Page.