I'm a software-developer-turned-computer-scientist living in the Boston area. I fell in love with programming when I started coding on my TI-83+ calculator back in high school, and it's stuck with me ever since. My mission is to make software development easier by improving programming languages and the ecosystems around them.
Currently, I'm working towards my Ph.D. in computer science at Northeastern University, studying programming languages. My dissertation 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.
Before grad school, I majored in computer science at Notre Dame, then worked for four years as a developer at Clarity Consulting, a medium-sized software consulting firm in Chicago. While I loved developing software, I saw that the languages and tools programmers use every day have a vast untapped potential to help programmers write less-buggy software, faster. That observation convinced me to get a Ph.D. in programming languages and focus my career on using that potential to make software development easier for everyone.
After I get my Ph.D. (expected in summer 2017), 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). My résumé is available here.