Datalogisk Institut

Igangværende forskningsprojekter

Datalogisk Instituts forskningsaktiviteter omfatter bl.a. emnerne: algoritmer og datastrukturer, kompleksitet og algoritmeanalyse, semantik, analyse og verifikation, kryptografi, datasikkerhed og kvanteinformatik, programmering, programmeringssprog og ‑omgivelser, software arkitektur, modelleringssprog, distribuerede systemer, datanetværk og protokoller, eksperimentel systemudvikling, pervasive computing, systembeskrivelse/scenarie‑teknikker, brugermedvirken i systemudvikling, edb‑støtte til samarbejde, menneske‑maskine interaktion, hypermedier, augmented reality, parallelalgoritmer, neurale netværk, evolutionary computing, robotter samt numerisk løsning af sædvanlige og partielle differentialligninger.

Instituttets medarbejdere har i 2005 deltaget i følgende forskningsaktiviteter:

ABC ‑ Activity‑Based Computing

Ansvarlig: Jakob Bardram

Deltagere: Henrik Bærbak Christensen

Eksterne partnere: Medical Insight A/S, Horsens SygehusFinansiering: NABIIT, forskningsstyrelsen

Mål: Dette projekt søger at udvikle en basal software arkitektur samt brugergrænseflade for pervasive computing baseret på begrebet 'Activity‑Based Computing' (ABC). Dagens computerteknologi er primært designet til personlig, stationær brug af homogene enheder og er ofte applikationsorienterede. ABC søger at støtte et mere sammenhængende arbejde med mange applikationer i et mobilt samarbejde gennem brug af heterogene og indlejrede computerenheder, der tilpasser sig brugerens arbejdskontekst. Sådanne arbejdsformer er specielt gældende indenfor klinisk arbejde på hospitaler.Web: www.activity‑based‑computing.org

Algoritmer for store dataset: Teori og praksis

Ansvarlig: Lars Arge

Finansiering: Statens Naturvidenskabelige Forskningsråd (Ole Rømer Stipendium)

Mål: I dette projekt udarbejdes fundamentale algoritmer og datastrukturer der effektivt udnytter moderne hierarkisk hukommelse. Der fokuseres specielt på massive datasæt (større end den interne hukommelse), hvor flytning af data mellem ekstern og intern hukommelse ("I/O") ofte er effektivitetsbestemmende, og på problemer der forekommer i systemer for manipulation af geografisk baserede data. Der lægges vægt på både udvikling af teoretisk effektive algoritmer og datastrukturer og på praktisk implementationsarbejde. To hoveddelprojekter omhandler hhv datastrukturer for geometriske objekter og algoritmer for analyse af terraindata.

Web: www.daimi.au.dk/~large

APPSEM‑II: Arbejdsgruppe om Anvendt Semantik

Ansvarlige : Olivier Danvy, Ulrich Kohlenbach, Mogens Nielsen, Peter D. Mosses, Michael Schwartzbach

Eksterne partnere: Imperial College, Institute of Cybernetics in Tallinn, Aalborg Universitet, University of Bath, University of Birmingham, University of Bonn, University of Cambridge, Chalmers University, Københavns Universitet, IT Universitetet, Danmarks Tekniske Universitet, University of Darmstadt, Ecole Normale Superieure Paris, University of Edinburgh, University of Freiburg, University of Genova, INRIA, Ecole Polytechnique Federale de Lausanne, University of Leicester, University of Lisbon, University of Minho, University of Munich, University of Nancy, University of Nottingham, Oxford University, University of Paris VII, University of Pisa, QMW London University, University of Sussex, University of Utrecht. Microsoft, Ericsson, Carlstedt, Prolog Development.

Finansiering: EU (5. rammeprogram, Tematisk Netværk, Kontrakt nummer IST‑2001‑38957)

Mål: Målet for dette projekt er at samle ledende forskere inden for både semantik af beregning og implementation af programmeringssprog, med det specifikke mål at forbedre kommunikationen mellem teoretikere og praktikere.  Et mål er at fokusere teoretikeres opmærksomhed på vigtige praktiske problemer samt at øge hastigheden med hvilken nye teoretiske ideer bliver anvendt i praksis.

Web: www.appsem.org

BiRC: Center for Bioinformatik

Ansvarlige: Erik Meineche Schmidt og Christian Nørgaard Storm Pedersen.

Finansiering: Aarhus Universitets Forskningsfond.

Mål: Center for Bioinformatik fokuserer på udvikling og anvendelse af bioinformatiske værktøjer til indsamling, håndtering og analyse af biologiske data. Dette omfatter modellering af biologiske systemer, konstruktion af algoritmer, implementation af programmer, samt eksperimenter med de udviklede værktøjer. Arbejdet kræver ekspertise inden for en række traditionelle discipliner, herunder biologi, molekylær biologi, statistik og datalogi.

Web: www.birc.dk

CPN: Center for modellering og analyse af distribuerede systemer

Ansvarlige: Kurt Jensen, Søren Christensen, Lars M. Kristensen, Jens Bæk Jørgensen, Lisa Wells.

Eksterne partnere: Ericsson Telebit A/S Aarhus, Nokia Research Center i Helsingfors, George Mason University i Fairfax VA, DSTO Australien.

Finansiering: Ericsson Telebit A/S Aarhus, Nokia Research Center i Helsingfors, George Mason University i Fairfax VA, DSTO Australien.

Mål: Centret beskæftiger sig med anvendelsen af Farvede Petri Net (på engelsk CPN) til modellering og analyse af distribuerede systemer, herunder specielt:

‑ Design og analyse af kommunikationsprotokoller

‑ Analyse af systemers effektivitet

‑ Design og udvikling af edb‑værktøjer, algoritmer og teknikker til støtte af ovenstående

Web: www.daimi.au.dk/CPnets/

ECRYPT

Ansvarlige: Ivan Damgård og Jesper Buus Nielsen

Eksterne partnere: Katholieke Universiteit Leuven, Belgien, Ecole Normale Supériure, Frankrig, Ruhr‑Universität Bochum, Tyskland, Royal Holloway, University of London, UK, Università degli Studi di Salerno, Italien, INRIA, Frankrig, University of Bristol, UK, Gemplus, Frankrig, France Telecom R&D, Frankrig, IBM Research GmbH, Schweiz, Technische Universiteit Eindhoven, Holland, Université Catholique de Louvain, Belgien, Universität Duisburg‑Essen, Tyskland, Danmarks Tekniske Universitet, University of Bergen, Norge, Lund University, Sverige, Institute for Applied Information Processing and Communications, Østrig, Institute of Mathematics of the Polish Academy of Sciences, Polen, Cryptolog International SAS, Frankrig, Vodafone Group Services Ltd, UK, Ericsson AB, Sverige, Axalto SA, Frankrig, Master Card Europe sprl, Belgien, EDIZIONE GmbH Electronic Business Communications and Security, Tyskland, Frauenhofer Gesellschaft zur Förderung der angewandten Forschung e.V., Tyskland, Otto‑von‑Guericke University Magdeburg, Tyskland, Centre National de la Recherche Scientifique, Frankrig, University of Vigo, Spanien, National Inter‑University Consortium for Telecommunications, Italien, University of Geneva, Schweiz, Aristotle University of Thessaloniki, Grækenland.

Finansiering: EU

Mål: ECRYPT er et 'network of excellence', som har til formål at fremme europæisk grundforskning af anvendt forskning i kryptologi.

Web: www.ecrypt.au.org

eu‑DOMAIN ‑ enabling users for Distance‑working & Organizational Mobility using Ambient Intelligence service Networks.

Ansvarlige: Klaus Marius Hansen, Jakob Pagter

Eksterne partnere: C International Ltd., England, Innova S.p.A., Italien, In‑Jet ApS, Danmark, Foundation for Research and Technology ‑ Hellas (FORTH), Grækenland, CNet Svenska AB, Sverige, T‑connect s.r.l., Italien, Software AG Belgium, Belgien, Telefonica I+D, Spanien, Grundfos Management A/S, Danmark, Eastern Birmingham Primary Care Trust, England.

Finansiering: EU

Mål: Projektets mål er at udforske og udvikle software‑arkitekturer og sikkerhedsprincipper, der understøtter integration af enheder og eksterne services i en ambient intelligence‑platform. Platformen skal understøtte fjernarbejde og organisatorisk mobilitet i ambient intelligence‑service‑netværk.

Web: www.eu&

FICS, fundamenter i kryptografi og datasikkerhed

Ansvarlige: Ivan B. Damgård, Louis Salvail, Ronald Cramer

Eksterne partnere: Danmarks Tekniske Universitet

Finansiering: SNF

Mål: At bedrive grundforskning inden for områderne: basale metoder til kryptering og autentificering, kryptologiske protokoller, og metoder til opnåelse af ubetinget sikkerhed.

Web: fics.mat.dtu.dk

ISIS Katrinebjerg

Kompetencecenter for

‑ Interaktive rum

‑ Sundheds It og

‑ Software

Ansvarlige: Ole Lehrmann Madsen, Kaj Grønbæk, Jakob Bardram, Klaus Marius Hansen, Henrik Bærbak Christensen, Morten Kyng, Søren Christensen, Mads Torgersen, Ulrik Pagh Schultz, Marianne Graves Petersen, Christina Brodersen, Niels Olof Bouvin.

Eksterne partnere: Alexandra Instituttet A/S er operatør på projektet. Herudover deltager Arkitektskolen i Århus, Bang & Olufsen, Danfoss Drives, Goalref A/S, Systematic Software Engineering, LEGO Company, LIWAS A/S, TDC, Sun Microsystems,  Søren Jensen Rådgivende Ingeniører, ToolTribe, Arkitema Arkitekttegnestue, Claus Bjarrum Arkitekter, Dansk Data Display, TiHi Media, In‑Jet ApS, OOVM A/S, Hovedstadens Sygehusfællesskab, Innovation Lab, Falck, IBM Danmark, B&O Medicom, Dantek A/S, Kirk Telecom A/S, Bioinformatics ApS, Experimentarium, Medical Insight.

Finansiering: Ministeriet for Videnskab, Teknologi og Udvikling, Århus Amt, Århus Kommune og de deltagende virksomheder.

Mål: Det overordnede formål med ISIS Katrinebjerg er at medvirke til en effektiv og innovativ kompetenceopbygning mellem offentlige forskere og private virksomheder. Det faglige fokus for projektet er pervasive computing inden for områderne:

‑Interaktive bygninger, rum og byrum, hvor der arbejdes med integration af it i de fysiske omgivelser, herunder augmented reality, ubiquitous hypermedia og context‑awareness. Der fokuseres på anvendelsesområder inden for skoler, biblioteker, det private hjem mm.

‑ Pervasive healthcare, dvs. sundhedsydelser leveret vha. pervasive computing med speciel fokus på softwarearkitektur, edb‑støttet samarbejde samt menneske‑maskin interaktion i fremtidens hospitaler samt til egen‑behandling af patienter i eget hjem.

‑ Softwareudvikling, herunder bl.a. objekt‑orienteret programmering, softwarearkitektur, distribuerede systemer, indlejrede systemer, og sikkerhedskritiske systemer.

Web: www.isis.alexandra.dk, www.interactivespaces.net, www.pervasivehealthcare.dk, www.ooss.dk

New Ways of Working

Ansvarlige: Susanne Bødker og Eva Bjerrum.

Ekstern partner: Alexandra Instituttet.

Mål: Med udgangspunkt i Alexandra Instituttets Center for New Ways of Working deltager instituttets medarbejdere i forskning vedrørende samspillet mellem arbejdsteknologi, ‑ organisation og arbejdets fysiske rum. Arbejdet er drevet af empiriske studier i diverse videns‑organisationer. I det forløbne år har vi bl.a. foretaget fortsatte feltstudier i en vidensvirksomhed, og som en del af det nordiske projekt DEKAR, som fokuserer på den nordiske vidensarbejdsplads. Centrets forskningsfokus er på Computer‑supported cooperative work, awareness teknologi, menneske‑maskin interaktion og på repræsentationer og dokumenthåndtering, især samspillet mellem fysiske og digitale repræsentationer.

PalCom ‑ Palpable Computing ‑ Et nyt perspektiv på it i alt

Ansvarlige: Morten Kyng, Preben Mogensen, Margit Kristensen, Ole L. Madsen, Peter Andersen, Klaus Marius Hansen, Jakob Bardram, Erik Ernst, Henrik B. Christensen, Susanne Bødker.

Eksterne partnere: Alexandra Instituttet A/S, Arkitektskolen i Aarhus, OOVM A/S, Lunds Universitet, Malmø Højskole, Malmø Hospital, Lancaster Universitet, Kings College London, landskabsarkitektfirmaerne EDAW og Lovejoy, Universitetet i Siena, Rehabiliterings centeret på Hospitalet i Siena, Siemens i München, Det Tekniske Universitet i Lausanne, Whitestein Technologies i Schweiz.

Finansiering: EU's 6. rammeprogram.

Mål: Projektet udvikler et nyt perspektiv på it i alt kaldet 'palpable computing'. 'Palpable' henviser til at it‑systemer kan opfattes, forstås og kontrolleres af de der anvender dem. I projektet udvikles en åben systemarkitektur for 'palpable computing' samt et begrebsapparat for at arbejde med sådanne systemer.

Web: www.ist&

SCET, Secure Computing, Economy and Trust

Ansvarlige: Ivan Damgård og Jakob Pagter

Eksterne partnere: KVL, København

Finansiering: Forskningsstyrelsens IT program

Mål: SCET har til formål at udvikle effektive protokoller til sikker afvikling af auktioner og relaterede økonomiske mekanismer, samt at udvikle en fungerende prototype.

Web: sikkerhed.alexandra.dk/projekter/scet.htm

SECURE ‑ Sikre rammer for samarbejde mellem allestedsbevægelige enheder

Ansvarlige: Mogens Nielsen og Ivan B. Damgård

Eksterne partnere: Universiteterne i Cambridge (England), Geneve (Schweiz), Strathclyde (Skotland) og Trinity College Dublin (Irland).

Finansiering: EUs program inden for fremtidige og opdukkende teknologier.

Mål: I projektet undersøges, hvorledes dynamiske og selvkonfigurerende sikkerhedsmekanismer kan designes, så de egner sig til global IT der baserer sig på menneskelige principper for tillid.

Web: www.brics.dk/SECURE.

UUID ‑ Ubiquitous User Interface Design ‑ a theory‑driven approach to ubiquitous user interfaces and their design

Ansvarlige: Susanne Bødker, Christina Brodersen

Eksterne partnere: ingen

Finansiering: Statens Teknisk‑Videnskabelige Forskningsråd

Mål: Projektet arbejder på at udvikle en teoriramme for allestedsnærværende brugergrænseflader, baseret på de seneste teoretiske og teknologiske muligheder. Gennem en systematisk analyse af mange af de nyeste brugergrænseflader bygget i IT‑byen, udvikler vi et design‑paradigme og teoriapparat for allestedsnærværende brugergrænseflader.

Web: www.daimi.au.dk/uuid.