Dejan Jovanović
Senior Applied Scientist at Amazon Web Services (AWS)
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolDejan Jovanović is a Senior Applied Scientist based in New York with 16 years of experience building research-driven software and solving hard problems at the intersection of formal methods and scalable systems. He holds a PhD in Computer Science from NYU and has progressed from research roles at universities and institutions (including SRI) into applied research at AWS, bringing deep expertise in computational logic and SMT solving. An active contributor to the prominent open-source SMT solver cvc5, he redesigned parser infrastructure there—replacing lex/yacc with a modern parser state and implementing core Boolean parsing—which reflects both low-level systems craftsmanship and formal-verification instincts. Colleagues describe him as a practitioner who translates theoretical techniques into production-grade tooling, and his background across top research labs and cloud-scale environments gives him a rare blend of academic rigor and practical impact.
16 years of coding experience
10 years of employment as a software developer
Vienna University of TechnologyPhD, Computer Science, PhD, Computer Science at New York UniversityMaster’s Degree, Computational Logic, Master’s Degree, Computational Logic at Universidade Nova de LisboaBachelor’s Degree, Computer Science, Mathematics, Bachelor’s Degree, Computer Science, Mathematics at University of Belgrade
Serbian, English
Stackoverflow
2,095reputation
86kreached
10answers
13questions
memory-leaks
top-5%
Github Skills (16)
c-language10
parser10
parsing10
cprogramming-language10
parse10
memory-leaks9
boolean-logic8
theorem-proving7
distutils6
algorithm6
cvc46
valgrind6
python6
smt6
z36
Programming languages (13)
Github contributions (5)
cvc5/cvc5
Nov 2009 - Apr 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:314 commits, 6 PRs, 8 pushes in 5 years 5 months
Contributions summary:Dejan primarily focused on developing and extending the parser component of the CVC5 theorem prover. They introduced a new parser state implementation, replacing the use of lex/yacc files. Their work included creating a bare Boolean SMT lexer/parser and implementing basic parsing commands. The user also made several modifications to the code that handles the parser and its state, including creating code to read the information and process the results.
proversatisfiabilitysmtproblemssatisfiability-modulo-theories
dddejan/fuzzsmt2
Mar 2015 - Apr 2020
Contributions:11 pushes in 5 years 1 month
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.