Xaver Fink
- xaver.fink at cs.rwth-aachen.de
- Address
- Room 4203
Ahornstraße 55
D-52074 Aachen
I am a PhD student in the Software Modeling and Verification Group headed by Professor Joost-Pieter Katoen and the BE-ICS group at CERN. Most of the year I am located at CERN in Geneva.
Research
My research involves applied formal methods for neural networks in control systems. The focus lies on robustness verification, property specification and runtime monitoring.
Previously I have worked on algorithms for neural network robustness verification and applied model checking for Programmable Logic Controllers with the tool PLCverif.
Thesis Projects
If you are interested in writing a Bachelor/Master’s thesis in the area of neural network verification feel free to contact me by mail. You are invited to bring own ideas, or we can develop new ad-hoc topics in ongoing research. Note that, as I am most of my time in Geneva, the supervision is likely to be fully remote.
Teaching
Currently I’m not involved in teaching activities.
Publications
Publications
| 2022 | |
|---|---|
| DOI | Xaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers, NASA formal methods : 14th international symposium, NFM 2022, pasadena, CA, USA, may 24–27, 2022, proceedings / edited by jyotirmoy V. Deshmukh, klaus havelund, ivan perez, 338-354, Springer International Publishing, 2022. |