Michael Coblenz
Assistant Professor Of Computer Science at University of California, San Diego
San Diego, California, United States
Summary
👤
Senior🎓
Top SchoolMichael Coblenz is an assistant professor of computer science at UC San Diego with a decade of experience bridging programming-language research and practical software engineering. He designs languages and tools that make developers more effective, having created Obsidian, a safer smart-contract language, and Bronze, a prototype garbage collector for Rust that demonstrates how language/runtime design can simplify real tasks. His background spans industry (eight years building the spreadsheet language for iWork at Apple) and rigorous academic work at Carnegie Mellon, where he developed PLIERS, a user-centered method for language design. Based in San Diego, he combines deep systems and language expertise with user-focused research, often targeting high-stakes domains like blockchain. An underappreciated thread in his career is a consistent emphasis on tooling and usability—turning formal ideas into practical prototypes that developers can actually use.
10 years of coding experience
8 years of employment as a software developer
High School, High School at Thomas Jefferson High School for Science and TechnologyDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Carnegie Mellon University
Stackoverflow
1reputation
0reached
5answers
0questions
Github Skills (109)
pluggable10
cpp10
computer-science10
solidity10
compiler10
rust10
science10
git10
verification10
java10
version-control10
type-checking10
php10
ethereum10
blockchain10
Programming languages (13)
Github contributions (5)
mcoblenz/Glacier
Mar 2016 - Nov 2021
Contributions:108 commits, 7 PRs, 44 pushes in 5 years 8 months
glacierimmutabilityjavatransitiveannotation
mcoblenz/Bronze
Nov 2020 - Mar 2021
Contributions:1 review, 50 commits, 1 PR in 4 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.