Thomas Wies
| Use attributes for filter ! | |
| Affiliations | New York University |
|---|---|
| Interests | Programming Languages |
| Verification | |
| Static Analysis | |
| Automated Deduction | |
| Software Engineering | |
| H index | 27 |
| Citations | 2,188 |
| Books | Automated Verification of Concurrent Search Structures |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3231224 |
About Thomas Wies
Thomas Wies is an Associate Professor in computer science at the Courant Institute of New York University and a member of the Analysis of Computer Systems Group. ...
Thomas Wies Photos
