Rob Dickerson
@robd@mathstodon.xyz
Joined: 07/08/2023
About Rob Dickerson
Assistant professor of computer science at Augustana College. PL, formal methods, verification and synthesis. All opinions are my own.
Lists
{username} has no public lists
Timeline
{username} has no activity yet