VR project applications 2012 from the CSE department

See VR2013 for newer information.

Granted projects 2012

The VR decisions were published 2012-11-01 for NT and for HumSam

Main applicant		Type	Project	2012	2013	2014	2015	2016
Ahrendt	Wolfgang	Project	StaRVOOrS: Unified static and runtime verification of object-oriented software		850	850	850
Angelov	Krasimir	Junior	General framework for multilingual text processing		880	880	880	880
Coquand	Thierry	Framework	Types for proofs and programs		3000	3000	3000	3000
Ranta	Aarne	Framework	Pålitlig flerspråklig digital kommunikation: metoder och tillämpningar	2500	4441	4441	4441	1941
Stenström	Per	Project	A framework for fine-grain resource management in heterogeneous parallel architectures.	1037	1071	1144	1219	1260

The CSE department is also part of another grant with PI Lars Borin (Dept. of Linguistics @GU) and co-applicant Devdatt Dubhashi (DoIT): "Towards a Knowledge-based Culturomics".

Submitted applications 2012-04-12

Main applicant		Type	Project	2013	2014	2015	2016	2017
Ranta	Aarne	Project	Declarative models for hybrid machine translation	824	1576	1245	1206	x
Angelov	Krasimir	Junior	General framework for multilingual text processing	910	936	978	875	x
Cederman	Daniel	Junior	Parallelization aspects of natural language processing	1340	1359	1400	1442	1486
Coquand	Thierry	Framework	Types for proofs and programs	3955	4071	4311	4562	x
Dybjer	Peter	Project	Types for proofs and programs	2223	2296	2368	2444	2522
Danielsson	Nils Anders	Junior	Practical nested induction and coinduction	696	694	1238	1311	1422
Damaschke	Peter	Framework	Smart algorithms for big data: Exploiting parallelism for mining networks	4822	4961	4905	4954	x
Hughes	John	Framework	Parallel functional programming	3752	5645	4927	4525	x
Lindström Claessen	Koen	Project	Inductive testing ‐ applying induction proof techniques for more effective property-based testing	788	792	817	x	x
Axelsson	Emil	Junior	Domain‐specific language implementation made easy	947	962	1008	1025	x
Bernardy	Jean-Philippe	Junior	Algebra of parallel programming	888	953	983	1015	x
Johansson	Moa	Junior	Automatic discovery and proof of program properties	919	950	1264	1293	1347
Svenningsson	Josef	Junior	Semantically flexible compilation	948	979	995	1027	1090
Wang	Meng	Junior	A semantic approach to bidirectional programming	941	961	991	1023	x
Ahrendt	Wolfgang	Project	StaRVOOrS: Unified static and runtime verification of object‐oriented software	1038	1071	1143	1214	1295
Schneider	Gerardo	Project	SAMECO: Specification, analysis and monitoring of electronics contracts	956	948	1031	1096	x
Tichy	Matthias	Junior	ENSURE: Ensureance of Software evolUtion by Run-time cErtification	948	920	988	1058	1115
Almgren	Magnus	Junior	Development of attack detection methods with privacy-preserving properties for large systems	1070	1118	1137	1193	1300
Själander	Magnus	Junior	Using explicit data management for energy efficient memory accesses	1008	997	1048	1059	1092
Landsiedel	Olaf	Junior	Scalable, reliable, and real-time capable communication in cyber-physical systems.	980	1017	1048	1080	1098
Sourdis	Ioannis	Junior	ScalaNet: next-generation scalable network-processing	961	882	983	1033	1072
Larsson-Edefors	Per	Project	SAREC: Subkernal acceleration for reduced energy computing	828	853	901	926	954
Stenström	Per	Project	A framework for fine-grain resource management in heterogeneous parallel architectures.	1037	1071	1144	1219	1260

Resources:

Information om bedömningskriterier
VR instructions for Young Researchers (PhD 2005 or later)
VR instructions for "regular" (individual) grants
VR instructions for Framework grants
In 2011, the granted "Proj. Young" were between 800kkr and 1300kkr per year and the average granted "Proj." was around 800kkr.
Lists of projects granted the last few years: VR2011, VR2010, VR2009 and VR2008)
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 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.