Adam Pease

Associate Professor Of Computer Science

San Jose, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
Adam Pease is an Associate Professor of Computer Science and seasoned AI researcher with three decades of experience in artificial intelligence, formal ontology, and natural language research. He founded Articulate Software and has repeatedly translated formal semantics research into open-source products used across academia and industry worldwide. His career spans academia, government, and industry roles—from Naval Undersea Warfare Center and NASA to Infosys and IPsoft—where he led multidisciplinary teams of scientists and engineers. Adam focuses on building practical research products that bridge rigorous ontology development with significant business applications, often in mission-driven and defense contexts. Based in San Jose, he combines deep theoretical expertise with hands-on product leadership and a knack for turning formal models into deployable systems. An understated strength is his long track record of sustaining and evolving projects over decades, showing both technical depth and persistence.
code15 years of coding experience
job18 years of employment as a software developer
github-logo-circle

Github Skills (45)

ontology10
theorem9
antlr-grammar9
neuro-symbolic8
java7
rest7
natural-language-processing7
logic7
owl6
reasoning5
shell5
sparql5
intellij-plugin5
restful5
natural-language-understanding5

Programming languages (10)

JavaOpenEdge ABLLeanC++ANTLROCamlScalaCommon Lisp

Github contributions (5)

github-logo-circle
ontologyportal/sigmakee

Oct 2015 - Jan 2023

Sigma Knowledge Engineering Environment
Contributions:1 review, 1612 commits, 152 PRs in 7 years 5 months
knowledge-engineeringsigmaengineeringknowledge
ontologyportal/SUMOjEdit

Sep 2019 - Feb 2026

integration of jEdit with Sigma
Contributions:27 PRs, 109 pushes, 1 branch in 6 years 6 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.
Request Free Trial