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-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.
2014-06-04
Talk at SICS in Kista, Sweden.