Registered user since Mon 10 Feb 2020
Tom Schrijvers obtained his master degree in engineering (computer science) in 2001 at KU Leuven, Belgium.
As a research assistant of the Flemish Fund for Scientific Research (FWO), his research at the department of computer science of the KU Leuven centered around `Analyses, optimizations and extensions of Constraint Handling Rules’. In 2005 he defended his Ph.D. with congratulations of the jury.
From 2006 to 2010, he extended his research towards Functional Programming languages, as postdoctoral researcher of the FWO at the KU Leuven.
From 2010 to 2014, he was head of the programming languages group at Ghent University.
On October 1, 2014, Tom Schrijvers re-joined KU Leuven as Research Professor (BOF ZAP) at the Department of Computer Science.
Contributions
| POPL 2016 | From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes | ||||||||||||||||||||||||||||||||||||||||
| PADL | Committee Member in Program Committee within the PADL-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
View general profile