Dominic Steinhöfel

This channel contains recordings of me presenting my latest scientific papers. My research mostly addresses program verification techniques, involving symbolic execution and fuzzing techniques as well as specification languages.

For more information on my work, please visit my web page https://www.dominic-steinhoefel.de, and follow me on Twitter @DomSteinhoefel.