(Logo)
Aalborg University - Aalborg Universitet
Aalborg Universitet

Jesper Bengtson
Institution IT University of Copenhaven
Afdeling Dept. of Computer Science
Delkorps Matematik
Type Intern
Fornavn Jesper
Efternavn Bengtson
Titel Associate Professor
Post til Arbejde
Fagligt Logic, programming Languages, Semantics, Interactive proof assistant
Arbejdsadresse:
Rued langgaards Vej 7
2300 København S
Tlf. 7218 5043
Email:
jebe@itu.dk