معرفی
Paul Downen is an Assistant Professor at the Miner School of Computer & Information Sciences, University of Massachusetts, Lowell, since Fall 2021. He holds a Ph.D. in Computer and Information Science from the University of Oregon (2017). His research bridges programming languages, logic, type theory, and compiler design, emphasizing computational duality and verification.
- Focus areas: Sequent calculus as a compiler intermediate language
- Development of Sequent Core and Join Points for GHC optimization
- Advocacy for functional programming in high-assurance systems
His work spans both theoretical foundations and practical implementations, including contributions to Haskell compilers and the design of educational materials for programming language theory. He has received a Best Paper Award at PLDI 2017 and a Best Paper Award nomination at TFP 2025.
Recent publications examine the intersection of logic and programming language design, with specific emphasis on contextual reasoning, structural coinduction, and efficient compilation techniques. He has taught courses on functional programming, logic and verification, and assembly language at UMass Lowell.
