John Boyland
Professor at University of Wisconsin-Milwaukee
Milwaukee, Wisconsin, United States
Summary
👤
Senior🎓
Top SchoolJohn Boyland is a dedicated computer science professor at the University of Wisconsin–Milwaukee with over 18 years of academic experience mentoring students in rigorous technical skills and professional habits. He holds a PhD in Computer Science from UC Berkeley and earlier studied mathematics at Göttingen, bringing deep theoretical foundations to practical teaching. Since joining UWM in the late 1990s he has progressed through assistant and associate ranks to a full professorship, shaping curricula and guiding generations of CS graduates. Colleagues and former students know him for a no-nonsense approach to networking—he prefers clear, identifiable connection requests—and for the satisfaction he takes in watching students realize what they can accomplish. Though not an active GitHub presence, his long academic tenure signals sustained contributions to CS education and departmental leadership in Milwaukee.
18 years of coding experience
14 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at University of California, BerkeleyMathematics, Mathematics at Georg-August-Universität Göttingen
German, Chinese
Stackoverflow
1,018reputation
77kreached
22answers
9questions
Github Skills (76)
theory10
logic10
recursive10
aps10
react10
javascript9
browser9
coq9
type-theory9
homotopy-type-theory9
agda9
parser9
declarative9
user-interface9
parser-generator9
Programming languages (10)
Github contributions (5)
djspiewak/scala-bison
Dec 2011 - Nov 2022
A recursive ascent/descent parser generator for Scala
Contributions:23 commits, 3 PRs, 1 push in 11 years 1 month
ascentdescentrecursiveparser-generatorscala
boyland/sasylf
Oct 2015 - Sep 2021
Educational Proof Assistant for Type Theory
Contributions:19 releases, 27 reviews, 447 commits in 6 years
dependent-typeshomotopy-type-theorytype-theorytheorem-provingassistant
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.