Paul Downen
Assistant Professor at University of Massachusetts Lowell
Lowell, Massachusetts, United States
Summary
👤
Senior🎓
Top SchoolPaul Downen is an assistant professor and computer scientist specializing in the theory and practice of programming languages, with 11 years of experience bridging academic research and practical systems. He applies logic and duality to design compilers and languages that balance performance with programmer-friendly abstractions, aiming to make software more efficient, correct, and safe. His research emphasizes automatic enforcement of properties like privacy and protocol security, and he has held research appointments at Microsoft Research Cambridge and Inria. Based in Lowell, Massachusetts, he earned a PhD from the University of Oregon and brings a background that spans robot software and automotive test-stand engineering, reflecting a knack for moving formal ideas into real-world systems.
11 years of coding experience
8 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at University of OregonBachelors, Mathematics, Computer Science, and Engineering, Bachelors, Mathematics, Computer Science, and Engineering at Lawrence Technological University
Github Skills (1)
ghc6
Programming languages (1)
Github contributions (5)
OPLSS/oplss-notes-2019
Jun 2019 - Jun 2019
Notes and handouts from OPLSS 2019
Contributions:26 commits, 19 PRs, 24 pushes in 10 days
noteshandouts
pdownen/pdownen.github.io
Sep 2021 - Feb 2025
Contributions:194 pushes, 1 branch in 3 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.