Photo of me

Jonathan Schuster

jonathan.p.schuster@gmail.com | schuster@ccs.neu.edu

Ph.D. Student
Programming Research Lab
College of Computer and Information Science
Northeastern University

Blog


About Me

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. 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.

Publications

Specifying Finite-State Actors
With Stephen Chang and Matthias Felleisen
Technical Report NU-CCIS-TR-2015-001
Northeastern University, College of Computer and Information Science, 2015

Around the Web

  • GitHub
  • LinkedIn
  • Twitter
  • Stack Overflow
  • Goodreads