Fabien Givors' webpage

I'm currently teaching assistant at LIRMM, Université Montpellier II, finishing my PhD under the supervision of Gregory Lafitte and Bruno Durand.

I try, through my work, to have a clearer view of the links between computabilities (classical and higher recursion theories), and proof theory.

2012-2013, S2:
- L2 - UM2: GLIN304: Analyse d'algorithmes, TD - Algorithm analysis
- L1 - UM2: GLIN201: Programmation impérative, TD/TP - C (basics)
2012-2013, S1:
- L3 - UM2: GLIN504: Systèmes d'exploitation, TD/TP - Operating Systems
- L1 - UM2: GLIN102: Concepts de base en informatique, TP - Linux, Libreoffice, HTML (basics)
2011-2012, S1:
- M1/M2 - UM2: Théorie (algorithmique) de l'information, quelques TD - Algorithmic Information Theory
- L3 - UM2: Systèmes d'exploitation, TD/TP - Operating Systems
- L1 - UM2: GLIN102: Concepts de base en informatique, TP - Linux, Libreoffice, HTML (basics)
2008-2009, S2:
- L2 - UNSA: Tutorat OFI (Outils Formels pour l'Informatique - Formal tools for computer science)

Infinite time cellular automata: a real computation model [with G. Lafitte and N. Ollinger], JAC 2010, Turku, Finland, 2010. arXiv.org
Sub-Computabilities [with G. Lafitte], FCT 2011, Oslo, Norway, 2011. SpringerLing

Sub-Computabilities [with G. Lafitte], talk at FCT 2011, Oslo, Norway, 2011. Slides: here
Infinite time cellular automata: a real computation model [with G. Lafitte and N. Ollinger], JAC 2010, Turku, Finland, 2010.

Higher Sub-Computabilities [with G. Lafitte], talk at FRAC d'hiver 2012, Créteil, France, 2012. Slides: here
Sous-Calculabilités talk at SeminDoc Lirmm, Montpellier, France, 2012. Slides: here
(Sub-)Computabilities [with G. Lafitte], informal talk at CRP 2011, Paris, France, 2011.
Forcing et degrés Turing [with G. Lafitte], informal talk at EJC 2010, Chambéry, France, 2010. Slides (in French): here

Holes punched computabilities, short presentation by G. Lafitte at LICS 2011, Toronto, Canada, 2011, audio and slides here.
(Sub-)Computabilities, informal talk by G. Lafitte at CiE 2010, Ponta Delgada, Azores, Portugal, 2010.

2011-2012: Third year of PhD thesis on "Recursively enumerable degrees: theory and experimentation, with Gregory Lafitte, LIRMM, Université de Montpellier II, Montpellier, France
2009-2011: First two years of PhD thesis on "Recursively enumerable degrees: theory and experimentation, with Gregory Lafitte, LIF, Université d'Aix-Marseille I, Marseille, France
2009: Forcing et degrés Turing, with Gregory Lafitte, LIF, Université d'Aix-Marseille I, Marseille, France. Slides here (French).
2008-2009: Master d'Informatique Fondamentale, M2, École Normale Supérieure de Lyon - Université de Nice-Sophia Antipolis, Nice, France
2008: Internship - Classification of the dynamics of cellular automata, with Pietro di Lena, Università di Bologna, Bologna, Italia
2007-2008: Maitrise d'Informatique Fondamentale, M1, École Normale Supérieure de Lyon - Université de Nice-Sophia Antipolis, Nice, France
2007: Internship - Entropy of Turing machine seen as dynamical systems, with Enrico Formenti, Université de Nice-Sophia Antipolis, Nice, France
2006-2007: Licence d'Informatique Fondamentale, L3, École Normale Supérieure de Lyon, Lyon, France
2004-2006: Classe préparatoire, MPSI/MP, Lycée la Martinière Monplaisir, Lyon, France

Email: spam@chezlefab.net, where you shall replace spam with fabien.givors

Phone: Nope.

Address:

Fabien Givors
Université Montpellier 2
LIRMM
UMR 5506 - CC477
161 rue Ada
34095 Montpellier Cedex 5 - France

[Professional pages]