Kelton Obrien
Computer Science PhD Student at Indiana University Bloomington
Minneapolis, Minnesota, United States
Summary
👤
Senior🎓
Top SchoolKelton Obrien is a doctoral computer science researcher with nine years of hands-on experience spanning programming language tooling, formal methods, and software engineering. He holds a multidisciplinary BS (CS, Linguistics, Philosophy, Math) with a 3.95 GPA, completed an MPRI research master's at Université Paris Cité, and begins a PhD at Indiana University Bloomington in 2025. His research background includes contributing to the Silver attribute grammar language and the Copper parser generator, fuzzing work at CMU PASTA, and a Microsoft Research internship extending TLA+ with statistical properties. A former ACM UMN president and multi-course TA, he blends teaching, open-source development, and publication-focused research. Known for deep technical curiosity (self-described “dork”), he pairs formal methods expertise with practical tool-building that bridges theory and applied systems.
9 years of coding experience
3 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Linguistics, Philosophy, and Math, 3.95/4.00, Bachelor of Science - BS, Computer Science, Linguistics, Philosophy, and Math, 3.95/4.00 at University of MinnesotaMaster Parisien de Reserche en Informatique, Computer Science, Master Parisien de Reserche en Informatique, Computer Science at Univ Paris DiderotMounds View Senior High SchoolDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Indiana University Bloomington
Stackoverflow
3reputation
98reached
0answers
1question
Github Skills (73)
ordinal10
homotopy-type-theory8
type-theory8
polyhedra8
languagetool8
topological-data-analysis8
agda8
parser-generator8
parsing8
tla8
abstract-syntax-tree7
theory7
metaprogramming7
category-theory7
polymorphism7
Programming languages (12)
Github contributions (5)
ScratchPadGroceryList/ScratchPad
Mar 2018 - Jun 2021
A Phonegap/Node.js app for more easily communicating grocery lists.
Contributions:4 PRs, 19 pushes, 3 branches in 3 years 3 months
grocerynode-jsjavascriptrubylists
keltono/Hasus
Nov 2020 - Jun 2024
Contributions:34 pushes, 1 branch, 1 comment in 3 years 6 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.