About Me
I'm an AI Scientist at Mistral AI, working on artificial intelligence for formal methods.
I completed my PhD at Carnegie Mellon University, where I was fortunate to be advised by André Platzer and Stefan Mitsch. My thesis was about automatically deriving correct symbolic control constraints for cyber physical systems (like cars, trains and planes). I have also worked on verified train control.