Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Kuen-Bang Hou (Favonia)
[go: Go Back, main page]

Hello!

I am a Ph.D. student in Computer Science Department at Carnegie Mellon, advised by Robert Harper. I was previously advised by Jeannette Wing and Avrim Blum. I came from National Taiwan University at Taiwan. I am currently working on logic and programming language theory.

Research Projects

  1. Social Network Logic with Jeannette Wing

Understanding epistemic consequences in social networking sites through focused linear logic.

  1. Homotopy Type Theory

Seeking new connections between category theory, homotopy theory and type theory. Check out this blog and my Agda code.

Talks

  1. Logic systems for computer scientists (slides in Traditional Chinese) at FLOLAC 2012.

Teaching

  1. Teaching Assistant of 15814: Type Systems for Programming Languages, Fall 2012.
  • Office Hours: Wednesday noon-1pm at GHC 9015.