Ulf Norell

I am a postdoc at the Computing Science department at Chalmers.

Contents

Research

My research interests are interactive theorem proving and dependently typed programming using type theory. In particular the design and implementation of systems supporting these activities. I am a member of the Programming Logic and the Functional Programming groups.

Papers

Talks

Agda

Teaching

Contact information

Phone (office):+46 (0)31 772 10 54
Phone (mobile):+46 (0)703 767 810
Room:6466 (EDIT building)
Email:ulfn@chalmers.se

Valid HTML 4.01! Disclaimer
Last modified: Wed Sep 25 23:41:42 2013