ÅRSBERETNING 2005
| Indholdsfortegnelse Instituttets | |
Datalogisk Institut
Ledelse
Institutleder
Professor Kurt Jensen.
Institutråd
VIP: Professor Kurt Jensen, professor Mogens Nielsen (stedfortræder), lektor Gerth Stølting Brodal, professor Susanne Bødker, lektor Ole Caprani, lektor Henrik Bærbak Christensen, professor Ivan Damgård, lektor Christian Nørgaard Storm Pedersen, lektor mso Lars Michael Kristensen, adjunkt mso Anders Møller, lektor mso Ulrik Pagh Schultz, ph.d.‑studerende Mads Sig Ager, ph.d.‑studerende Jørgen Iversen.
TAP: Regnskabsmedarbejder Maibritt Bodin, erhvervssproglig medarbejder Lene Kjeldsteen, systemadministrator Kaja Christiansen, ingeniørassistent Anders Ebert, projektleder Uffe Engberg, studenterprogrammør Kasper Ligaard Nielsen.
STUD: Morten Lindholm, Troels Bjerre Sørensen, Maibritt Kerner, Lene Søndergaard Nielsen, Morten Skov.
Medarbejdere
Videnskabeligt personale: 44,9 årsværk
Professorer: Susanne Bødker, Ivan Bjerre Damgård, Kaj Georg Grønbæk, Kurt Jensen, Ole Lehrmann Madsen, Brian Henry Mayoh, Mogens Nielsen, Glynn Winskel.
Docent: Sven Skyum.
Lektorer: Kenneth Mark Anderson, Jakob Eyvind Bardram, Olav Wedege Bertelsen, Niels Olof Bouvin, Gerth Stølting Brodal, Ole Micheli Caprani, Henrik Bærbak Christensen, Søren Christensen, Ivan Bjerre Damgård, Olivier Danvy, Erik Ernst, Kaj Georg Grønbæk, Klaus Marius Hansen, Jens Bæk Jørgensen, Thiemo Bernhard Thomas Krink, Lars Michael Kristensen, Peter Bro Miltersen, Preben Holst Mogensen, Peter David Mosses, Peter Møller‑Nielsen, Leysia Ann Palen, Christian Nørgaard Storm Pedersen, Louis Salvail, Ulrik Pagh Schultz, Michael Ignatieff Schwartzbach, Olin Grigsby Shivers, Mads Torgersen, Peter Ørbæk, Ole Østerby.
Adjunkter: Claus Brabrand Rasmussen.
Professorer med særlige opgaver: Lars Allan Arge, Morten Kyng.
Forskningsassistenter: Martin Brynskov, Mette Agger Eriksen, Eva Elisabeth Eriksson, Toke Eskildsen, Christina Fuglsang, Peder Herborg, Mads Johan Jurik, Jannie Friis Kristensen, Andreas Lykke‑Olesen, Kevin Scott Millikin, Martin Mogensen, Jesper Buus Nielsen, Kaspar Rosengreen Nielsen, Johan Peter Nilsson, Simon Clemen Pedersen, Henning Korsholm Rohde, Mads Peter Brejner Søgaard, Sanne Sørensen.
Adjunkter med særlige opgaver: Ann Christina Brodersen, Aino Vonge Corry, Matthias David Christian Fitzi, Klaus Marius Hansen, Herman Johannes Haverkort, Thomas Mailund Jensen, Lars Michael Kristensen, Anders Møller, Jesper Buus Nielsen, Jakob Illeborg Pagter, Marianne Graves Petersen, Claus Brabrand Rasmussen, Mikkel Nygaard Ravn, Mads Torgersen, Lisa Marie Wells, Pascal Zimmer.
Eksterne lektorer: Jens Benned Bennedsen, Tine Wirenfelt Jensen, Søren Erik Nielsen, Søren Staugaard Nielsen, Finn Ebertsen Nordbjerg, Torben Bach Pedersen.
Teknisk‑administrativt personale: 43,5 årsværk
Administrativt personale: Uffe Henrik Engberg, Karen Kjær Møller.
Kontorpersonale: Mads Sig Ager, Rikke Skovgaard Andersen, Kirsten Boddum‑Andersen, Maibritt Bodin, Rune Bolding Broberg, Andreas Kirkeskov Carlsen, Bent Otto Guldbjerg Christensen, Charlotte Møller Christensen, Jakob Balle Christensen, Kaja Swietlana Anna Christiansen, Christian Dindler, Mads Brøgger Enevoldsen, Paul Fleischer, Henrik Gammelmark, Martin Joakim Geisler, Tony Gjerlufsen, Michael Glad, Frank Allan Hansen, Morten Tranberg Hansen, Peder Herborg, Anette Hviid, Marianne Dammand Iversen, Thomas Jakobsen, Anders Hessellund Jensen, Hanne Friis Jensen, Christian Jonigkeit, Lene Kjeldsteen, Peter Ravn Kragelund, Mikkel Krøigaard, Line Langballe, Anders Enghave Larsen, Kim Alster Larsen, Henry Michael Lassen, Kristian Bisgaard Lassen, Carl Erik Lindberg, Ellen Kjemtrup Lindstrøm, Karen Falkenberg Lund, Fred Mosekjær Madsen, Christoffer Bundgaard Magnussen, Jacob Sloth Mahler‑Andersen, Peter Julian Marstrand Mechlenborg, Martin Mogensen, John Rothborg Mortensen, Carsten Valdemar Munk, Ann Eg Mølhave, Karen Kjær Møller, Esben Toftdahl Nielsen, Jesper Nielsen, Kaspar Rosengreen Nielsen, Kasper Ligaard Nielsen, Kim Bjørn Nielsen, Per Nielsen, Karsten Østergaard Noe, Jesper Wolff Olsen, Søren Boll Overgaard, Jacob Frølund Pedersen, Lea Troels Møller Pedersen, Rasmus Vedel Petersen, Hieu Trong Phan, Bent Oslo Rasmussen, Peter Kjellerup Rasmussen, Morten Stærkær, Balasuthas Sundararajah, Peter Trier Thomsen, Rolf Ehrenreich Thorup, David Paul Tordrup, Thomas Vestergaard.
Teknisk AC‑personale: Peter Andersen, Jens Benned Bennedsen, Eva Bjerrum, Michael Edelgaard Caspersen, Michael Christensen, Gudmund Skovbjerg Frandsen, Henning Gregers Jensen, Margit Kristensen, Henry Michael Lassen, Kai Birger Nielsen, Michael Bang Nielsen, Marlene Nybro Thomsen.
Teknikere: Anders Ebert, Søren Vallø Ertmann, Jeppe Kappelgaard Lauridsen, Rasmus Vinge.
Håndværkere: Anders Ebert, Jan Elgaard, Michael Bruus Pedersen.
Betjente mv.: Jan Elgaard, Michael Bruus Pedersen.
Ph.d.‑studerende
Kari Rye Schougaard Nørgaard, Martin Olsen, Bolette Ammitzbøll Madsen, Michael Edelgaard Caspersen, Anders Torp Brodersen, Morten Lindholm Nielsen, Bent Otto Guldbjerg Christensen, Michael Bang Nielsen, Thomas Brochmann Pedersen, Frank Allan Hansen, Jakob Svaneborg Vesterstrøm, Jørgen Bøndergaard Iversen, Philipp Gerhardy, Jonas Martin Thomsen, Christian Kirkegaard, Kasper Dupont, Tomas Toft, Mads Peter Brejner Søgaard, Jan Midtgaard, Mads Sig Ager, Michael Østergaard Pedersen, Karl Kristian Krukow, Henning Korsholm Rohde, Kristoffer Arnsfelt Hansen, Jesper Mosegaard, Thomas Riisgaard Hansen, Kristian Støvring, Michael Westergaard, Troels Bjerre Sørensen, Mikkel Baun Kjærgaard, Jeppe Rørbæk Brønsted, Kristian Bisgaard Lassen, Søren Besenbacher, Jacob Andersen, Jonathan Bech Bunde‑Pedersen, Rune Ivan Thorbek, Martin Brynskov, Saurabh Agarwal, Thomas Mølhave, Jesus Fernando Almansa Guerra, Malgorzata Biernacka, Dariusz Piotr Biernacki, Simon Bo Larsen, Mads Ingstrup, Gabriel Moruz, Joo Yong Lee, Clemens Nylandsted Klokmose, Marco Carbone, KirillMorozov, Aske Simn Christensen, Christian Schaffner, Branimir Zdravkov Lambov, Johan Peter Nilsson, Kevin Scott Millikin, Doina Bucur, Miroslava Sotáková.
Historie
Faget datalogi har været repræsenteret ved Aarhus Universitet siden 1965. Først som en del af Aarhus Universitets Regnecenter, dernæst som en afdeling under Matematisk Institut og siden 1. januar 1998 som et selvstændigt institut. Instituttet er placeret i IT‑byen Katrinebjerg, hvor Aarhus Universitet nu har samlet alle sine IT‑studier.
Undervisning og øvrige aktiviteter
Undervisning og formidling
Ordinær uddannelse
Undervisningen er gennemført i henhold til gældende studieplaner for 1. del samt i henhold til de anmeldte seminarer m.v. for kandidat‑ og ph.d.‑studerende.
I sommeren 2003 afløstes studieordningen fra 1.9.1990 af den nye studieordning der bl.a. indførte kvarterskurser.
Ved den teoretiske øvelsesundervisning blev der i foråret oprettet 78 øvelseshold (3. og 4. kvarter). I efterårets første og andet kvarter blev der oprettet 57 øvelseshold.
Ved slutningen af beretningsperioden havde instituttet 260 registrerede kandidatstuderende på datalogi. Derudover er der 79 kandidatstuderende på IT‑Vest og 113 kandidatstuderende på Teknisk IT (civilingeniør).Datalogisk Institut har som en del af master‑ og diplomuddannelserne under it‑vest samarbejdet afholdt seks efter‑ og videreuddannelseskurser med 199 betalende deltagere samt ydet vejledning på 20 afgangsprojekter.
Forskeruddannelse
Instituttet har i 2005 haft omkring 55 ph.d.‑studerende indskrevet. 19 ph.d.‑studerende har for en del af året opholdt sig ved udenlandske universiteter. I 2005 er 10 studerende konfereret den naturvidenskabelige ph.d.‑grad.
BRICS Internationale Forskerskole
Danmarks Grundforskningsfond og Aarhus Universitet etablerede i 1997 en international forskerskole i teoretisk datalogi, i tilknytning til grundforskningsfondens center, BRICS. Forskerskolen og centeret blev i 2001 slået sammen til én BRICS enhed i et samarbejde mellem Aarhus og Aalborg Universitet. Forskerskolen har en bevilling fra Danmarks Grundforskningsfond til finansiering af først og fremmest stipendier til udenlandske ph.d.‑studerende og ph.d.‑vejledere. I 2005 blev der truffet beslutning om en udvidelse af BRICS til en forskerskole for såvel eksperimentel som teoretisk datalogi samt dele af informationsvidenskab ved Aarhus Universitet, blandt andet på basis af en bevilling til samfinansierede stipendier og kvalitetsfremmemidler fra Forskeruddannelsesudvalget, Forskningsstyrelsen.
Gæsteforelæsere
Eric Bach, University of Wisconsin, Madison, WI, USA. Michel Beaudouin‑Lafon, Université Paris‑Sud, Frankrig. Steffi Beckhaus, Fachbereich Informatik, Universität Hamburg, Tyskland. Doina Bucur, University Politehnica of Bucharest, Rumænien. Andrew Danner, Duke University, Durham, NC, USA. Jeff Erickson, University of Illinois at Urbana‑Champaign, USA. Nelly Fazio, Columbia University, NY, USA. Christiane Floyd, Fachbereich Informatik, Universität Hamburg, Tyskland. Robert Glück, Datalogisk Institut, Københavns Universitet. Marios Hadjieleftheriou, University of California, Riverside, USA. Steve Harris, University of Glamorgan, UK. Jonathan Hayman, University of Cambridge, UK. Thomas Hildebrandt, IT‑Universitetet i København. Martin Hirt, ETH, Zürich, Schweiz. Roger Karrer, Deutsche Telekom Laboratories, Berlin, Tyskland. Irit Katriel, Max‑Planck‑Institut f. Informatik, Saarbrücken, Tyskland. Joe Kilian, Yianilos Labs and Rutgers University, USA. Søren Lassen, Google Inc., USA. Wendy Mackay, INRIA, Rocquencourt, Frankrig. Malcolm McCollough, University of Michigan, Ann Arbor, USA. Ulrich Meyer, Max‑Planck‑Institut f. Informatik, Saarbrücken, Tyskland. Tom Moran, IBM Research, Almaden Research Center, San Jose, CA, USA. Antonio Nicolosi, Columbia University, NY, USA. Mikkel Nygaard, Systematic, Århus. Lucy Saunders‑Evans, University of Cambridge, UK. René Schoof, University of Rome, Italien. Sergei Soloviev, IRIT, Toulouse, Frankrig. Konrad Tolmar, Universitetet i Lund, Sverige. Randall Trigg, Global Fund for Women, San Francisco, USA. David Turner, University of Cambridge, UK. Jan Vahrenhold, Universität Münster, Tyskland. Brian Vinter, Syddansk Universitet, Odense. Erik Wallin, Universitetet i Lund, Sverige. Andreas Winter, Bristol University, UK. Ke(vin) Yi, Duke University, Durham, NC, USA. Norbert Zeh, Dalhousie University, Halifax, Canada.
Gæsteforskere
Simona Crema, University of Milan, Italien. Ken Museth, Universitetet i Linköping, Sverige. Hartmut Obendorf, Fachbereich Informatik, Universität Hamburg, Tyskland. Christopher Portmann, ETH, Zurich, Schweiz. Pär‑Ola Zander, Universitetet i Lund, Sverige. Will van der Aalst, University of Eindhoven, Holland.
Centre, forskerskoler m.v.
BRICS ‑ Basic Research in Computer Science
BRICS er et center under Danmarks Grundforskningsfond. Centeret er placeret ved de datalogiske institutter ved Aarhus Universitet og Aalborg Universitet. BRICS driver forskning i teoretisk datalogi (semantik, logik og algoritmik) med tilhørende anvendelser, blandt andet inden for datasikkerhed, kvanteberegninger, massive datamængder, software verifikation og web teknologi. BRICS er organiseret som en international forskerskole med ca. 35 PhD studerende, hvoraf halvdelen er udenlandske. BRICS er herudover aktiv deltager i adskillige samarbejdsprojekter med internationale forskningsenheder. Der var i 2005 i alt ca. 70 forskere og ph.d.‑studerende tilknyttet BRICS. Deltagere fra instituttet: Lars Arge, Gerth S. Brodal, Ivan B. Damgård, Olivier Danvy, Uffe H. Engberg, Gudmund S. Frandsen, Peter D. Mosses, Brian H. Mayoh, Peter Bro Miltersen, Mogens Nielsen (leder), Louis Salvail, Michael I. Schwartzbach, Sven Skyum. Yderligere information om centeret kan fås på www.brics.dk.
Center for Pervasive Computing
I 2000 besluttede Center for IT‑forskning, CIT, i samarbejde med Aarhus Universitet og Alexandra Instituttet A/S at oprette Center for Pervasive Computing med udgangspunkt i den nye IT‑by Katrinebjerg i Århus. I 2001 blev centeret suppleret med aktiviteter på Aalborg Universitet og på Syddansk Universitet i Sønderborg og Odense.
Center for Pervasive Computing, CfPC, der er et Centre of Excellence inden for området pervasive computing, arbejder med de nye muligheder som skabes når IT‑kraft, såsom processorer, sensorer og aktuatorer, integreres i vore omgivelser, kobles sammen og kombineres med f.eks. nye visualiseringsmuligheder strækkende sig fra projektioner direkte i øjet til panoramadisplays i vægstørrelse. Forenklet sagt: 'it i alting'. Forskningen i centeret er hovedsagelig eksperimentel og tværfaglig, og aktiviteterne gennemføres i et tæt projektsamarbejde mellem offentlig forskning og erhvervslivet. Der er pt. ca. 50 forskere og ph.d.‑studerende tilknyttet centeret. Hertil kommer en række medarbejdere fra de øvrige deltagende parter. Instituttets deltagere: Morten Kyng, Susanne Bødker, Ole Caprani, Søren Christensen, Kaj Grønbæk, Kurt Jensen, Ole Lehrmann Madsen, Preben Mogensen, Klaus Marius Hansen, Jakob Bardram, Aino Corry, Margit Kristensen, Peter Ørbæk, Michael Christensen, Henrik B. Christensen. Eksterne partnere: Alexandra Instituttet A/S, Bang & Olufsen, Danfoss Drives, Innovation Lab, Syddansk Universitet, Systematic Software Engineering A/S, TDC, Aalborg Universitet, Aarhus Universitetshospital.
Centeret er primært finansieret af de deltagende universiteter, Aarhus Universitets Forskningsfond, Systematic Software Engineering A/S og EU. Yderligere information om centerets aktiviteter kan fås på Center for Pervasive Computings hjemmeside: www.pervasive.dk.




