He obtained his doctoral degree in 2002 from Helsinki University of Technology, spent a year as a postdoc at University of Stuttgart, and has since worked in various research positions at Aalto University, with the latest Associate Professor appointment in Aug 2013. His research interests include distributed systems, distributed computing, formal methods, model checking, and automated testing.