> Christian Fontenot

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 and work, I enjoying tinkering with hardware, and retrocomputing, because I love the puzzle aspect to programming weak hardware. I also enjoy reading science fiction, and occasionally playing chess.