Marc Bezem#
Membership Number: | 4746 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2018 |
Main Country of Residence: | NORWAY |
Homepage(s): | http://www.ii.uib.no/~bezem |
ORCID: | 0000-0002-7320-1976 |
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
- Proof theory and recursion theory
- Homotopy type theory
- Lambda calculus and term rewriting
- Mathematical logic
- Constraint programming
- Automated verification and proof checking
- Coherent logic
- Process algebra
- Type theory
- Logic programming
Honours and Awards
- 2013, 01 - 2013, 05: Member of the School of Mathematics, Institute for Advanced Study, Princeton