Morgan Deters
Postdoc In Computer Science at Courant Institute of Mathematical Sciences (NYU)
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolMorgan Deters is a computer science postdoc based in New York with 20 years of experience bridging academic research and practical tooling for formal methods. With a Ph.D. from Washington University in St. Louis and long-term research appointments including NYU Courant and international postdoc work in Barcelona, Morgan focuses on automated reasoning and SMT tooling. They contribute to cvc5, a prominent open-source SMT solver, improving language bindings, exception translation, and SMT-LIBv2.5 command support—work that smooths integration between C++ engines and higher-level languages. Known for durable research productivity and hands-on systems fixes, Morgan blends deep theory with pragmatic back-end engineering. Their career shows sustained commitment to reproducible, production-ready research software that other developers and researchers can directly adopt.
21 years of coding experience
8 years of employment as a software developer
B.S., B.S. at Bowling Green State UniversityPh.D., Ph.D. at Washington University in St. Louis
English, Spanish
Stackoverflow
46reputation
267reached
1answer
0questions
Github Skills (9)
c-language10
cprogramming-language10
java9
struct9
structures9
data-structures9
javas9
cvc46
smt6
Programming languages (3)
Github contributions (5)
cvc5/cvc5
Sep 2009 - Jan 2015
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1737 commits, 3 pushes in 5 years 4 months
Contributions summary:Morgan made contributions to the language bindings and function visibility, fixing language binding and function visibility issues. They also addressed the handling of array store and select operations. Furthermore, the user made changes regarding the C++-to-Java exception translation and SMT-LIBv2.5 command support by including new commands such as "reset" and "get-info" commands.
satisfiability
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.