Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering

Antonio Cerone, Markus Roggenbach, James Davenport, Casey Denner, Marie Farrell, Magne Haveraaen, Faron Moller, Philipp Körner, Sebastian Krings, Peter Olveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov
October, 2020
PDF Project
Type
1
Publication
In Proceedings 1st International Workshop Formal Methods - Fun for Everybody
Formal Methods Teaching
Sebastian Krings
Sebastian Krings
Software Engineer

My interests include software analysis, formal methods and offensive security.