Marc Bezem#


Marc Bezem
Photo: Camilla Kottum Elmar
Email:Marc.Bezem 'at' uib.no
Membership Number:4746
Membership type:ORDINARY
Main Country of Residence:NORWAY
Section:INFORMATICS
Username:mbezem
Elected:2018
Homepage: http://www.ii.uib.no/~bezem



Present and Previous Positions
  • 2000, 07 - present Professor of Informatics, University of Bergen
  • 2016, 02 - 2016, 05: Visiting Researcher, Carnegie Mellon University
  • 2008, 08 - 2009, 07: Head of Department of Informatics, University of Bergen
  • 1991, 11 - 2000, 06: Associate professor of Philosophy, Utrecht University
  • 1991, 03 - 1991, 10: Assistant professor of Philosophy, Utrecht University
  • 1988, 09 - 1990, 06: Associate professor (0.2) of Computer Science, University of Amsterdam
  • 1986, 10 - 1991, 03: Postdoc (0.8-1.0), Centrum voor Wiskunde en Informatica, Amsterdam
  • 1984, 09 - 1986, 10: PhD assistant (0.6) in Mathematics, Utrecht University
  • 1981, 09 - 1987, 01: Teacher (0.4), COCMA

Fields of Scholarship
  • Mathematical logic
  • Proof theory and recursion theory
  • Logic programming
  • Constraint programming
  • Process algebra
  • Lambda calculus and term rewriting
  • Coherent logic
  • Type theory
  • Automated verification and proof checking
  • Homotopy type theory

Honours and Awards
  • 2013, 01 - 2013, 05: Member of the School of Mathematics, Institute for Advanced Study, Princeton


Imprint Privacy policy « This page (revision-12) was last updated on Monday, 8. October 2018, 14:37 by Kaiser Dana
  • operated by