Kuen-Bang Hou (Favonia)

Registered user since Sun 20 Nov 2016

Name:Kuen-Bang Hou (Favonia)

Country:United States

Affiliation:University of Minnesota

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

Contributions

POPL 2022	Session Chair of Type Theory (part of POPL) Panel 1: proof assistants for PL and math Logarithm and Program Testing
CPP 2022	Session Chair of Category Theory, HoTT, Number Theory (part of CPP 2022)
Show activities from other conferences