I grew up in Indiana and Illinois before going on to major in computer science at Notre Dame. After college, I moved to Chicago and worked for a few years as a developer at Clarity Consulting, a medium-sized software consulting firm focused on custom application development. Later, I decided to shift to a more research-based career, and I am now studying programming languages and working towards my Ph.D. here at Northeastern.
Having come from a development background, my research interests lie in making software development easier by improving programming languages and the ecosystems surrounding them. Currently, my research focuses on verifying actor-based programs (such as those written in Erlang or the Akka framework) against behavioral specifications expressed as simple name-passing automata.
After I get my PhD, my goal is to apply my research-level skills and knowledge of programming languages to the software development process. If that sounds like a good match for your organization, please get in touch! (Boston area or remote-work only, please)