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 ( 4 )

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)