Hello world! I'm Vitalis. Welcome to my home page!

I do research on program analysis as a research associate of the BALab group hosted at AUEB.

Also, I'm in the final year of my studies as an Electrical and Computer Engineer (M.Eng) at NTUA.

You can find my CV here.

Open source

I (mostly) openly release the tools I build.

Check out my GitHub


I'm currently interested in {program,static} analysis and systems.

Reaching Out

This page is written in pure HTML to limit the environmental impact of my website. (i.e. I'm too lazy to add a theme)