Kuen-Bang Hou (Favonia)

Registered user since Sun 20 Nov 2016

Name:Kuen-Bang Hou (Favonia)
Country:United States
Affiliation:University of Minnesota
Personal website:https://favonia.org
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)
Panel 1: proof assistants for PL and math
Logarithm and Program Testing
Show activities from other conferences

POPL 2022-profile
View general profile