Kuen-Bang Hou (Favonia) -

Registered user since Sun 20 Nov 2016

Name:Kuen-Bang Hou (Favonia)

Country:United States

Affiliation:University of Minnesota, Twin Cities

Research interests:Mechanized Reasoning, Programming Language Theory, Type Theory

Contributions

CPP 2022	Session Chair of Category Theory, HoTT, Number Theory (part of CPP 2022)
POPL 2022	Session Chair of Type Theory (part of POPL) Panelist of Panel 1: proof assistants for PL and math within the Virtual Workshop-track Author of Logarithm and Program Testing within the POPL-track
PLMW 2021	Panelist of Panel: Doing Research in PL within the PLMW 2021-track
TyDe 2020	Committee Member in Program Committee within the TyDe 2020-track
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
ICFP 2017	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track