> Christian Fontenot

Hello! I’m a Ph.D. student in Computer Science at CU Boulder, and a member of the Programming Languages and Verification lab. My research focuses on automated verification of programs, specifically distributed and concurrent systems. Broadly, my work is in improving our ability to formally reason about these large, complex systems with non-trivial communication, and then our ability to automate this reasoning.

Prior to joining CU, I received a B.S. in Computer Science, and in Mathematics, from Louisiana State University, minoring in Robotics Engineering. I began my research career at LSU, focused on static analysis and serverless computing, working with faculty in Computer Science and Electrical Engineering. My serverless computing work was done with the IntelliSys Lab, largely focused on optimization.

Outside of research, I enjoy tinkering with hardware, robotics, and retro-computing. I also do watercolor painting, and reading (mostly science fiction).