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-07-06
Paper accepted at ATVA.
2014-06-04
Talk at SICS in Kista, Sweden.
2014-03-21
Paper accepted at 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 at HSCC.