About Me
I'm a fourth year PhD student at Carnegie Mellon University, advised by André Platzer and Stefan Mitsch at the Logical Systems Lab. I am interested in the synthesis of safe control envelopes for cyber physical systems, and more generally in formal methods. I'm excited about scaling verified controller design to handle greater complexity and require lower manual effort. I also work on verified train control.