John Siratt
Research Computer Scientist, Formal Methods Research Program at NASA Langley Research Center
Donaldson, Arkansas, United States
Summary
👤
Senior🎓
Top SchoolJohn Siratt is a research computer scientist and logician with 11 years of experience applying formal methods to real-world safety problems, currently at NASA Langley’s Formal Methods Research Program. He combines a PhD in mathematical logic with hands-on engineering—formalizing convolutional network blocks and building executable analogs in Typed Racket for drone vision and assurance work. His background spans verified libraries in PVS, numerical and matrix tools for neural-network analysis, and dynamic, risk-aware UAV path planning for urban environments. John’s work blends deep theory and practical tooling to reason about ML failure modes and reliability, and he often translates abstract proofs into reusable software artifacts. He also brings teaching and mentorship experience from Notre Dame and UALR, and a history of publishing NASA technical results stemming from intern projects.
11 years of coding experience
North American Summer School on Logic Language and Information, North American Summer School on Logic Language and Information at NASSLLI '18PhD in Mathematics (Mathematical Logic), PhD in Mathematics (Mathematical Logic) at University of Notre DameMaster of Science - MS Electrical Engineering, Master of Science - MS Electrical Engineering at University of ArkansasMaster of Science (MS) Mathematical Sciences concentration in Applied Mathematics, Master of Science (MS) Mathematical Sciences concentration in Applied Mathematics at University of Arkansas at Little RockAssociate of Arts (AA) Certificate of General Studies General Education, Associate of Arts (AA) Certificate of General Studies General Education at College of the OuachitasSRI Summer School for Formal Techniques, SRI Summer School for Formal Techniques at SSFT '21
Github Skills (7)
science9
pure-python9
computer-algebra8
computer-algebra-system8
algebra8
python8
math7
Programming languages (1)
Github contributions (5)
jvsiratt/pyproof
Dec 2015 - Nov 2016
Contributions:3 commits, 3 pushes, 1 branch in 10 months
jvsiratt/churchprop
Dec 2024 - Mar 2025
Contributions:3 pushes, 1 branch in 3 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.