Peter Dinges
Summary
👤
SeniorPeter Dinges is a software engineer with 17 years of experience focused on simplifying programming through language design, formal methods, and developer tooling. He has built and improved developer tools at Google and now accelerates engineers’ productivity at Citadel Securities, bringing a strong research background from a PhD at UIUC where he worked on probabilistic epistemic temporal logic for monitoring parallel systems. His interdisciplinary training includes top grades in computer science and mathematics from Würzburg and an MS from Tokyo Institute of Technology, reflecting deep theoretical rigor alongside practical delivery. Comfortable bridging research and production, he combines formal-methods expertise with hands-on tool-building to make complex systems easier to use and reason about.
17 years of coding experienceGithub contributions (5)
pdinges/python-schoof
Jun 2009 - Jun 2019
Contributions:95 commits, 3 pushes in 10 years
pdinges/python-profiling
Jan 2010 - Oct 2012
Contributions:28 commits in 2 years 9 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.