About Patrick Devaney

UBC CS PhD student - formal verification of hardware and software (and occasionally theory of computation)

Lists

Timeline

devaney has no activity yet