Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Samuel Teuber
conf.researchr.org general profile
ICSE 2025 profile
PLDI 2026 profile
Registered user since Wed 8 Apr 2026
Name:
Samuel Teuber
Country:
Germany
Affiliation:
KIT
Personal website:
https://www.teuber.dev
Contributions
2026
PLDI
Author of Heterogeneous Dynamic Logic: Provability Modulo Program Theories within the PLDI Research Papers-track
2025
NSE
Author of Next Steps in LLM-Supported Java Verification within the Neuro-Symbolic SE-track
Share
x
Tue 28 Apr 18:36
