unset title
>
Contact_plural
>
Paradise
login
login
password
log in
cancel
search
Paradise
lastname
Paradise
firstname
Orr
organisation
Theory of Computation group, UC Berkeley, California (USA)
website
http://people.eecs.berkeley.edu/~orrp/
speakers_object
Models that prove their own correctness