Xaver Fink

Email: xaver.fink@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

Own publications

2022

Conference paper
Configurable Benchmarks for C Model Checkers
Xaver Fink, Philipp Berger, Joost-Pieter Katoen
NASA Formal Methods
RWTH record for Configurable Benchmarks for C Model Checkers BibTeX for Configurable Benchmarks for C Model Checkers

Supervised theses

2025

Bachelor’s thesis
Exploration of certificate sharing for neural network verification
Glen Jordan Grant
RWTH Aachen University
Advisers: Thomas Noll, Joost-Pieter Katoen
Consultants: Christopher Jan-Steffen Brix, Xaver Fink
RWTH record for Exploration of certificate sharing for neural network verification BibTeX for Exploration of certificate sharing for neural network verification

All records on RWTH Publications