Name:Nick Hu

Bio:

I’m a second year undergraduate student studying Computer Science at St Catherine’s College.

I have strong interests in Programming Language Theory and Foundations and Logics.

Country:United Kingdom

Affiliation:University of Oxford

Research interests:Programming Languages, Type Theory, Category Theory, Logic, Security