About
Prior to working for Microsoft and Skype I was a researcher in the Institute of Cybernetics. I received my PhD in Computer Science from Tallinn University of Technology, where my thesis was on logics for low level languages and compilation of program proofs.
Contact: ando (a t) set.ee