VR project applications 2013 from the CSE department

Applications granted 2013-11-04

Div.	Univ	Sökande	Typ	Projekt titel	2014	2015	2016	2017	Total
CS	GU	Danielsson, Nils Anders	Jr	Practical nested induction and coinduction	840	840	840	840	3360
ST	Chalmers	Kovacs, Laura	Jr	GenPro: Generating and proving program properties via symbol elimination	840	840	840	840	3360
ST	Chalmers	Lindström Claessen, Koen	PRG	Proof-based testing -- Using proof techniques to enable automated testing of complex algorithms	840	840	840	840	3360
ST	Chalmers	Myréen, Magnus	Jr	Systems verification - the last mile	960	960	960	960	3840

Statistics for the whole natural sciences area:

PRG: 19% granted (229 / 1218)
Jr grants: 8% granted (64 / 769)

Links:

Applications submitted 2013-04-11

Div.	Univ	Sökande	Typ	Projekt titel	2014	2015	2016	2017	2018	Comment
CE	Chalmers	Assarsson, Ulf	PRG	Realistic 3D web rendering.	1238	1247	1320	1344	1409
CE?	Chalmers	Emrich, Anders	Ind dr student	Polyphase-based signal processing system for ground and space applications					x
CE	Chalmers	Larsson Edefors, Per	PRG	SAREC: Subkernel acceleration for reduced energy computing	946	974	1020	1038	1096
CE	Chalmers	Sourdis, Ioannis	Jr	ScalaNet: Scalable network-processing	907	932	1057	1058	1141
NS	Chalmers	Landsiedel, Olaf	Jr	GreenNets: Energy efficient communication paradigms for the internet	1005	1045	1095	1156	1138
NS	Chalmers	Själander, Magnus	Jr	HEED: A holistic approach to energy-efficient data access	1015	996	1049	1065	x
CS?	Chalmers	Capannini, Gabriele	Jr	An Efficient Approach to Multi-Document Summarization of Big Data	890	921	955	x	x
CS	Chalmers	Damschke, Peter	PRG	Optical decisions in hard combinatorial problems	985	1019	1053	1090	x
CS?	Chalmers	Dimitrakakis, Christos	Jr	Optimal decisions in generalised domains	2285	2300	2411	2465	2599
CS	Chalmers	Huang, Chien-Chung	Jr	Energy-efficient algorithms	1000	1032	1077	1104	1170
CS	Chalmers	Kemp, Graham	PRG MH	Structural modelling to support deimmunization of therapeutic proteins	1090	1120	1159	x	x
CS	GU	Danielsson, Nils Anders	Jr	Practical nested induction and coinduction	698	1108	1222	1254	1399
ST	Chalmers	Jansson, Patrik	PRG	Strongly Typed Libraries for Programs and Proofs	993	1005	1049	1093	1174	20% Patrik + 80% new PhD student. JPB co-applicant.
ST	Chalmers	Johansson, Moa	Jr	Theory exploration for reasoning about programs	921	931	974	998	1072
ST	Chalmers	Kovacs, Laura	Jr	GenPro: Generating and proving program properties via symbol elimination	1062	1076	1123	1169	1229	20% Laura+ 80% new PhD student + Travel/laptop/phD exam.
ST	Chalmers	Lindström Claessen, Koen	PRG	Proof-based testing -- Using proof techniques to enable automated testing of complex algorithms	922	870	920	931	1004
ST	Chalmers	Myréen, Magnus	Jr	Systems verification - the last mile	506	961	993	1046	531
ST	Chalmers	Svenningsson, Josef	Jr	Efficient array transformations	968	981	1024	1048	1125	20% Josef + 80% PhD student
ST	Chalmers	Wang, Meng	Jr	Source-level tool support for free	1042	1057	1105	1133	1213	20% Meng + 10% Emil (co-applicant) + 80% PhD student
ST	GU	Schneider, Gerardo	PRG	Formal analysis and monitoring of contracts	875	861	922	992	1085
SE	Chalmers	Bosch, Jan	Infrastr pl grant	XL: Accelerating science with big data.	2103	2178	x	x	x
SE	GU	Berger, Christian	Jr	EXPRESSO - Exploring optimisation strategies for regression simulations	924	921	1020	1076	x
SE	GU	Berntsson Svensson, Richard	Jr	A Framework for Creativity in Agile Software Engineering - CASE	1169	1201	1304	1295	1490
SE	GU	Chaudron, Michel	PRG	Automated Prioritization of Software Design Flaws	1062	1043	1150	1208	1317
SE?	Chalmers	Heldal, Rogardt	PRG	Next generation software development through software modelling tools	1372	1397	1455	1495	1586
SE	GU	Staron, Miroslaw	PRG	Preventing architecture erosion by automated identification and prevention of implici architectural dependencies.	1122	1520	1135	x	x
SE	GU	Tichy, Matthias	Jr	CORAL - CO-evolution of architectuRAL and quality models	919	887	999	1020	1163
SE	GU	Torkar, Richard	PRG	The development and usage of structured equation modeling in software engineering research - SEMSE	1155	1177	1211	1246	x

Resources:

VR blog entry about the overall budget
Lists of CSE dept. projects granted the last few years: VR2012, VR2011, VR2010, VR2009 and VR2008
The Computer Science panel chair (2011-2013) explains the evaluation process
Official VR page
In 2011, the granted "Proj. Young" were between 800kkr and 1300kkr per year and the average granted "Proj." was around 800kkr.
Planning page for the FP group
Examples of granted project applications:
- 2011: Strongly Typed Libraries for Programs and Proofs, A functional programming approach to hardware acceleration of algorithms
- 2009:
  - Hughes: Putting Functional Programming to Work - Software Design and Verification using Domain Specific Languages
  - Sheeran: Context-aware program generation: an application of functional programming (note: this project was not funded ("lifted off") because we got the rambidrag. I am told that it would have been funded otherwise.)

Budget approximation:

The 2012 CSE.chalmers.se VR budget sheet. Last year (2011) it gave the following numbers (excluding travel, equipment)

If granted	670kkr/year	800kkr/year
Pays for	44%	52%	of a Bitr.prof
or	59%	70%	of a PostDoc
or	81%	97%	of a PhD student

Note the "or" - if you want salary for two categories you need to scale down even further. For example 800kkr is enough for 80% of a PhD student and 9% of a Bitr.prof.

The 670kkr/year and 800kkr/year are what typical projects were granted in 2010.