Date of Birth | May 28^{th}, 1988 | |
Nationality | French | |
Homepage | paul.brunet-zamansky.fr |
Since Oct. 2018 | Research Associate in University College London |
David Pym – PPLV group | |
Jan. 2017 - Sept. 2018 | Research Associate in University College London |
Alexandra Silva – PPLV group | |
Oct. - Dec. 2016 | Reseach Assistant in CNRS - ÉNS de Lyon |
Damien Pous – Plume team | |
Sept. 2013 - Sept. 2016 | PhD Student with Teaching duties in Université Lyon 1 |
Damien Pous – Plume team |
“Relation Algebras : from algorithms to formal proofs.”
PhD Thesis with Damien Pous in UCB Lyon 1 and the LIP in the ÉNS de Lyon.
Defended on October 4th, 2016.
2011-2013 | Université Paris VII Diderot |
Paris | Master Parisien de Recherche en Informatique – Summa Cum Laude |
Main topics | Logics, Semantics, Automata Theory, Lambda-calculus, Categories, Functional Programming. |
2009-2010 | École Normale Supérieure de Cachan, antenne de Bretagne |
Rennes | Second Year in Computer Science |
Main topics | Logics, Algorithmics and Computer Science Foundations. |
2008-2009 | École Normale Supérieure de Cachan, antenne de Bretagne |
Rennes | Licence d’Informatique (Bachelor’s Degree in Computer Science) |
Main topics | Logics, Algorithmics and Computer Science Foundations. |
2007-2008 | École Normale Supérieure de Lyon |
Lyon | First Year in Computer Science |
Main topics | Logics, Algorithmics and Computer Science Foundations. |
2005-2007 | Lycée Corneille |
Rouen | Classe Préparatoire aux Grandes Écoles |
Main topics | Mathematics, Physics and Computer Science. |
2005 | Lycée Jean Prévost |
Montivilliers | Baccalauréat Scientifique option Physique – Summa Cum Laude |
Main topics | Mathematics, Physics and Biology. |
2013 | Relation algebras, automata and regular expressions |
Lyon | École Normale Supérieure de Lyon |
supervised by Damien Pous in the team Plume | |
2012 | Categorical study of the exponential in Linear Logic |
Paris | University Paris VII Diderot |
supervised by Paul-André Melliès | |
2011 | Functional Minimalist Grammars |
Chicago, IL | University of Chicago |
supervised by Gregory M. Kobele | |
2009 | Relevance of linear logic for composing semantic representations in simply typed λ-calculus |
Bordeaux | Laboratoire Bordelais de Recherche en Informatique |
supervised by Christian Retoré and Lionel Clément in the team Signes | |
2008 | Proof to help programming |
Saclay | INRIA Saclay Île de France |
supervised by Sylvie Boldo in the team Proval |