Projekthaver Akronym Projekt Projektbeskrivelse Administrator
Anders Møller IBMFA07 494516 IBMFA07, IBM Faculty Award 2007 Anja Krag Svennesen
Anders Møller LAWP 494916 LAWP, Languages and Analyses for Web Programming Anja Krag Svennesen
Bjarke Hammersholt Roune EFR08 498254 EFR08, Eliteforsk-rejsestipendie 2008 Ellen Kjemtrup Lindstrøm
Bjørk Hammer DI, HYMOS 498250 DI, HYMOS Ellen Kjemtrup Lindstrøm
Erik Ernst Family 493428 Family, Compilation of Family Polymorphism and Dynamic Interitance Kirsten Boddum
Erik Meineche Schmidt DI, 42 samfinansierede stipendier NAT 2007 150034 DI, 42 samfinansierede stipendier NAT 2007 Anja Krag Svennesen
Frank Allan Hansen URBANWEB 494433 URBANWEB, A Mobile Social Context-Aware Web Infrastruture Kirsten Boddum
Ivan Bjerre Damgård BITS 494508 BITS, Tværgående aktiviteter vedrørende forskningsprogrammet om Borgernes IT-sikkerhed Anja Krag Svennesen
Ivan Bjerre Damgård BRICS08K 150323 BRICS08K Anja Krag Svennesen
Ivan Bjerre Damgård BRICS09S 150376 BRICS09S Anja Krag Svennesen
Ivan Bjerre Damgård CACE 425070 CACE, Computer Aided Cryptographic Engineering Anja Krag Svennesen
Ivan Bjerre Damgård DI, MOBISEQ 498208 DI, MOBISEQ Anja Krag Svennesen
Ivan Bjerre Damgård ECRYPT 425823 ECRYPT, European Network of Excellence in Cryptology Anja Krag Svennesen
Ivan Bjerre Damgård ITSCI 493808 ITSCI, IT Security for Citizens Anja Krag Svennesen
Ivan Bjerre Damgård SECOQC 420010 SECOQC, Development of a Global Network for Secure Communication based on Quantum Cryptography Ellen Kjemtrup Lindstrøm
Ivan Bjerre Damgård SIMAP 492408 SIMAP, Secure Information Management and Processing Anja Krag Svennesen
Jan Midtgaard ASCFAI 435677 A Systematic Approach to Control-Flow Analysis by Abstract Interpretation Ellen Kjemtrup Lindstrøm
Jens Stougaard Jensen DI, DPSO 498132 DI, DPSO Henning G. Jensen
Jeppe Rørbæk Brønsted Dit hus 426106 Dit hus Ellen Kjemtrup Lindstrøm
Jeppe Rørbæk Brønsted Home Port 495718 Home Port, sameksistens af trådløse teknologier til styring og overvågning af energi Henning G. Jensen
Jesper Buus Nielsen MOSIF 493660 MOSIF, Modeller og teknikker for sikre flerpartsberegning Ellen Kjemtrup Lindstrøm
Jesper Buus Nielsen MOSIF, CACE-Mf 490015 MOSIF, CACE-Mf Ellen Kjemtrup Lindstrøm
Kaj Georg Grønbæk Galileo 495295 Galileo -A Platform for  Galileo based pervasive positioning Henning G. Jensen
Kaj Georg Grønbæk iSPORT 494930 iSPORT, Interaktivitet til sportsomgivelser Henning G. Jensen
Kaj Georg Grønbæk MHC 494864 MHC, Mobile Home Center Henning G. Jensen
Klaus Marius Hansen D-ARTEMIS 494953 D-ARTEMIS, Network Stimulation of Danish Participation in ARTEMIS and FP7 Anja Krag Svennesen
Klaus Marius Hansen eu-DOMAIN 421330 eu-DOMAIN, Enabling Users - for Distance-Working and Organizational Mobility using Ambient Intelligence Service Networks Ellen Kjemtrup Lindstrøm
Klaus Marius Hansen HYDRA 423427 HYDRA, Networked Embedded System Middleware for Heterogeneous Physical Devices in a Distributed Architecture Anja Krag Svennesen
Klaus Marius Hansen SA@Work 494963 SA@Work, Software Architecture @ Work Henning G. Jensen
Klaus Ostermann ScalPL 425834 ScalPL, A Scalable Programming Language Ellen Kjemtrup Lindstrøm
Kristoffer Arnsfelt Hansen BoolCirc 494931 BoolCirc, Computational Complexity Theory, Boolean Functions and Circuits Ellen Kjemtrup Lindstrøm
Lars Allan Arge APMD 415918 APMD, Algorithms for Processing Massive Datasets: Theory and Pratice Ellen Kjemtrup Lindstrøm
Lars Allan Arge MADALGO 430008 MADALGO, Centre for Massive Data Algorithmics Ellen Kjemtrup Lindstrøm
Lars Allan Arge Terrain 493261 Terrain, Efficient Handling of Massive Heterogeneous Terrain Data Ellen Kjemtrup Lindstrøm
Lars Michael Kristensen ASCoVeCo 493423 ASCoVeCo, Advanced State Space Methods and Computer Tools for Verification of Communication Protocols Henning G. Jensen
Lars Michael Kristensen Sensobyg 494191 Sensobyg, Sensobyg Henning G. Jensen
Lars Michael Kristensen UE06 494175 UE06, Ung Eliteforskerpris 2006, AsCoVeCo Henning G. Jensen
Louis Salvail QUSEP 492483 QUSEP, Quantum Protocols for Secure Computation in Practice Ellen Kjemtrup Lindstrøm
Marianne Graves Petersen EvySpec 493253 EvySpec, Everyday Special: Supporting Playful Experiences in Everyday Life at Home Henning G. Jensen
Marianne Graves Petersen FI 435793 FI, kvindelig betjeningsdesign for avancerede elektroniske produkter Henning G. Jensen
Michael Bang Nielsen FSIM 493799 FSIM, Controlling High Resolution Fluid Simulations Kirsten Boddum
Michael Ignatieff Schwartzbach FOMO 493803 FOMO, Formal Models for Computing Systems Ellen Kjemtrup Lindstrøm
Michael Ignatieff Schwartzbach Google 2007 495252 Google Research Award, 50 K $ Ellen Kjemtrup Lindstrøm
Mogens Nielsen BRICS06K 150272 BRICS06K Anja Krag Svennesen
Mogens Nielsen BRICS06S 150263 BRICS06S Anja Krag Svennesen
Mogens Nielsen DI, BRICS2 150043 DI, BRICS2 Anja Krag Svennesen
Mogens Nielsen Induga 493417 Induga, Algorithmic and Combinatorial Theory of Infinite Duration Games Ellen Kjemtrup Lindstrøm
Mogens Nielsen KASAM 493431 KASAM, Katrinebjerg samfinansieringsstipendier Anja Krag Svennesen
Morten Kyng Caretech Innovation 435799 Caretech Innovation Anja Krag Svennesen
Morten Kyng IK-BDSI 495129 IK-BDSI, Innovationskonsotiet: Brugerdreven sundhedsinnovation Anja Krag Svennesen
Morten Kyng PalCom 425773 PalCom, Palpable Computing: A New Perspective on Ambient Computing Kirsten Boddum
Niels Olof Bouvin Locusts 493420 Locusts, Dynamically Adaptive Pervasive Computing through Cyber Foraging Kirsten Boddum
Olav Wedege Bertelsen FFNVIT 591311 FFNVIT, Flerfagligt neværk inden for IT Maibritt Bodin Bodin
Ole Lehrmann Madsen BETA-net 414326 BETA-net, Porting Beta to .net Henning G. Jensen
Ole Lehrmann Madsen ISIS-EMV 416059 ISIS-EMV, Ekstern medfinansiering fra virksomheder Henning G. Jensen
Peter Bro Miltersen CAGT 494359 CAGT, Centre for Algorithmic Game Theory Ellen Kjemtrup Lindstrøm
Peter Bro Miltersen CoMa 495043 CoMa, Computational Mathematics Ellen Kjemtrup Lindstrøm
Peter Bro Miltersen VG-GFO 495417 VG-GFO, Vladimir Gurvich gæsteforskerophold Ellen Kjemtrup Lindstrøm
Preben Holst Mogensen @aGlance Skanderborg 495647 Skanderborg, Danmarks smukkeste festival system. Henning G. Jensen
Preben Holst Mogensen Tower 495648 Tower, Visual Interaction in Wind-turbine Repair (VIWR) Henning G. Jensen
Susanne Bødker CONVIVIO 424715 CONVIVIO, The Network for People-Centred Design of Interactive Systems Kirsten Boddum
Susanne Bødker eGov+ 495109 eGov+, Exploring Design and Use of Transparent and Tailorable IT in Local Government, beyond Web 2.0 Kirsten Boddum
Søren Poulsen ALSIDENT SYSTEM A/S 220154 Udvikling af softwarebaseret visualiseringsværktøj til synliggørelse af digitale produktinformationer Kirsten Boddum
Søren Poulsen Kloge m2 522007 Kloge m2 Pulje Maibritt Bodin Bodin
Søren Poulsen MARIMATECH 220153 E-sea Guide iPhone Kirsten Boddum