My name is Fotis Koutoulakis. I'm a software engineer currently working at the intersection of AI Engineering and Backend Development. I love functional programming, type theory, formal verification and distributed systems.

I'm now at GitHub, where I work on several aspects of Copilot. Previously I worked as as a Software Engineer at Diffblue, where I was maintaining the software verification tool CBMC under contract with AWS.

In my free time, I enjoy learning more about our natural world. Mathematics, physics and biology are some of my favorite subjects.

I have a Bachelor's degree in Computer Engineering from the Technological Educational Institute of Crete, and am currently studying on the side for a Bachelor's degree in Mathematics with The Open University and a Bachelor's degree in Natural Sciences with the Hellenic Open University.