Thomas Draper
Doctoral Researcher at Carnegie Mellon University School of Computer Science
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top SchoolThomas Draper is a doctoral researcher at Carnegie Mellon University focused on practical, entropy-efficient algorithms for random sampling, bringing four years of interdisciplinary experience across machine learning, quantum computing, and theoretical math. He blends rigorous mathematical foundations—BS work spanning mathematics, physics, computer science, and statistics—with hands-on engineering: implementing diffusion models, compiler inlining heuristics, and Pauli-based circuit optimization during industry internships. His background includes deep theoretical research in logic, computability, and number theory as well as experimental work in quantum physics, giving him a rare ability to move between abstract theory and production-quality systems. Based in Pittsburgh, he gravitates toward problems at the intersection of compositionality, information, and intelligence, and has a demonstrated knack for turning complex formal ideas into practical code.
4 years of coding experience
4 years of employment as a software developer
Montgomery High SchoolMountain View High SchoolDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Carnegie Mellon UniversityBachelor of Science - BS, Mathematics, Physics, Computer Science, and Statistics, Bachelor of Science - BS, Mathematics, Physics, Computer Science, and Statistics at Brigham Young University
German, Spanish, Swedish, Japanese
Github Skills (27)
fundamentals10
javascript10
css10
http10
type-safety10
caddyserver10
lenses10
common-lisp10
html10
functional-programming10
web-development10
functional-programming-language10
mongodb10
lisp10
documentation10
Programming languages (9)
Github contributions (5)
amorphedstar/coalton
Jul 2024 - Jan 2025
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Contributions:56 pushes, 4 branches in 5 months
amorphedstar/.github
Apr 2023 - Aug 2023
Web Programming 260 Instruction
Contributions:66 pushes, 3 branches in 3 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.