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@hachyderm.io

fumiakiy @fumiakiy@mastodon.cloud

Eric Bond @bond15@types.pl

Kannie @kannie479@podaboutli.st

soaproot @soaproot@sfba.social

Eric @beerandpork@androiddev.social

Ben Cheng @bencheng@oursky.social

Amélia Liao @amy@types.pl

Nic Raboy @nraboy@mastodon.social

Ethan Campbell @ProfGawain@mstdn.social

Jules @julesjacobs@discuss.systems

Pat_Lafonta @Pat_Lafonta@types.pl