Rob Dickerson @robd@types.pl
- Website
- https://robd.io
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
Joined Oct 2020
- Website
- https://robd.io
PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.
Joined Oct 2020
