VR project applications 2011 from the CSE department

Applications granted by VR 2011

(se also VR2013, VR2012 for newer and VR2010, VR2009 and VR2008 for older projects.)

The nine granted VR projects autumn 2011 to the CSE department:

VR noMain applicantTypeTitleAmount 20112012201320142015Total
2011-6068Anagnostopoulos, AristidisProj.Algorithmic principles for dynamic processes and applications in social networks. 580600617 1797
2011-6112Dubhashi, DevdattProj.Algorithms for inference of temporal dynamics in networks and concentration of measure techniques for their analysis. 710700770 2180
2011-6164Jansson, PatrikProj.Strongly Typed Libraries for Programs and Proofs.800800800  2400
2011-6171Kemp, GrahamProj.Computational protein modelling supported by NMR data 800800800 2400
2011-6195McKee, SallyProj.FlexSoft: Software infrastructure to support hardware/software codesign of exposed architectures 860770770 2400
2011-6220Russo, AlejandroProj. YoungSecOpen: Securing open development platforms 8008008008003200
2011-6225Schiller, Elad MichaelProj. YoungChameleon-MAC: Autonomous, adaptive and stabilizing algorithms for media access control in mobile ad-Hoc networks. 8008008008003200
2011-6234Sheeran, MaryProj.A functional programming approach to hardware acceleration of algorithms 860770770 2400
2011-6247Tsigas, PhilippasProj.Concurrent data structures for heterogeneous parallel programming 800800800 2400
TotalAll granted  800701068405327160022377

Source: VR decision for NT 2011-10-26 (Excel sheet with all the grants)

Overview of the 16 submitted VR project applications 2011 from the CSE department:

Main applicantTypeTitleAmount 20122013201420152016
Almgren, MagnusProj. YoungDevelopment of attack detection methods with privacy‐preserving properties for large systems.992961101210241057
Anagnostopoulos, AristidisProj.Algorithmic principles for dynamic processes and applications in social networks.581599617638658
Danielsson, Nils AndersProj. YoungPractical nested induction and coinduction.73472981712711386
Dubhashi, DevdattProj.Algorithms for inference of temporal dynamics in networks and concentration of measure techniques for their analysis.     
Jansson, PatrikProj.Strongly Typed Libraries for Programs and Proofs.1046108111141152-
Kemp, GrahamProj.Computational protein modelling supported by NMR data12751307135114161462
Larsson‐Edefors, PerProj.Reconfigurable hybrid CMOS‐memristor processor849874901929958
McKee, SallyProj.FlexSoft: Software infrastructure to support hardware/software codesign of exposed architectures28552976190220051923
Russo, AlejandroProj. YoungSecOpen: Securing open development platforms883869896925954
Schiller, Elad MichaelProj. YoungChameleon‐MAC: Autonomous, adaptive and stabilizing algorithms for media access control in mobile ad‐Hoc networks.960996105811201224
Schneider, GerardoProj.SAUCOS: Specification, analysis and use of contracts in software.10611044110911761231
Sheeran, MaryProj.A functional programming approach to hardware acceleration of algorithms929938985995-
Själander, MagnusProj. YoungPower‐aware resource management for fine‐grain parallelism992961101210241057
Sourdis, IoannisProj. YoungScalaNet: nest‐generation scalable network‐processing15301465166417581828
Svenningsson, JosefProj. YoungDomain specific software development fo the automotive industry.876903932962992
Tsigas, PhilippasProj.Concurrent data structures for heterogeneous parallel programming13281331141214391484

Resources:

Budget approximation:

The CSE.chalmers.se budget sheet gives the following numbers (excluding travel, equipment)

If granted670kkr/year800kkr/year
Pays for44%52%of a Bitr.prof
or59%70%of a PostDoc
or81%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.