Andrew Tolmach
Professor Of Computer Science at Portland State University
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolAndrew Tolmach is a Professor of Computer Science based in Portland, Oregon, with over three decades of academic tenure at Portland State University and more than 40 years in computing since early industry work as a senior software engineer. He holds a Ph.D. in Computer Science from Princeton and a mathematics bachelor’s from Harvard, blending deep theoretical foundations with long-term practical experience. His career spans research, teaching, and software engineering, reflecting sustained contributions to education and curriculum development that have shaped generations of CS students. Colleagues describe him as a persistent problem-solver who translates complex theory into teachable, usable tools and projects. Though primarily academic, his early industry background informs a pragmatic approach to systems and software design.
11 years of coding experience
6 years of employment as a software developer
Bachelor’s Degree, Mathematics, Bachelor’s Degree, Mathematics at Harvard UniversityWashington University in St. LouisDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Princeton University
Github Skills (33)
assembly10
mathematical10
executable9
racket9
proof-assistant9
proofs9
agda9
dependent-types9
x869
coq9
sat-solver9
x86-649
homotopy-type-theory9
theorem-proving9
python8
Programming languages (7)
Github contributions (5)
bcpierce00/interfering
Jan 2020 - Feb 2023
Contributions:353 commits, 256 pushes in 3 years 1 month
AndrewTolmach/mysteries
Jan 2025 - Feb 2025
Contributions:7 pushes, 1 branch in 1 month
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.