Department of Informatics

Disputation - Andrew Polonsky

Main content


MSc Andrew Polonsky will defend his PhD-thesis, Monday 17.th. of January 2011, at 14.15.

Location: Store Auditorium, Høyteknologisenteret, Thormøhlensgate 55.


Title of thesis: Proofs, Types and Lambda Calculus.


Opponent: Prof. Henk Barenregt, Radboud University, The Netherlands

Opponent: Prof. Thierry Coquand, Gøteborgs Universitet, Sweden

Leader: Michal Walicki, Department of Informatics, University of Bergen