I am a Ph.D. student at the chair of Prof. Holger Hermanns since December 2016.

My current research interest is the application and extension of formal methods in the context of software doping. This terminology started to appear in 2016, one year after the U.S. first reported about manipulated emission cleaning software in Volkswagen cars (and later in cars of other manufacturers, too).


Year Publication
2017 Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students.
Models, Algorithms, Logics and Tools 2017: 170-195
2017 Pedro R. D’Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns:
Is Your Software on Dope? - Formal Analysis of Surreptitiously “enhanced” Programs.
ESOP 2017: 83-110
2015 Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger:
Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.
PerDis 2015: 163-169


2017 Teaching Assistant, Nebenläufige Programmierung, Saarland University
2013 Supervision Student TA, Programmierung 1, Saarland University
2013 Student TA, Programmierung 2, Saarland University
2012 Student TA, Programmierung 1, Saarland University


Address: Campus Saarbrücken, 66123 Saarbrücken
Phone: +49 681 302 5633
Location: Bldg. E1 3, Room 534
E-mail: biewer@depend.uni-saarland.de