Patrick Devaney
patrickdevaney.bsky.social
did:plc:nnruqrgvu2codvol34c3mopq
UBC CS PhD student - formal verification of hardware and software (also occasionally theory of computation) - hobbyist nature photographer - #CovidIsAirborne
Enable JavaScript to use Bluesky.
Learn more about Bluesky at bsky.social and atproto.com.