Michal Moskal

Michał Moskal works at Microsoft Research in Redmond on software verification, automated theorem proving, and programming languages. During his PhD studies at the University of Wrocław in Poland he has developed Nemerle—a high level programming language for the .NET platform, and (using Nemerle) Fx7—a satisfiability modulo theories (SMT) solver.