I'm a Mathematician and Computer Scientist, primarily interested in:
- Programming Languages - Specification and Implementation
- Software Verification, Correctness and Reliability
- Functional Programming and Theory of Computing
- Automated Reasoning
- Randomness
- Uncertainty Quantification
Outside computing, my interests are diverse and include scholarship (I enjoy studying other subjects such as Economics, Biology, Chaos/Complexity, etc) and music (singing 🎤 / guitar 🎸 / piano 🎹)
I'm working as a Software Engineer at GitHub, where I'm part of the Security Products Engineering department, working on CodeQL and assorted tools.
Before that, I was part of Diffblue's Open Source team, where I spent my time maintaining CBMC, a model checker for C (a tool for verifying that the behaviour of C code aligns with its specification).
Reach me through the following:
- 📧 Email: [email protected]
- 🐦 Twitter: @Nlightnfotis
- 🔗 LinkedIn: in/FotisKoutoulakis
- 📚 Goodreads: Fotis Koutoulakis