I look more or less like the guy on the left. I am a Postdoc in the Programming Research Laboratory of the College of Computer and Information Science at Northeastern University. I got my Ph.D. here in December 2012; my adviser was Matthias Felleisen. I currently research programming tools for the ACL2 theorem prover as part of the PLT group. Feel free to check out my CV and resume.