Rob Dickerson @robd@types.pl

PhD Student at Purdue advised by Ben Delaware. PL, formal methods, verification and synthesis.

Joined Oct 2020

140 Following 133 Followers

Azul @typeswitch@gamedev.lgbt

fumiakiy @fumiakiy@mastodon.cloud

Eric Bond @bond15@types.pl

Saethelred the Unsteady @SethRudy@c18.masto.host

Martin Escardo @MartinEscardo@mathstodon.xyz

soaproot @soaproot@sfba.social

CORVUSPHERE @CORVUSPHERE@todon.eu

Cory Doctorow's linkblog @pluralistic@mamot.fr

Eric @beerandpork@androiddev.social

Ben Cheng @bencheng@oursky.social

Ethan Campbell @ProfGawain@mstdn.social

Julia Evans @b0rk@jvns.ca