> Christian Fontenot

Graduate Student | Researcher | Software Tinkerer

Hello, I’m a graduate student pursuing a Ph.D. in Computer Science at CU Boulder, more specifically in the area of formal verification and its surrounding fields, as a member of the PLV lab. My interests include formal verification, logic systems, and type theory, and how we can utilize these in order to improve the security and correctness of systems, especially cyber-physical or distributed systems such as robots, or industrial control systems.

Previously, I received a B.S. in Computer Science, as well as Mathematics, from Louisiana State University. This is where I started my research career, working with professors in Computer Science as well as Electrical Engineering, particulary in static analysis and serverless computing. My serverless computing work was done with the IntelliSys Lab, largerly focused on optimization in this area.

Outside of research, I play chess, and program as a hobby. I’m interested in both low-level systems programming, as well as using functional programming languages to solve problems I find interesting. Overall I’m passionate about learning and gaining new insight. I also enjoy reading, in particular science fiction.


Jan 5, 2022 Switched personal site to use Jekyll and al-folio.