Research Explorer

Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Tom Schrijvers

Awards & Distinctions

Results : ALL ( 4 )

As Promotor

01 January 2015 → 31 December 2020

Satisfiability and model generation in infinite space

Funding: Research Foundation - Flanders (FWO)

01 January 2014 → 31 December 2019

Reasoning about Co-Routines

Funding: Research Foundation - Flanders (FWO)

01 January 2012 → 31 October 2016

Constraint Programmign for advanced joins in rule-based programming languages

Funding: Regional and community funding: Special Research Fund

01 January 2012 → 31 December 2017

Modular handling of effects in purely functional programs and models

Funding: Research Foundation - Flanders (FWO)