Patrick Devaney
@devaney@mathstodon.xyz
Joined: 12/22/2022
About Patrick Devaney
UBC CS PhD student - formal verification of hardware and software (and occasionally theory of computation)
Lists
{username} has no public lists
Timeline
{username} has no activity yet