VR project applications 2017 from the CSE department

Earlier years: VR2016, VR2015, VR2014, VR2013, VR2012, VR2011, VR2010, VR2009, VR2008

Calls: (open 2017-03-01, deadline 2017-04-04)

Starting grant (etableringsbidrag): 2-7y after PhD. TODO: update links English, Svenska
Project grant (projektbidrag): TODO: update links English, Svenska

Applications in submission 2017

Div	Efternamn	Namn	Form	Projekttitel
CE	Larsson-Edefors	Per	Proj	ASIC-konstruktion för kompensering av ickelinjariteter i fiberoptiska system
CE	Pericas	Miquel	Proj	paraMixer: a memory architecture and runtime for ultra-efficient mixed-precision parallel computers
CE	Phatan	Risat	Etab	Analysis of Timeliness and Security for Safety-Critical Parallel Tasks on Multicore Platforms
CS	Coquand	Thierry	Proj	Syntax and semantics of univalent type theory
CS	Damaschke	Peter	Proj	Partial covering arrays
CS	Dubhashi	Devdatt	Proj	Explanatory Machine Learning
CS	Johansson	Fredrik	Etab	Maskininlärning för estimering av individell kausal effekt
CS	Norell	Ulf	Proj	Effektiv typcheckning av beroende typteorier
CS	Schliep	Alexander	Proj	Integrating Wavelets and Bayesian Hidden Markov Models for Big data
CS	Strannegård	Claes	Proj	Dynamisk begreppsbildning
FM	Ahrendt	Wolfgang	Proj	Ett enhetligt ramverk för statisk och körtids-verifiering av distruerad mjukvara
FM	Furia	Carlo A.	Proj	Hi-Fi: Allmänt Applicerbar och Pålitlig Automatiserad Programkorrigering
FP	Angelov	Krasimir	Proj	Tvärspråkklig Applikationer, Resurser och Tekniker
FP	Claessen	Koen	Proj	AIR-Automatiska Induktiva Resonemang
FP	Gerdes	Alex	Etab	Lokalisera buggar med predikatbaserad testning
FP	Ranta	Aarne	Proj	Flerspråkig resrussemantik
FP	Sheeran	Mary	Proj	Heterogen Programmering av Parallella Algoritmer
FP	Smallbone	Nicholas	Etab	Automatiskt specifikationupptäckning för bevis och testning
SE	Hebig	Regina	Etab	Clear-Cut Updater: Reliable and Adaptable System Modernization in Context of Evolving Modeling Standards
SE	Pelliccione	Patrizio	Proj	Evidence-based Software Evolution and Adaption of Smart Systems
SE	Scandariato	Riccardo	Proj	iDASP: Intelligent Design Assistants for Security and Privacy
SE	Torkar	Richard	Proj	ReBaSE