@rcdickerson
PhD candidate at Purdue, on the academic job market. Research in programming languages and formal methods. Previously Square and elsewhere. https://robd.io
