Area 51 » Michal Moskal

111
reputation
3 views
network profile

Registered User

name Michal Moskal
member for 5 years
seen Jul 3 '16 at 13:13
website
location Seattle, WA

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

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


0

Followed


0

Example Questions


0

Votes Cast