Computer Science PhD Student at Binghamton University working in security and formal methods. Previously I worked as a software engineer at GrammaTech and Assured Information Security.
I also box.