About
Prior to working for Skype I was a researcher in the Institue of Cybernetics. I received my PhD in Computer Science from from Tallinn University of Technology, where my thesis was on logics for low level languages and compilation of program proofs.