Research /
VR project applications 2016 from the CSE department
Earlier years: VR2015, VR2014, VR2013, VR2012, VR2011, VR2010, VR2009, VR2008
Calls:
- (New) Consolidator grant (konsolideringsbidrag): 7-12y after PhD. Fixed amount: 2M SEK/y * 6 years. Just 20 in all sciences. Early deadline: 2016-03-08. English, Svenska
- (~new) Starting grant (etableringsbidrag): 2-7y after PhD. English, Svenska
- Project grant (projektbidrag): English, Svenska
Applications in submission 2016
| Efternamn | Namn | GU/CTH | Div | VR-kod | Projekt Titel | Bidragsform | 360 Ärende nr | Belopp 2017 | Belopp 2018 | Belopp 2019 | Belopp 2020 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Ahrendt | Wolfgang | Chalmers | ST | Unified Static and Runtime Verification of Distributed Software | PRG | |||||||
| Jansson | Patrik | Chalmers | ST | Libraries You Can Trust: high-level specifications and correct implementations via dependent types | PRG | 1126 | 1745 | 1877 | 1221 | |||
| Hughes | John | Chalmers | ST | Give me an example! | PRG | |||||||
| Gerdes | Alex | Chalmers | ST | Software Fault Localization using Property-Based Testing: Generating fault location feedback for programming tutors | ||||||||
| Pałka | Michał | |||||||||||
| Mitrokotsa | Katerina |
Resources:
- CSE department procedure and budget sheets
- Last year the individual projects granted at CSE were 910-1060kSEK/year for four years
- CSE department VR Workshop
- Lists of CSE dept. projects granted the last few years: VR2015, VR2014, VR2013, VR2012, VR2011, VR2010, VR2009 and VR2008
- The Computer Science panel chair (2011-2013) explains the evaluation process