• root

• cv
• misc/

Sergei Stepanenko’s website

• kaptch at gmail dot com
• sergei dot stepanenko at cs dot au dot dk
• sergst at dot itu dot dk
• me at kaptch dot link
• PGP key

Welcome to this website. My name is Sergei Stepanenko, and I’m a computer science enthusiast. Currently, I’m a Postdoc at the IT University of Copenhagen. Before that, I was a PhD student in the Department of Computer Science at Aarhus University. I’m interested in type theories and formal verification.