Adam Smith
Associate Professor
California, United States
Summary
👤
Senior🎓
Top SchoolAdam Smith is an Associate Professor and computer scientist with 17 years of experience at the intersection of AI, game design, and formal methods, currently based at UC Santa Cruz. His research focuses on generative methods for game design, using techniques like answer set programming to create content generators with verifiable gameplay properties. He blends academic rigor with practical systems work—previously building programming-by-example tools at Microsoft and prototyping probabilistic-programming hardware representations as a founder. An enthusiastic teacher and maker, he repeatedly turns novel research (e.g., reductions to SAT, discrete CNN analogs, and time-of-flight rendering extensions) into classroom-ready material and playable prototypes. Colleagues know him for combining deep theory with hands-on implementation and for uncovering clever technical shortcuts drawn from cryptography and formal verification.
17 years of coding experience
12 years of employment as a software developer
University of California Santa Cruz
Stackoverflow
1,628reputation
206kreached
15answers
2questions
Github Skills (112)
synthesis10
sample-data10
prose10
openapi10
openai-api10
apple-silicon10
webui10
sdk10
ai10
playfab10
mistral10
virtualization10
golang10
ollama10
x8610
Programming languages (13)
Github contributions (5)
rndmcnlly/cv
Jan 2009 - Jun 2010
Contributions:14 commits in 1 year 4 months
rndmcnlly/ansunit
May 2014 - Aug 2017
Contributions:12 commits, 9 pushes, 2 comments in 3 years 4 months
answertestingdeclarativeunittesting-tools
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.