Distinguished Lecture Series in Computer Science

Datalogisk Institut starter fredag den 7. april kl. 14.30-15.30 i Store Auditorium, Benjamin-122, en ny foredragsrække under overskriften "Distinguished Lecture Series in Computer Science". Foredragsrækken vil bestå af foredrag af nogle af verdens førende forskere indenfor datalogi og IT. I foråret 2006 er planlagt tre foredrag.

Første foredrag i foredragrækken er fredag den 7. april kl. 14.30-15.30 i Store Auditorium, Benjamin-122, med Dr. Kurt Mehlhorn, professor, leder af Max-Planck-Institute for Computer Science i Saarbrucken, og vice præsident i Max-Plack-Society. Kurt Mehlhorn er måske Europas mest fremtrædende forskere inden for algoritmik og datastrukturer, og blandt hans mange bidrag kan nævnes softwarebiblioteket LEDA, som er en meget omfattende implementation af avancerede algoritmer og datastrukturer.

De øvrige to foredrag i foråret 2006 holdes af Dr. Stephen Cook (til venstre), professor i datalogi ved University of Toronto samt Dr. Peter Naur (til højre), tidligere professor i datalogi ved Københavns Universitet. Stephen Cook og Peter Naur har begge modtaget den prestigefyldte Turing Award -- datalogiens Nobel pris. Stephen Cook modtog prisen i 1982 for sit arbejde inden for kompleksitetsteori. Hans artikel "The Complexity of Theorem Proving Procedures" fra 1971 grundlagde teorien om NP-fuldstændighed. Peter Naur modtog prisen i 2005 for sine mange bidrag inden for programmering og programmeringsprog, blandt andet beskrivelsen af Algol-60.

Henvisninger:

Kurt Melhhorn: http://www.mpi-sb.mpg.de/~mehlhorn/

Stephen Cook: http://www.cs.toronto.edu/DCS/People/Faculty/sacook.html

Peter Naur: http://www.naur.com/