Research /
VR project applications 2014 from the CSE department
Notification date + link:
- 2014-11-03: Stora utlysningen
- 2014-11-04: Framstående unga forskare
Earlier years: VR2013, VR2012, VR2011, VR2010, VR2009, VR2008
Granted projects (prel. 2014-11-04)
| Div. | Univ | VR-kod | Sökande | Förnamn | Typ | Projekt titel | VR-del | 2014 | 2015 | 2016 | 2017 | 2018 | 2019 | Total |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CE | Chalmers | 2014-4559 | Assarsson | Ulf | Framstående yngre forskare | Fotorealistisk rendering för realtid | NT | 3000kkr | 3000kkr | 3000kkr | 3000kkr | 3000kkr | 3000kkr | 18000kkr |
| ST | Chalmers | 2014-6222 | Sands | David | Rambidrag | AppFlow: Putting Information Flow Control to Work | NT | 3000kkr | 3000kkr | 3000kkr | 3000kkr | 12000kkr | ||
| CE | Chalmers | 2014-6221 | Stenström | Per | Rambidrag | ACE: Approximate Algorithms and Computing Systems | NT | 2250kkr | 2250kkr | 2250kkr | 2250kkr | 9000kkr | ||
| ST | Chalmers | 2014-4833 | Sabelfeld | Andrei | Projektbidrag | DecentLP: Robust decentralized location privacy | NT | 960kkr | 960kkr | 960kkr | 960kkr | 3840kkr | ||
| ST | Chalmers | 2014-4849 | Johansson | Moa | Projektbidrag - Unga forskare | Learning and Exploration in Automated Theorem Proving | NT | 910kkr | 910kkr | 910kkr | 910kkr | 3640kkr | ||
| NS | Chalmers | 2014-4829 | Landsiedel | Olaf | Projektbidrag - Unga forskare | ChaosNet: Distributed Computing for Low-Power Wireless Networks | NT | 910kkr | 910kkr | 910kkr | 910kkr | 3640kkr | ||
| NS | Chalmers | 2014-4845 | Mitrokotsa | Aikaterini | Projektbidrag - Unga forskare | PRECIS: Privacy and security in wearable computing devices | NT | 910kkr | 910kkr | 910kkr | 910kkr | 3640kkr | ||
| CS | GU | 2014-4864 | Abel | Andreas | Projektbidrag | Termination Certificates for Dependently-Typed Programs and Proofs via Refinement Types | NT | 900kkr | 900kkr | 900kkr | 900kkr | 3600kkr | ||
| CS | GU | 2014-4788 | Ljunglöf | Peter | Projektbidrag | MUSTE: Multimodal semantic text editing | NT | 900kkr | 900kkr | 900kkr | 900kkr | 3600kkr |
Applications submitted 2014-04-09 (subset)
| Div. | Univ | Sökande | Förnamn | Typ | Projekt titel | 2015 | 2016 | 2017 | 2018 | 2019 | Comment |
|---|---|---|---|---|---|---|---|---|---|---|---|
| ST/CS + (Svenska@GU) | GU | Schneider, Sands / Dubhashi + L.Borin, R.Johansson | Gerardo | Frame | Foundations, Algorithms and Analysis of Privacy-Preserving Contractual Agreements | X | X | X | X | Prel. title | |
| SE | Chalmers | Crnkovic, Bosch, Chaudron, Peliccione, Tichy | Ivica | Frame | CONCISE: Controlled Continuous Software Engineering | X | X | X | X | ||
| ST | Chalmers | Sands, Andrei, Russo, etc. | Frame | AppFlow: Putting Information Flow Security to Work | |||||||
| CS | GU | Abel | Andreas | PRG | Termination Certificates for Dependently-Typed Programs and Proofs via Refinement Types | ||||||
| ST | GU | Schneider | Gerardo | PRG | Formal Analysis and Monitoring of Terms of Service | Prel. title | |||||
| ST | Chalmers | Jansson | Patrik | PRG | Libraries You Can Trust: high-level specifications and correct implementations via dependent types | 1059 | 1072 | 1121 | 1142 | 1229 | with JPB and CeIo |
| ST | Chalmers | Sabelfeld | Andrei | PRG | DecentLP: Robust decentralized location privacy | 1107 | 1121 | 1173 | 1197 | 1288 | 20% AnSa, 5% KaMi, 80% PhD student |
| NS | Chalmers | Mitrokotsa | Aikaterini | Junior | PRECIS: Privacy and Security in Wearable Computing Devices | ||||||
| ST | Chalmers | Bernardy | Jean-Philippe | Junior | Linear Types for Parallel Arrays | 20% JPB, 10% Josef, 80% PhD student | |||||
| ST | Chalmers | Svenningsson | Josef | Junior | DEAR: Deriving an Efficient Array Representation | 1111 | 1125 | 1176 | 1200 | 1289 | 20% Josef, 10% JPB, 80% PhD student |
| ST | Chalmers | Wang | Meng | Junior | Source-Level Tool Support for Free | ||||||
| ST | Chalmers | Broberg | Niklas | Junior | |||||||
| ST | Chalmers | Johansson | Moa | Junior | Learning and Exploration in Automated Theorem Proving | 736 | 967 | 1000 | 1031 | 258 | 80% Moa |
| ST | Chalmers | Claessen | Koen | Dist | |||||||
| ST | Chalmers | Kovacs | Laura | Dist | AutoPATS: Automatic Program Analysis using Theorem Proving and Symbolic Computation |
Types:
- Frame = Framework Grant for Strategic Research in Information and Communication Technology
- 2-5M SEK/y for 4 years
- PRG = Project Research Grant
- Junior = Project Research Grant for Junior Researcher (PhD between 2007 and 2011)
- Dist = Grants for Distinguished Young Researchers (PhD between 2002 and 2007. Max 19 grants in total for all scientific areas.)
Resources:
- CSE department procedure and budget sheets
- Last year the projects granted at CSE were either 840kSEK/year or 960kSEK/year for four years
- CSE department VR Workshop
- Lists of CSE dept. projects granted the last few years: VR2013, VR2012, VR2011, VR2010, VR2009 and VR2008
- The Computer Science panel chair (2011-2013) explains the evaluation process