• root

• blog/
• cv
• misc/

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.