About Us

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.


[tmm name=”contributors”]