Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Tom Schrijvers

Prijzen & Erkenningen

Resultaten : ALLES ( 8 )

Als Administratief verantwoordelijk promotor

06-08-2012 → 20-06-2016

Doctoraatsproject Benoit Desouter

Doctoraal onderzoeker: Benoit Desouter

24-10-2014 → 25-09-2016

Doctoraatsproject Egbert Gijsbers

Doctoraal onderzoeker: Egbert Gijsbers

19-03-2014 → 25-09-2016

Doctoraatsproject Georgios Karachalias

Doctoraal onderzoeker: Georgios Karachalias

07-12-2010 → 06-12-2011

Doctoraatsproject Pieter Wuille

Doctoraal onderzoeker: Pieter Wuille

Als Promotor

01-01-2012 → 31-10-2016

Constraint Programming voor geavandeerde joins in regelgebaseerde programmeertalen

Financiering: Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds

01-01-2012 → 31-12-2017

Modulaire behandeling van effecten in puur functionele programma's en modellen

Financiering: Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)

01-01-2014 → 31-12-2019

Redeneren over coroutines

Financiering: Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)

01-01-2015 → 31-12-2020

Vervulbaarheid en modelgeneratie in oneindige ruimtes

Financiering: Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)