VR project applications 2015 from the CSE department

Notification date + link:

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

Applications granted (prel. 2015-11-03)

EfternamnNamnUnivDivVR-kodProjekt TitelBidragsform360 Ärende nrBelopp 2016Belopp 2017Belopp 2018Belopp 2019Totalt
DimitrakakisChristosChalmersCS2015-05410Learning, privacy and the limits of computationProjektbidrag 94093393011503953
HuangChien-ChungChalmersCS2015-03783Kombinatorisk optimering i matchnings- och matroidproblemProjektbidrag 9109109109603690
RussoAlejandroChalmersST2015-05495HIPSTER: HybrId Privacy analySis wiTh hardwarE suppoRtProjektbidragDoIT 2015-006295797498410603975
SchneiderGerardoGUST2015-04154PolUser: Användarstyrda integritetspoliciesProjektbidragDoIT 2015-005795797498410603975

Applications submitted 2015-03-31

EfternamnNamnGU/CTHDivVR-kodProjekt TitelBidragsform360 Ärende nrBelopp 2016Belopp 2017Belopp 2018Belopp 2019
AhrendtWolfgangCTHST2015-05550Ett enhetligt ramverk för statisk och körtids-verifiering av distribuerad mjukvaraProjektbidrag1168120312761419
IonescuCezarCTHST2015-04381Verifierad och Validerad NumerikProjektbidragDoIT 2015-0061867892908989
JanssonPatrikCTHST2015-04525Program du kan lita på: högnivåspecifikationer och korrekta implementationer via beroende typerProjektbidragDoIT 2015-00639479749931078
RussoAlejandroCTHST2015-05495HIPSTER: HybrId Privacy analySis wiTh hardwarE suppoRtProjektbidragDoIT 2015-00629579749841060
SchneiderGerardoGUST2015-04154PolUser: Användarstyrda integritetspoliciesProjektbidragDoIT 2015-00571247125713221464
DamashkePeterCTHCS2015-03724Beräkningskomplexitet av nya kombinatoriska övertäckningsproblemProjektbidragDoIT 2015-00541047106311141135
DimitrakakisChristosCTHCS2015-05410Learning, privacy and the limits of computationProjektbidrag1593165416951804
DubhashiDevdattCTHCS2015-03774Geometriska inbäddningar som en enande ram för lärande på grafer och andra strukturerade dataProjektbidragDoIT 2015-00531073106511141134
HuangChien-ChungCTHCS2015-03783Kombinatorisk optimering i matchnings- och matroidproblemProjektbidrag1018104610651150
HuangChien-ChungCTHCS2015-00427Snabba approximationsalgoritmer för matchning och matroidproblemInternational Career Grant130012911334
de Oliveira OliveiraMateusCTHCS2015-00669Parametriserad BevisbarhetInternationell postdok105010501050
BergerChristianGUSE2015-03903SamuraiProjektbidrag981102911441123
PelliccionePatrizioGUSE2015-04078SoS-Reliance: Systems-of-Systems RelianceProjektbidrag1514139014391583
ScandariatoRiccardoGUSE2015-04912FindSec: Finding Security VulnerabilitiesProjektbidragDoIT 2015-00581036102111061186
StaronMiroslawGUSE2015-04236Caliber-Automatisk kalibrering av programvarumätsystemProjektbidrag17751782--
TorkarRichardGUSE2015-05525Bayesiansk programvaruteknik - BaSEProjektbidragDoIT 2015-00561578160216571797
MartinsenJan KasperCTHCE2015-00608Reducerad energikonsumption med bevarad prestanda för JavaScript i webbapplikationer genom dynamiskt genererad hårdvaraInternationell postdok62812371179536
OlssonOlaCTHCE2015-00179Högpresterande parallella algoritmer för astrofysiksimuleringarInternationell postdok64012611191536
PericasMiquelCTHCE2015-03848Extremskalig parallell datorbearbetning genom temporal och spatial beräkningsklustringProjektbidragDoIT 2015-005993795310031034
TsigasPhilippasCTHNS2015-05314Prestandabevarande analys av parallella datastrukturer och algoritmerProjektbidrag
AntoniadisAntoniosCTH??2015-04997Energieffektiva AlgoritmerProjektbidrag1605163817081749

Resources: