Sergei Stepanenko’s website

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.