معرفی
Paul Downen is an Assistant Professor in the Miner School of Computer & Information Sciences at the University of Massachusetts Lowell, where he has been teaching since Fall 2021. His academic journey began with dual Bachelor's degrees in Computer Science and Computer Engineering from Lawrence Technological University in 2010, followed by a Ph.D. in Computer Science from the University of Oregon in 2017. He has also been a visiting researcher at INRIA and Microsoft Research.
His educational background includes:
- Ph.D. in Computer Science (2017), University of Oregon - Eugene, OR
- Dissertation Title: Sequent Calculus: A Logic and a Language for Computation and Duality
- B.S. Computer Science (2010), Lawrence Technological University - Southfield, MI
- B.S. Computer Engineering (2010), Lawrence Technological University - Southfield, MI
Dr. Downen's research centers on the intersection of logic and programming languages, with a focus on using logical foundations to improve the efficiency, correctness, and safety of programs and their compilation. His primary research lies in the Curry-Howard correspondence or proofs-as-programs paradigm, exploring how logical principles can inform both program design and compiler optimization. He is particularly interested in duality principles in computation, where he investigates how concepts like functional and object-oriented programming paradigms represent dual perspectives on the same underlying computational processes.
His publication record shows a consistent focus on foundational aspects of programming languages, with recent work exploring copatterns, macro systems, evaluation strategies, and the relationship between type systems and machine representation. His research often bridges theoretical concepts with practical implementation, particularly through contributions to the Glasgow Haskell Compiler (GHC).
Among his notable achievements are:
- Best Paper Award (2017) at Programming Languages Design and Implementation (PLDI)
- Oregon Doctoral Research Fellowship (2017) from the University of Oregon
- Best Paper Award nomination (2012) at European Joint Conferences on Theory and Practice of Software
- Best Paper Award nominee (2025) at Trends in Functional Programming
Dr. Downen has been instrumental in organizing the Oregon Programming Languages Summer School, expanding its reach to diverse audiences through a "Foundations" lecture series. His teaching portfolio includes courses on Organization of Programming Languages, Assembly Language Programming, and Effective Functional Programming. His research has resulted in practical implementations within GHC, including Sequent Core (an alternative intermediate language based on sequent calculus) and Join Points (an optimization for control flow).
