christophedetroyer.be
christophe@call-cc.be
+32 489 97 94 28

PhD candidate at VUB and UGent. Conducting research in semantics and type theory for concurrent and distributed programming languages. MSc in Computer Science at VUB. Excited about Unix, language design and good music.

Education

2015 - Present University of Brussels - University of Ghent
2012 - 2015 University of Brussels
2009 - 2012 Ghent College

Experience

VUB Teaching Assistant ECTS card Teaching assistant "Multicore - OpenCL".
VUB Teaching Assistant ECTS card Teaching assistant "Programming Project I".
14IT Custom software solutions 14it.be Internship
Computerparts BVBA Computer Store computerparts.be Internship

Talks

XAOP Elixir/OTP Elixir/OTP Introduction
Programming 2017 Extended Abstract Abstractions for Distributed Event Driven Programs
IFL 2016 Extended Abstract Practical Session Types

Publications

Programming '17 Position Paper Abstractions for Distributed Event-Driven Applications
SPLASH '17 WIP First-Class Reactive Programs for CPS

Interests

See https://github.com/m1dnight for personal projects.