Monday November 20 4:00 - 4:50 PM Kelley 1001
David Roundy Assistant Professor Department of Physics Oregon State University Verifying the darcs patch formalism Darcs is a distributed revision control system based on a formalism for manipulating changes, which allows for a system that is change-based rather than version-based. This talk will introduce this formalism. I will then show how we can use the type system of Haskell to verify the correctness of change-manipulation code. Biography: David Roundy has just started as an assistant professor in the Physics Department here at OSU, working in the field of Condensed Matter Theory. He received his B.A. and Ph.D. at Berkeley and did postdocs at MIT and Cornell. He created darcs in 2002 after becoming interested in the problem of how to describe and manipulate changes. Around the same time, David learned the Haskell language, and hasn't been the same since. While not working on darcs or physics, David enjoys reading, knitting, crocheting and playing harmonica, but not all at the same time.
_______________________________________________ Colloquium mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
