Formal Methods Accessibility

Despite their abilities, formal methods are not commonly used in industry and often remain of pure academic interest. This is, at least to some extend, caused by the complexity of mathematical notations and the inaccessibility of tools. In this project we aim to lower barriers and learning curves to enable the usage of formal methods in mainstream software industries, by regular developers.

Sebastian Krings
Sebastian Krings

My research interests include formal methods and tools as well as software safety and security.