Rob Dickerson
@robd@mathstodon.xyz
Joined: 08/07/2023
About Rob Dickerson
CS PhD. Assistant professor of computer science at Augustana College. PL, formal methods, verification and synthesis.
Lists
robd has no public lists
Timeline
robd has no activity yet