Philipp Daniel Kern (Preferred)
Philipp Kern
Philipp Daniel Kern
PhD student, Application-oriented Formal Verification, Karlsruher Institut für Technologie
Joined
September 2023
Names
,
Emails
****@kit.edu (Confirmed)
Personal Links
Career & Education History
PhD student
Application-oriented Formal Verification, Karlsruher Institut für Technologie (kit.edu)
2021 – Present
Advisors, Relations & Conflicts
PhD Advisor
Carsten Sinz
2020 – Present
Coauthor
Marko Kleine Büning
2020 – Present
Expertise
Neural Network Verification
2020 – Present
Publications
No publications