Daniel Patterson

(he/him/his)

Assistant Teaching Professor

Daniel Patterson
  • Computer science education logic and specification 
  • Formal methods 
  • Programming languages
  • PhD, Northeastern University 
  • BS, Brown University

Daniel Patterson is an assistant teaching professor at the Khoury College of Computer Sciences at Northeastern University. He earned his bachelor’s from Brown University and his PhD from Northeastern University. He is broadly interested in the first few years of the curriculum: how we help a person get from no experience with Computer Science or programming to be able to have a productive first co-op. His background is in programming languages, and that influences how he approaches Fundamentals 1 & 2, which are at their core about teaching students how to use the fundamental tool of computer science: the programming language. Patterson is also interested in logic and specification, and how that can enable students to reason more effectively about the programs they write: potentially starting from the second semester, with Logic & Computation. 

He is involved in the Programming Research Laboratory and previously started a software consultancy between his undergrad and PhD. 

  • The Next 700 Compiler Correctness Theorems (Functional Pearl)

    Citation: Daniel Patterson and Amal Ahmed. The Next 700 Compiler Correctness Theorems (Functional Pearl). In 24th ACM SIGPLAN International Conference on Functional Programming (ICFP '19), Berlin, Germany, August 2019.

  • Oxide: The Essence of Rust

    Citation: Aaron Weiss, Daniel Patterson , Nicholas D. Matsakis, Amal Ahmed . (2019). Oxide: The Essence of Rust CoRR, abs/1903.00982. http://arxiv.org/abs/1903.00982

  • Semantic soundness for language interoperability

    Citation: Daniel Patterson , Noble Mushtak, Andrew Wagner, Amal Ahmed . (2022). Semantic soundness for language interoperability PLDI, 609-624. https://doi.org/10.1145/3519939.3523703