Hello,
I'm Vasileios /Væ'sɪlɪɔːs/
Research Associate
Imperial College London

I explore language-based approaches to building reliable, predictable computing systems that can be reasoned about and verified formally.