Hello!

I am a computer scientist and part of the Automated Reasoning Group group led by Anthony W. Lin at the Rheinland-Pfälzische Technische Universität (RPTU), Kaiserslautern, Germany.

Research

Currently, my research interests lie in the interface between formal methods and machine / deep learning. In particular, I am currently working on understanding the computational complexity of formal reasoning tasks for various neural network based models, like feedforward neural networks, graph neural networks or transformers.

News

• Our work “Verifying Quantized Graph Neural Networks is PSPACE-complete” (M.S., F. Schwarzentruber, N. Troquard) got accepted to IJCAI 25 in Montreal, (August 25).
• Our work “Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning” (M.S., E. Alsmann, M. Lange) got accepted to ICLR 25 in Singapore, (May 25).
• I switched positions and am now part of the Automated Reasoning Group led by Anthony W. Lin at the RPTU, Kaiserslautern, (February 25)
• I gave an invited talk titled “The Complexity of Formal Reasoning of Neural Network-Based Models” at the CerVerA seminar in Kaiserslautern, (August 24).
• Our work “Verifying and interpreting neural networks using finite automata” (M.S., E. Alsmann, F. Bruse, M. Lange) got accepted to DLT 24 in Goettingen, (May 24).
• Our work “A Logic for Reasoning About Aggregate-Combine Graph Neural Networks” (P. Nunn, M.S., F. Schwarzentruber, N. Trouquard) got accepted to IJCAI 24 in Jeju, (April 2024).
• I presented our current work on GNN verification at the LoG Local Meetup 23 in Munich, (November 23).
• I gave an invited talk surveying results on the computational complexity of reachability properties of FNN, GNN and Transformer at the 68nqrt seminar in Rennes, (November 23).
• I gave a talk on our work on the complexity of GNN verification at HIGHLIGHTS 23 in Kassel, (July 23).
• Together with one of our master students, I presented our current work on DNN to NFA translation at LiVe 23 in Paris, (April 23).
• I gave a talk about our work on the complexity of GNN verification at the Doctoral Symposium located at FM 23 in Luebeck, (March 23).
• I gave a talk about our work on the complexity of GNN verification at AlMoTh 23 in Bochum, (March 23)