Stack Overflow
Stack Overflow

Michal Moskal
11
reputation
3
  • Seattle, WA
  • Member since February 02 2011
  • 19 profile views
  • Last seen Aug 24 '23 at 10:05

I work on formal software verification, programming languages, and SMT solvers at Microsoft Reserach in Redmond.