- 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
| 2022 | |
|---|---|
[bibtex]
[issue]
|
Xaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 338-354, Springer, 2022. |
| Show all | |