Mike Vollmer
Lecturer at University of Kent
England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolMike Vollmer is a lecturer and researcher in the School of Computing at the University of Kent with 14 years of experience focused on functional programming, programming language theory, and parallel computing. He holds a PhD in Computer Science from Indiana University Bloomington and brings practical industry experience from roles at Microsoft (program synthesis) and Java enterprise development. His research work spans programming language design and compiler implementation, including auto-tuning compiler optimizations for dense linear algebra during a visiting stint at Edinburgh. Comfortable at the intersection of academia and applied systems, he has moved from PhD research to lecturing while continuing hands-on research and collaboration. Colleagues note his blend of deep theoretical grounding and pragmatic engineering skills, particularly in building performant language tooling and parallel systems.
14 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Indiana University BloomingtonCalifornia State University, Sacramento
Github Skills (34)
assembly10
polymorphism10
racket10
logic-programming10
declarative-programming10
idris10
prolog10
mojo10
agda9
stack-based9
x869
embedded-language9
parallel-computing9
x86-649
type-theory9
Programming languages (7)
Github contributions (5)
vollmerm/racket-ga
May 2012 - Jun 2013
Contributions:12 commits in 1 year 1 month
vollmerm/typed-nanopass-experiments
Oct 2015 - Jun 2016
Contributions:20 commits, 18 pushes, 1 branch in 8 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.