Andrew Parisi
Software Engineer at Cisco
Austin, Texas, United States
Summary
👤
Senior🎓
Top SchoolAndrew Parisi is a software engineer in Austin with nine years of experience building data-driven systems at the intersection of logic, NLP, and security. He has translated deep academic training in philosophy and formal logic (PhD-level work) into practical engineering—designing knowledge-graph and ontology-driven pipelines, a Lucene-backed Clojure library for canonicalizing medical concepts, and performant ETL and constraint engines in Lisp and Python. At Cisco he managed Postgres-backed systems, and earlier roles combined ML model building for clinical trial site prediction with enterprise-scale data integration for healthcare and government. Known for bridging rigorous formal thinking with hands-on implementations, he brings uncommon depth in symbolic AI and logic to modern applied ML and security problems.
9 years of coding experience
6 years of employment as a software developer
Bachelor’s Degree, Philosophy, Bachelor’s Degree, Philosophy at University of Massachusetts AmherstDoctor of Philosophy (Ph.D.), Philosophy and Logic, Doctor of Philosophy (Ph.D.), Philosophy and Logic at University of ConnecticutThe University of Melbourne
English, Romanian, Spanish
Github Skills (23)
emacs-initialization8
logic8
window-management7
philosophy6
emacs6
theorem5
magit5
proof-assistant5
modal-logic4
emacs-lisp4
theorem-proving3
clojurescript3
twitter3
vim-plugin2
database2
Programming languages (6)
Github contributions (5)
andrewppar/ModalTheoremProver
Dec 2018 - Dec 2020
A Theorem prover for Any Modal Logic using Tree Hypersequents
Contributions:47 commits, 18 PRs, 23 pushes in 1 year 11 months
modalprovertheoremtheorem-provertheorem-proving
andrewppar/tmuxmacs
Dec 2023 - Jan 2026
Control tmux from within emacs
Contributions:2 PRs, 28 pushes, 2 branches in 2 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.