About Me
I'm a sixth year PhD student at Carnegie Mellon University, advised by André Platzer and Stefan Mitsch at the Logical Systems Lab. My thesis is about the synthesis of safe control envelopes for cyber physical systems. I'm excited about soundly scaling formal techniques using AI. I have also worked on verified train control.