Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Samuel Teuber
conf.researchr.org general profile
ICFP 2026 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
ICFP
Author of Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice within the ICFP Artifacts-track
Author of Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice within the ICFP Papers-track
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 6 Oct 05:46
