... an Applied Scientist at Amazon Web Services and a recent PhD graduate from Khoury College, Northeastern University, advised by Prof. Panagiotis Manolios. My research interests lie in Formal Methods, Theorem Proving and Disproving, Decision Procedures, Programming Languages and Distributed systems.
In my free time, I like to dabble in astrophotography as well as play chess and tabletennis.