Christian Fontenot
Graduate Researcher
Boulder, Colorado, United States
Summary
👤
Senior🎓
Top SchoolChristian Fontenot is a graduate researcher at CU Boulder with eight years of software engineering and research experience focused on formal methods, program analysis, and applying type theory to distributed systems, concurrency, and cyber-physical domains. He combines rigorous PL foundations with practical systems work—building a DSL for binary-analysis overrides at Galois, optimizing cold-starts for serverless platforms, and developing event-driven microservices at Capital One. As a teaching assistant for a programming languages course, he bridges theory and practice, mentoring students in functional programming and language design. Comfortable across Go, Scala, Java, and systems tooling, he brings both academic depth and hands-on implementation experience to verification problems that aim to be usable in real-world distributed software.
8 years of coding experience
4 years of employment as a software developer
Bachelor of Science, Computer Science (Software Engineering), Mathematics, Bachelor of Science, Computer Science (Software Engineering), Mathematics at Louisiana State UniversityDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of Colorado Boulder
Github Skills (21)
solver8
prolog7
logic7
imperative5
prerequisites5
csc5
abstract-syntax-tree4
computation4
compiler-construction4
gleam4
parser-generator3
parsing3
rust3
rover2
parser2
Programming languages (6)
Github contributions (5)
chfont/chfont.github.io
Jan 2022 - Feb 2024
A beautiful, simple, clean, and responsive Jekyll theme for academics
Contributions:13 pushes in 2 years 1 month
responsive-jekyll-themeacademicscleanjekylljekyll-theme
leafblader/Messaging-Web-Application
Jan 2019 - Apr 2019
Repository for 3380 Project
Contributions:70 pushes, 1 branch in 2 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.