Daniel Patterson
(he/him/his)
Assistant Teaching Professor
Research interests
- Computer science education logic and specification
- Formal methods
- Programming languages
Education
- PhD, Northeastern University
- BS, Brown University
Biography
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.
Recent publications
-
Semantic Encapsulation using Linking Types
Citation: Daniel Patterson , Andrew Wagner, Amal Ahmed . (2023). Semantic Encapsulation using Linking Types TyDe@ICFP, 14-28. https://doi.org/10.1145/3609027.3609405 -
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 -
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.
