rcdickerson Goto Github PK
Name: Rob Dickerson
Type: User
Company: Purdue University
Bio: PhD student at Purdue University studying programming languages, program verification and synthesis. Previously Square and elsewhere.
Blog: https://robd.io