Sergei Stepanenko’s website
- kaptch at gmail dot com
- sergei dot stepanenko at cs dot au dot dk
- PGP key
Welcome to this website. My name is Sergei Stepanenko, and I’m a computer science enthusiast. Currently, I’m a PhD student in the Department of Computer Science at Aarhus University under supervision of Lars Birkedal. I’m interested in type theories and formal verification.