About Me
I'm currently working towards my PhD at Khoury College in Northeastern University. Panagiotis "Pete" Manolios is my advisor. I regularly collaborate with Ankit Kumar, another student of Pete's.
My research area is formal methods. In particular, I am interested in combining theorem provers, constraint solvers, and enumerative data types (along the lines of CGEN) to better generate data satisfying certain constraints. I've used this approach to fuzz parts of complex protocols (like the 802.11 WiFi specification).
I am the current maintainer of the ACL2s Eclipse plugin.
I am a Front Desk Volunteer at the Artisans Asylum makerspace in Allston, MA.
