Andrew Miner
Associate Professor Of Computer Science
Ames, Iowa, United States
Summary
👤
Senior🎓
Top SchoolAndrew Miner is an Associate Professor of Computer Science at Iowa State University with 23 years of experience bridging rigorous research and practical tool development for complex discrete-event systems. His work spans model checking, formal methods, stochastic performance analysis, decision diagrams, and Petri nets, with a particular emphasis on binary decision diagram techniques that serve both verification and performance evaluation. He develops software tools that translate theoretical advances into usable analysis frameworks and teaches courses from Operating Systems to Stochastic Modeling. Trained at William & Mary (PhD, MS) and with a dual BS in Physics and Computer Science, he blends strong formal foundations with systems-oriented intuition. Based in Ames, Iowa, he balances a 50/50 research-and-teaching academic appointment while focusing on methods that scale to real-world networked and multi-threaded software. An understated through-line in his career is converting abstract models into practical analyses that inform both correctness and performance.
23 years of coding experience
6 years of employment as a software developer
BS, Physics, Computer Science, BS, Physics, Computer Science at Randolph-Macon CollegePhD, Computer Science, PhD, Computer Science at William & Mary
Github Skills (6)
diagram10
markov-chain10
model-checking10
ctl10
cli10
rust9
Programming languages (2)
Github contributions (4)
asminer/meddly
Mar 2009 - Jun 2021
Multi-terminal and Edge-valued Decision Diagram LibrarY
Contributions:763 commits, 1 PR, 304 pushes in 12 years 5 months
decisionrustedgeterminaldiagram
asminer/smart
Feb 2003 - Jun 2021
Stochastic Model-checking Analyzer for Reliability and Timing
Contributions:894 commits, 14 pushes, 1 branch in 18 years 7 months
model-checkingctlmarkov-chainpctlpetri-nets
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.