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
๐ฑ I am committed to living a climate positive life. You can see my impact at ecologi.