Samuel Teuber

Samuel Teuber

Doctoral Researcher

Karlsruhe Institute of Technology


I am a Doctoral Researcher at Karlsruhe Institute of Technology advised by Bernhard Beckert at the Application-oriented Formal Verification group. I’m interested in formal methods for software and machine learning verification with a focus on cyber-physical systems and algorithmic fairness.

I previously obtained a M.Sc. degree in Computer Science from KIT and completed my Master’s Thesis in the Logical Systems Lab at Carnegie Mellon University under the supervision of André Platzer. During my bachelor studies I spent a year abroad at ENSIMAG (Grenoble, France) and participated in the CERN Openlab Summer Student Program (Geneva, Switzerland).

  • Formal Methods
  • Software & ML Verification
  • Cyber-Physical Systems
  • Algorithmic Fairness
  • Doctoral Researcher in Computer Science, 2022-present

    Karlsruhe Institute of Technology

  • Master's Thesis via interACT, 2022

    Logical Systems Lab, Carnegie Mellon Univeristy

  • M.Sc. in Computer Science, 2020-2022

    Karlsruhe Institute of Technology

  • ERASMUS Exchange, 2017-2018

    ENSIMAG, Grenoble

  • B.Sc. in Computer Science, 2015-2020

    Karlsruhe Institute of Technology

  • A Levels (Abitur), 2015

    Oskar-von-Miller-Gymnasium, München

Professional Experience

Doctoral Researcher
Sep 2022 – Present Karlsruhe
Student Assistant for Software Safety Quantification Research
Oct 2020 – Oct 2021 Karlsruhe

October 2020 - December 2020:
Development of counterSharp: A tool for the quantification of C-programs based on specification adherence.
Work published at QEST 2021 and also presented at the Model Counting Workshop 2022.

April 2021 - October 2021:
Development of a prototype for the quantiative reliability analysis of software coupling architectural and code-level information.

Student Assistant for “Programmierparadigmen”
Oct 2019 – Mar 2021 Karlsruhe
During the winter semesters 2019 and 2020 I was a student assistant for the lecture on programming paradigms by Prof. Gregor Snelting at KIT.
My main duties were holding a weekly exercise and correcting exercise sheets.
In 2020 the exercise was held entirely as an online course.
CERN Openlab Summer Student
Jun 2018 – Aug 2018 Geneva

Development of an export functionality for software from CernVM File System (CVMFS) into standalone images in cooperation with Nicholas Hazekamp, another intern in the group. The results of our work are now part of CVMFS in the cvmfs_shrinkwrap utility.

Used Technologies: C(++), Python
Information on the Project

Student Assistant
Dec 2015 – Dec 2016 Munich

Development of web applications and character or structure converters for various projects of the centre including “Biblia Hebraica Transcripta”, “VerbaAlpina”, “Coptic Ostraka Online, “Atlante linguistico digitale dell’Italia e della Svizzera meridionale”.

Used technologies: HTML, PHP, JavaScript, Java, SQL, WordPress


Scholarship holder at Cusanuswerk e.V.
Awarded by the German Catholic Bishops’ Conference and funded by the German Federal Ministry of Science and Research as one of thirteen government funded scholarship foundations for academic excellence
Abitur prize of the German Physics Association (DPG)

Voluntary Experience

Helping Fridays for Future Karlsruhe
Mar 2019 – Dec 2019 Karlsruhe
The climate crisis is an existential threat to our society.
For this reason, I volunteered for nearly one year organizing strikes and other events of Fridays for Future Karlsruhe.
During the time I helped in both, event organization and policy development.
However, due to limited time resources, I had to cut down on my activities since 2020.
Network Administration
Dec 2015 – Present Karlsruhe
Administration and development of the network infrastructure in my students’ residence.
Spokesperson of the students’ residence
Oct 2016 – Mar 2017 Karlsruhe
  • Representation of students’ interests towards the residence’s landlord
  • Organization of various events accommodating the residence’s new inhabitants