Simon Robillard, Data- och informationsteknik

​Deductive Program Analysis with First-Order Theorem Provers
​Simon Robillard tillhör avdelningen för Formella metoder vid Data- och informationsteknik.

Opponent
Prof Pascal Fontaine, Université de Lorraine, France.

Betygsnämd
Prof Tobias Nipkow, Technische Universität München, Germany.
Doc Moa Johansson, Chalmers University of Technology, Sweden.
Prof Chris Benzmueller, Freie Universität Berlin, Germany. 


Kategori Disputation
Plats: EA, lecture hall, Hörsalsvägen 11, EDIT trappa C, D och H
Tid: 2019-05-28 10:00
Sluttid: 2019-05-28 11:00

Publicerad: on 17 apr 2019.