Research
What I'm interested in
- Aspect Oriented Programming
- Designed Specific Languages
- Semantics for low level languages
- Proof Assistant (Coq)
- Category theory
- Cognitive Science
- Stochastic calculus
Publications
- Aspect Oriented Programming :
- Low level semantics :
- Linear Logic and Games semantics :
-
Master's thesis
(in french)
-
Resouce modalities in game semantics
Melliès P.A., Tabareau N. Proceedings of the 22nd Annual IEEE
Symposium on Logic in Computer Science, pages 389--398, 2007,
IEEE Computer Society Washington, DC, USA.
-
Resouce modalities in tensor logic
Melliès P.A., Tabareau N.
Annals of Pure and Applied Logic
Volume 161, Issue 5, February 2010, Pages 632-653.
-
An algebraic account of references in game semantics
Melliès P.A., Tabareau N. Accepted at the 25th
Conference on the Mathematical Foundations of Programming
Semantics University (MFPS 25) of Oxford, UK April 3 -
7, 2009
-
Linear continuations and duality
Melliès P.A., Tabareau N. Unpublished
-
Free models of T-algebraic theories computed as Kan extensions
Melliès P.A., Tabareau N. Unpublished
-
An explicit formula for the free exponential
modality of linear logic.
Melliès P.A., Tabareau N., Tasson C. Accepted at the 36th
International Colloquium on Automata, Languages and
Programming (ICALP 2009)
-
Linear logic as a foundation for service-oriented computing
Grall H., Tabareau N. submitted.
- Contraction and Brain :
-
Where neuroscience and dynamic system theory meet autonomous
robotics: A contracting basal ganglia model for action
selection.
Girard B.,Tabareau N., Pham Q.-C., Berthoz A., Slotine
J.-J.
(2008) Neural Networks 21: 628-641
-
Geometry of the superior colliculus mapping and efficient
oculomotor computation.
Tabareau N., Bennequin D., Slotine J.-J., Berthoz A., Girard B.
(2007) Biological Cybernetics 97(4): 279-292.
-
Contracting model of the basal ganglia.
Girard B., Tabareau N., Slotine J.-J. and Berthoz A.
In Bryson, J., Prescott, T. and Seth, A. (Eds)
Modelling Natural Action Selection: Proceedings of an
International Workshop, pages 69-76. AISB Press, Brighton, UK.
-
Selective amplification using a contracting model of the
basal ganglia.
Girard, B., Tabareau, N., Berthoz, A. and Slotine,
J.-J. (2006). In Alexandre, F., Boniface, Y., Bougrain, L., Girau, B.
and Rougier, N. (Eds) NeuroComp 2006, pages 30-33.
[website]
-
Implementation of a neurophysiologic model of saccadic
movements on an anthropomorphic robotic head.
Manfredi, L., Maini, E., Laschi, C., Dario, P., Girard, B.,
Tabareau, N. and Berthoz, A. (2006).
In IEEE-RAS Int. Conf. on Humanoid Robots, pages
438-443.
[website]
- Stochastic contraction :
- Timed Automata :
PhD thesis
"Modalités de ressource et contrôle en logique tensorielle"
Awards
- Rosemont/Demassieux PhD thesis award in applied and fundamental
mathematics from La Chancellerie des Universités de Paris,
2009
- Second Gilles Kahn PhD thesis award from the Société des
Personnels Enseignants et Chercheurs en Informatique de France (specif), 2009
Some useful links
- Server HAL - It receives and gives open access to e-prints like research papers or PHD thesis, published or not, in all fields, coming from any French or foreign university, any public or private laboratory
- www.arXiv.org - a server of preprint
- www.wikipedia.org - The Free Encyclopedia
