About

Hi, I am Alex! I am a teaching assistant at the University of Bucharest. I use this website as a personal landing page.

I’m interested in formal methods, in particular program logics, automated theorem proving & all things functional programming.

You can find an up-to-date resume over here.

Sometimes I may play some music, most recently on the bass with the Mo Chits.

You can find me on LinkedIn, GitHub, or you can reach out to me by email.

This site was generated by Hakyll and is open-source.