Research group:

Software Technology

Office location:

Hightechnology building (room 4141)

Residence:

5179 Godvik

Postal Address:

Universitetet i Bergen

Institutt for Informatikk

Postboks 7800

N-5020 BERGEN

Norway

Telephone:

+47 55584177

Fax:

+47 55584199

E-mail:

bezem at ii.uib.no

INF121 (H04) - Programmeringsparadigmer (Programming Paradigms)

INF210 (H04) - Datamaskinteori (Theoretical Computer Science)

Undervisning fra 2005 (Teaching from 2005): Studentportal UiB

Publication List .pdf .tex, hard copies of papers can be sent upon request

Newman's Lemma stuff

Geometric/Coherent Logic