Philipp Kern -

Registered user since Tue 13 Aug 2024

Name:Philipp Kern

Country:Germany

Affiliation:Karlsruhe Institute of Technology (KIT)

Personal website: https://formal.kastel.kit.edu/~kern/?lang=en

Research interests:Verification of Neural Networks

Contributions

2024

Static Analysis Symposium

Keynote Speaker of Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations within the SAS 2024-track