Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Forskere
Forskningsenheder
Publikationer
Projekter
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Jesper Bengtson
Dr
Associate Professor
,
Computer Science
Programming Logic and Semantics
Fastnet
72185043
E-mail
jebe
itu
dk
2009
2023
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(9)
Presse/medier
(2)
Projekter
(3)
Lignende profiler
(6)
Netværk
Visualisering
Kort
Profiler
Forskningsenheder
Dawit Tirore
dati
itu
dk
Computer Science
Person:
VIP
1 delt publikation
Marco Carbone
maca
itu
dk
Computer Science
-
Associate Professor, Head of study programme
Programming Logic and Semantics
Center for Information Security and Trust
-
Associate Professor
Person:
VIP
1 delt publikation
Robbert Krebbers
Radboud University Nijmegen
Aarhus Universitet
Ekstern person
2 delte publikationer
Gregory Malecha
University of California
Ekstern person
1 delt publikation
Daniël Louwrink
University of Amsterdam
Ekstern person
1 delt publikation
Tjark Weber
Uppsala University
Ekstern person
1 delt publikation
Joachim Parrow
Uppsala University
Ekstern person
1 delt publikation
Enrico Tassi
Inria
Ekstern person
1 delt publikation