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

As Administrative supervisor

06 August 2012 → 20 June 2016

Doctoral project Benoit Desouter

Doctoral researcher: Benoit Desouter

24 October 2014 → 25 September 2016

Doctoral project Egbert Gijsbers

Doctoral researcher: Egbert Gijsbers

19 March 2014 → 25 September 2016

Doctoral project Georgios Karachalias

Doctoral researcher: Georgios Karachalias

07 December 2010 → 06 December 2011

Doctoral project Pieter Wuille

Doctoral researcher: Pieter Wuille

As Promotor

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)

01 January 2014 → 31 December 2019

Reasoning about Co-Routines

Funding: Research Foundation - Flanders (FWO)

01 January 2015 → 31 December 2020

Satisfiability and model generation in infinite space

Funding: Research Foundation - Flanders (FWO)