Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
user avatar
user avatar
user avatar
Michal Moskal
  • Member for 8 years, 9 months
  • Last seen more than 2 years ago
  • moskal.me
  • Seattle, WA
Stats
1
reputation
0
reached
0
answers
0
questions
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.