James Gallicchio
Doctoral Student at Carnegie Mellon University
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolJames Gallicchio is a doctoral student and experienced software researcher based in Pittsburgh who focuses on programming languages and formal methods to build practical abstractions that make programming easier. With a decade of experience and extensive teaching at Carnegie Mellon (functional programming and compilers), he blends hands-on engineering, research, and pedagogy. His research work includes extending the KeYmaeraX theorem prover for richer differential logic, and he publishes and shares all work as open source on GitHub. Driven by formal verification principles, he seeks solutions that are both provably correct and developer-friendly, making him both a careful theoretician and a pragmatic builder.
9 years of coding experience
2 years of employment as a software developer
Washington Township High SchoolBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Carnegie Mellon University
Spanish, English
Stackoverflow
21reputation
477reached
0answers
2questions
Github Skills (83)
bots10
websocket10
discord4j10
rest-api10
reactor10
axiom10
in-progress10
api10
rest10
solve10
cas10
matching10
tactics10
java10
tactical10
Programming languages (8)
Github contributions (5)
FormalSAT/trestle
Jan 2023 - Feb 2023
Contributions:11 reviews, 15 commits, 42 PRs in 25 days
JamesGallicchio/eternity2
Oct 2022 - Mar 2023
Efficient encoding for edge matching puzzles, to solve the Eternity II puzzle
Contributions:176 commits, 1 PR, 169 pushes in 4 months
solvematchingedgeencodingpuzzle
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.