Samuel Teuber (Preferred)
Samuel Teuber
PhD student, Computer Science Department, Karlsruher Institut für Technologie
Joined
May 2024
Names
Emails
****@kit.edu (Confirmed)
****@samweb.org (Confirmed)
Personal Links
Career & Education History
PhD student
Computer Science Department, Karlsruher Institut für Technologie (kit.edu)
2022 – Present
MS student
Computer Science Department, Carnegie Mellon University (cmu.edu)
2022 – 2022
MS student
Computer Science Department, Karlsruher Institut für Technologie (kit.edu)
2020 – 2022
Undergrad student
Computer Science Department, Karlsruher Institut für Technologie (kit.edu)
2015 – 2020
Undergrad student
ENSIMAG, Institut polytechnique de Grenoble (grenoble-inp.fr)
2017 – 2018
Advisors, Relations & Conflicts
Coauthor
Alistair Sirman
2026 – Present
Coauthor
Grant Passmore
2026 – Present
Coauthor
Josh Smart
2026 – Present
Coauthor
Lorenzo Rovida
2026 – Present
Coauthor
Michael Kirsten
2025 – Present
Coauthor
Mattias Ulbrich
2024 – Present
Coauthor
Debasmita Lohar
2024 – Present
Coauthor
Enguerrand Prebet
2025 – 2025
Coauthor
Florian Lanzinger
2024 – 2024
Coauthor
Christian Martin
2024 – 2024
Coauthor
Robert Heinrich
2024 – 2024
Coauthor
Frederik Reiche
2024 – 2024
Coauthor
Alexander Weigl
2021 – 2024
Expertise
LLM-based Program Verification
, LLM Specification Generation
, Intersymbolic AI
, Code Generation
2024 – Present
Fairness
, Algorithmic Fairness
, Responsible AI
, Ethical AI
2024 – Present
Neural Network Verification
, Equivalence Verification
, Cyber-Physical Systems
2023 – Present