• root

• cv
• misc/

Sergei Stepanenko’s website

• kaptch at gmail dot com
• sergei dot stepanenko at cs dot au 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 Aarhus University. Before that, I was a PhD student in the Department of Computer Science at Aarhus University, and a postdoc at IT University of Copenhagen. I’m interested in type theories and formal verification.