Samuel Teuber

PhD student, Computer Science Department, Karlsruher Institut für Technologie

  • Joined May 2024

Names

Samuel Teuber (Preferred)

Emails

****@kit.edu (Confirmed)

Career & Education History

PhD student
Computer Science Department, Karlsruher Institut für Technologie (kit.edu)
2022Present
 
MS student
Computer Science Department, Carnegie Mellon University (cmu.edu)
20222022
 
MS student
Computer Science Department, Karlsruher Institut für Technologie (kit.edu)
20202022
 
Undergrad student
Computer Science Department, Karlsruher Institut für Technologie (kit.edu)
20152020
 
Undergrad student
ENSIMAG, Institut polytechnique de Grenoble (grenoble-inp.fr)
20172018
 

Advisors, Relations & Conflicts

Coworker
2024Present
 
Coauthor
Mattias Ulbrich
2024Present
 
Coworker
2024Present
 
Coauthor
2024Present
 
Coauthor
2022Present
 
Coauthor
2022Present
 
PhD Advisor
2022Present
 
Coworker
2022Present
 
Coauthor
Florian Lanzinger
20242024
 
Coauthor
Christian Martin
20242024
 
Coauthor
Robert Heinrich
20242024
 
Coauthor
Frederik Reiche
20242024
 
Coauthor
Alexander Weigl
20212024
 

Expertise

Neural Network Verification, Equivalence Verification, Cyber-Physical Systems, Fairness
2023Present