William Mansky
Affiliations: | Computer Science | University of Illinois at Chicago, Chicago, IL, United States |
Website:
https://mansky.lab.uic.edu/Google:
"William Mansky"Parents
Sign in to add mentor| Andrew Appel | research assistant | 2008 | Princeton | |
| (Automating Separation Logic for Concurrent C Minor) | ||||
| Elsa L. Gunter | grad student | 2014 | UIUC | |
| (Specifying and Verifying Program Transformations with PTRANS) | ||||
| Steve Zdancewic | post-doc | 2015-2016 | Penn | |