FORBRUG 2005
| Indholdsfortegnelse Instituttets | |
Datalogisk Institut
| Almindelig virksomhed: | 27.140.751 |
| Eksterne midler: | 29.736.397 |
| Heraf statslige forskningstilskud |
|
| It-Vest: Model-baseret Design af Parallelle Systemer (Claus Brabrand) | 17.542 |
| Statens Naturvidensk. Forskningsråd (FNU): Algoritmer til rekonstruktion og analyse af fylogenetiske træer og netværk. (DAIMI og BiRC) Christian Storm Petersen, Lektor - Gerth Stølting Brodal, lektor - Thomas Mailund, Adjunkt (Christian Nørgaard Storm Pedersen) | 128.272 |
| Ministeriet for videnskab teknologi og udvikling: Forprojekt til "interaktive Rum - et element i fremtidens museum" under IT- korridoren (Kaj Georg Grønbæk) | 93.044 |
| Ministeriet for videnskab teknologi og udvikling: Ministeriet for videnskab, teknologi og udvikling/Handels og ingeniørhøjskolen i Herning: IT- Korridoren: Telemedicinsk blodtryksmåling versus konventionel blodtryksmåling med fokus på udvikling af medicinteknologiske specialiseringer. (Jakob Eyvind Bardram) | 26.309 |
| It-Vest: Ph.D. stipendie - Morten L. Nielsen (Michael Edelgaard Caspersen) | 502.057 |
| Statens Naturvidensk. Forskningsråd (FNU): Algorithms for Processing Massive Datasets: Theory and Pratice. (Lars Allan Arge) | 1.318.794 |
| Statens Naturvidensk. Forskningsråd (FNU): A Programming-Language Approach to Interacting with Resource-Sensitive Systems Safely and Perspicuously. (Olivier Danvy) | 28.991 |
| Statens Naturvidensk. Forskningsråd (FNU): Static Guarantees in Dynamic Web Services (Michael Ignatieff Schwartzbach) | 42.691 |
| Statens Naturvidensk. Forskningsråd (FNU): Computational complesity (Peter Bro Miltersen) | 76.878 |
| Forskningsstyrelsen: Activity -Based Computing - A software Architecture for Persasive Computing (Jakob Eyvind Bardram) | 1.163.490 |
| Statens Naturvidensk. Forskningsråd (FNU): Graph Algorithms and Constraint Programming, Isral. (Gerth Stølting Brodal) | 254.656 |
| Statens Naturvidensk. Forskningsråd (FNU): Foundations of cryptography and security (Ivan Bjerre Damgård) | 1.441.098 |
| Statens Tekniskvidensk.Forskningsråd (FTP): Secure Computing, Economy and Trust (Ivan Bjerre Damgård) | 819.295 |
| Statens Tekniskvidensk.Forskningsråd (FTP): Ubiquitous User Interface Design - a theory-driven approach to ubiquitous user interfaces and their design. (Susanne Bødker) | 126.449 |
| Statens Naturvidensk. Forskningsråd (FNU): Formelle Metoder og Værktøjer til Udvikling af Kommunikationsprotekoller (Lars Michael Kristensen) | 352.680 |
| Forskningsstyrelsen: Development of plant sink organs: Novel genes for svience, agronomy and industrial use (Jens Stougaard Jensen) | 188.516 |
| Heraf private forskningstilskud |
|
| Alexandra Instituttet A/S: Software/Objekt-teknologi (Ole Lehrmann Madsen) | 3.169.771 |
| Alexandra Instituttet A/S: Ekstern medfinansiering fra virksomheder (Ole Lehrmann Madsen) | 151.543 |
| Aarhus Universitets Forskningsfond: Center for Pervasice Computing (Kurt Jensen) | 4.150.636 |
| Alfred Benzons Fond: RNAi and silencing of human endogeneous retroviruses (Lars Aagaard) | 332.344 |
| Microsoft Research Ltd.: Porting Beta to.net (Ole Lehrmann Madsen) | 12.242 |
| Carlsbergfondet: udvikling og validering af kommunikationsprotokoller for Mobile Ad-hoc Netværk (Lars Michael Kristensen) | 201.601 |
| Carlsbergfondet: Verifikation af softwaresystemer (Anders Møller) | 388.326 |
| Alexandra Instituttet A/S: Pervasive Healthcare (Jakob Eyvind Bardram) | 2.747.881 |
| Ericsson Telebit A/S: Design og validering af protokoller (Kurt Jensen) | 285.487 |
| Alexandra Instituttet A/S: Interaktive bygninger, rum og byrum (Kaj Georg Grønbæk) | 3.534.510 |
| Villum Kann Rasmussen Fonden: Villum Kann Rasmussen Fonden - Post-doc-stipendier (Erik Meineche Schmidt) | 298.078 |
| Systematic Software Engineering A/S: Systematic - Pervasive Computing (Erik Meineche Schmidt) | 39.263 |
| Carlsbergfondet: Cache-oblivious algoritmer og datastrukturer (ANS - 0750) (Gerth Stølting Brodal) | 24.049 |
| Heraf andre forskningstilskud |
|
| EU generelt: European Network of Excellence in Cryptology. (Ivan Bjerre Damgård) | 353.842 |
| EU generelt: Protocols for Secure Computations (Ivan Bjerre Damgård) | 738.252 |
| EU generelt: Applied semantics II (Olivier Danvy) | 37.901 |
| EU generelt: 6th Framework Programme - Priority 2 ''Information Society Technologies'': Call identifier: FP6/2002IST/1. Proposal No. 002057 (PALCOM)-''Palable Computing - A new perspective on Ambient Computing (Morten Kyng) | 4.745.265 |
| EU generelt: CONVIVIO - The network for People-Centred Design of Interactive Systems (Susanne Bødker) | 2.804 |
| EU generelt: Specific Targeted Research Projekt: Beacon. 6th framework Programme - Priority 8, Proposal NO FP6-006520 (Preben Holst Mogensen) | 401.240 |
| EU generelt: Secure Environments for Collaboration among Ubiquitous Roamong Entities (Mogens Nielsen) | 141.435 |
| Deptartment of Defence, South Australia: State Space Analysis in Operational Planning (Kurt Jensen) | 29.544 |
| EU generelt: EU: 6th Framework programme - Priotity 2 "Information Society Technologies" Call Identifier; FP6-2003-IST-2/Proposal No. 004420, EU Domain Contract Number 004420.Integration and strengthening the ERA. Specific Research Project. Ph.D.stud Michael Øste (Klaus Marius Hansen) | 1.083.176 |
| EU / Erasmus: Euaropean Thematic Network for Doctoral Education in Computing (Socrates programme, ERASMUS Thematic Network project (Mogens Nielsen) | 196 |
| EU generelt: Development of a Global Network for Secure Communication based on Quantum Cryptography (Ivan Bjerre Damgård) | 472.330 |




