Area 51 » Michal Moskal
|
Registered User
|
I work on formal software verification, programming languages, and SMT solvers at Microsoft Reserach in Redmond. |
network profile
| 0 |
Proposals |
| 0 |
Current Commitments |
| 0 |
Fulfilled Commitments |
| 0 |
Followed |
| 0 | Votes Cast |
