About

👋 I am a computer engineer based in Europe. I did my PhD work at the intersection of formal methods and artificial intelligence. Currently, I work at Informal Systems , assessing correctness of distributed systems protocols and their implementations.

In this blog I write about interesting computer science topics that I come across in my work or in the work of others. My default topics will be formal methods (and software correctness/security in general), artificial intelligence, and distributed systems.

This blog is using the Ephesus theme by Hakan, with some modifications introduced by danwt.