SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
SPLASH 2022 (series) / Bryan Parno
Bryan Parno

Registered user since Fri 27 Sep 2019

Name:Bryan Parno
Affiliation:Carnegie Mellon University, USA
Personal website:https://www.andrew.cmu.edu/user/bparno/

Contributions

HATRA 2022 Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
SPLASH 2022 Linear types for large-scale systems verification
Show activities from other conferences

SPLASH 2022-profile
View general profile