Margus Veanes

Principal Researcher at Microsoft

A leading researcher in the area of Programming Languages (PL).
Started the field of symbolic automata theory with fundamental breakthroughs in core aspects of foundations of PL.

Publishes in top tier conferences and journals, including TOPLAS and JACM with over 100 scientific publications. Coauthored a book on Model-Based Software Testing and Analysis with C#,  Cambridge University Press, in January 2008.

https://www.microsoft.com/en-us/research/people/margus/

Member of Estonian Academy of Sciences

Awarded membership in 2019.
http://www.akadeemia.ee/en/membership/_foreign/veanes/

Other Professional Memberships

ACM member (since 2003)IEEE member (since 2004)

Education

PhD in Computing Science [80], June 1997 – UPPSALA UNIVERSITY, Sweden http://www.it.uu.se/research/csd/theses.html

PhL in Computing Science [86], June 1993 – UPPSALA UNIVERSITY, Sweden

MSc in Computing Science, June 1990 – UPPSALA UNIVERSITY, Sweden

High school Engineer in Electronics, June 1986, Rüdbeckskolan, Sollentuna, Sweden