Timothy Bourke

Researcher at in the team
en: [tImɒθiː bɜːʳk] or fr: [timɔte buʀk] (Tim, [tIm] or [tiːm]); ;

Details

Photo of Tim.

News

by Timothy Bourke
2014-03-21
Paper accepted for ITP.
2014-02-21
Two talks soon at PPS in the working groups Sémantique and Théorie des types et réalisabilité.
2013-12-20
Paper accepted for HSCC.
2013-12-19
Paper appears in ACM TECS.
2013-11-19
Short talk at Synchron 2013.
2013-11-04
Proposition de stage MPRI avec Marc Pouzet.