We are a group of researchers interested in learning generative and stateful models. Our main focus is on applications in cyber security, software verification and understanding legacy software.

This website is made in collaboration with our partners at the TU Delft, the SnT at University of Luxembourg, and Radbound University, Nijmegen.


Christian Hammerschmidt
PhD Student at University of Luxembourg
Chris studies automaton at University of Luxembourg. He works closely with partners at TU Delft.
Joshua Moerman
PhD student at Radboud University
Qin Lin
PhD Student at Delft University of Technology
Personal Website
Rick Smeters
PhD Student