Colin Riba

Welcome!

I am an assistant professor ("Maître de Conférences" in French) in the Computer Science Department of ENS Lyon.
I do my research in the Plume team, at LIP laboratory, also in ENS Lyon.
I am partially funded by the CNRS.

During year 2008-2009, I was a teaching assistant ("ATER" in Fench) in the same department, doing my research in the same team.
From November 2007 to August 2008, I was a postdoctoral fellow in the Everest project of INRIA Sophia Antipolis.
During 2004-2007, I was a PhD student at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) in the Protheo project. My supervisors were Frédéric Blanqui and Claude Kirchner.

Enseignement

Stages L3

Students

Papers

You can have a look at HAL.

Game Semantics and Tree Automata


Monadic Second-Order Logic


Realizability


Scott Domains


Reducibility


Termination


Confluence


Phd Thesis

Defended Friday, December 14th 2007 in Nancy.

Contacts


Valid XHTML 1.0 Strict CSS Valide !