AFRAN

Timothy Bourke

Base

Name

Timothy Bourke

Title

Dr.

Bio

My research focuses on rigorous approaches to modelling, programming, and verifying embedded control systems, and, in particular, on interactive theorem proving and programming languages.

Country

France

State

France

Fields of Research

Information and Computing Sciences, Engineering

University or Institution of affiliation

Inria (Paris)

personal or institutional webpage

http://www.tbrk.org

Interest in AFRAN?

Academic/Industry Collaborations in France, Academic/Industry Collaborations in Australia, Job / Funding opportunity in France, Job / Funding opportunity in Australia, Other