Andrew Marmaduke
Graduate Research And Teaching Assistant
Iowa City-Cedar Rapids Area United States
Summary
👤
Senior🎓
Top SchoolAndrew Marmaduke is a Computer Science PhD candidate and graduate research and teaching assistant at the University of Iowa with 11 years of professional experience blending research and software development. His work focuses on programming language theory, logic, and the formalization of mathematics, with a particular emphasis on leveraging Cedille’s unique features to inform dependently typed language design. He has practical industry experience building software at companies like OverDrive, PreEmptive Solutions, and Beyond Identity, and has contributed to short-term research and development engagements such as Higher Order Company. Based in the Iowa City–Cedar Rapids area, he pairs rigorous academic training (MS in Applied Mathematics) with hands-on engineering, making him adept at turning formal ideas into implementable language features and tools.
11 years of coding experience
4 years of employment as a software developer
Master of Science - MS, Applied Mathematics, Master of Science - MS, Applied Mathematics at The University of AkronDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Iowa
Stackoverflow
161reputation
1kreached
2answers
0questions
Github Skills (49)
lustre10
checker10
smt10
model-checking9
servo9
lambda-calculus9
code-golf9
calculus9
abstract9
parser8
decks8
type-theory8
browser8
dependent-types8
agda8
Programming languages (7)
Github contributions (5)
amarmaduke/kind2
Feb 2021 - May 2022
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Contributions:104 pushes, 88 branches in 1 year 3 months
model-checkersmtcheckerpropertieslustre
amarmaduke/pvm
Feb 2017 - Jun 2017
Contributions:31 commits, 12 PRs, 39 pushes in 4 months
tree-sittergrammarparsingexpression-parsinggrammars
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.