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
2015-03-04
Three weeks until the EMSOFT submission deadline.
2015-02-06
Talk in the Functional Programming group at Chalmers.
2015-02-05
Talk in the Formal Methods group at Chalmers.
2015-02-04
Talk at MODPROD 2015.
2014-12-19
Paper accepted at Compiler Construction 2015.
2014-12-03
Talk at SYNCHRON 2014.
2014-11-28
Sundials/ML, an OCaml interface to Sundials, is released.
2014-10-23
AODV invariant proof available in the AFP.
2014-07-06
Paper accepted at ATVA.