John Hester
Research and Development Engineer at Imandra
Based in Austin, United States
7-day free trial · no credit card
Seniority
Staff
Department
Other
Location
Austin
Industry
Software Development
Company size
19
Contact information
Reveal John's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
j•••••••@imandra.ai
Phone
5 credits+1 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About John Hester
I am a Mathematics PhD with many years of software development experience in multiple languages. My area of specialization is AI reasoning and automated theorem proving, at the intersection of mathematics and computer science. These tools take assumptions and reason on them to determine if interesting properties are provable or not from the formal specification of a problem. I have developed an automated reasoning tool Etableau, that combines the superposition calculus and the tableaux calculus in a new way. Etableau uses the open source theorem prover Eprover as a library. Etableau has participated in several CADE ATP system competitions, and is one of the most powerful theorem provers around. • 5+ years of intensive C/C++ and Python usage • Advanced functional programming knowledge with OCaml • 5 years of instruction experience, both in person and online • Extensive experience with state of the art automated reasoning tools • Publications and novel work advancing the state of automated reasoning and AI • Proficient with Linux environments and Git • Deep knowledge of CS and Mathematics
Decision-makers
Other people at Imandra
- DIC-Team
Denis Ignatovich
Co-founder and Co-CEO we're Hiring · General Business & Management
- GOOther
Grant Olney Passmore
Co-founder and Co-CEO · Other
- EKDirector
Elijah Kagan
Head of Design · Art, Culture and Creative Professionals
- MVStaff
Makar Valentinov
Research Intern · Information Technology
- DAStaff
Dave Aitken
R & d Engineer · Engineering
Build a list of verified contacts at Imandra
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like John
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime