Donald Pinckney
Senior Software Engineer at Temporal Technologies
United States
Summary
🤩
Rockstar🎓
Top SchoolDonald Pinckney is a Senior Software Engineer with 12 years of experience specializing in agentic AI and the intersection of generative models with sound, performant static analysis. He has cofounded and built Jimy, an agentic AI developer at Gitar, and now contributes to agents foundations at Temporal Technologies, blending research rigor from a PhD with hands-on systems engineering. His background spans internships at Apple and Uber, research at Draper, and concrete open-source contributions such as implementing graph algorithms in Swift for the well-regarded Swift Algorithm Club. Donald combines deep academic training in CS with practical product and backend expertise, and is particularly focused on making AI assistants reliable through principled static-analysis tooling.
12 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS, Mathematics and Computer Science, Bachelor of Science - BS, Mathematics and Computer Science at University of California, DavisDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Northeastern UniversityMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of Massachusetts Amherst
Stackoverflow
36reputation
1kreached
1answer
0questions
Github Skills (7)
data-structures10
algorithms10
swift10
data-structure10
graph-theory10
playgrounds9
xcode6
Programming languages (19)
Github contributions (5)
kodecocodes/swift-algorithm-club
Feb 2016 - Feb 2016
Algorithms and data structures in Swift, with explanations!
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 1 PR, 5 comments in 18 days
Contributions summary:Donald contributed to implementing graph data structures and algorithms in Swift. Their work includes defining graph vertex and edge structures, and creating both adjacency list and adjacency matrix implementations. They also refactored code to match a style guide, and combined playground files for better organization. Further, they implemented methods to lookup edges and updated the README file.
explanationsdata-structuresswiftalgorithms-and-data-structures
donald-pinckney/lemonscript
Dec 2015 - Feb 2017
Contributions:128 commits, 10 PRs, 104 pushes in 1 year 2 months
frcin-progressdslroutines
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.