About Rob Dickerson

Assistant professor of computer science at Augustana College. PL, formal methods, verification and synthesis. All opinions are my own.

Lists

Timeline

robd has no activity yet