Paul Ruet
Contact
Publications
Encadrement
Colloques
Projets

Paul Ruet

Je suis chargé de recherche en mathématiques au CNRS. Je travaille sur la théorie de la démonstration et les réseaux biologiques.

Contact

Nouvelle adresse (redirection automatique).

Publications

Encadrement et enseignement

J'ai dirigé la thèse de doctorat d'Anne Crumière et co-dirigé celles de Claudia Faggian et Gabriele Pulcini. J'enseigne en 2ème année de Master Recherche MDFI; le polycopié est téléchargeable au format pdf. De 2001 à 2004, j'ai été responsable du DEA MDFI.

Colloques organisés ou invités

Modelling complex biological systems in the context of genomics, La Colle sur Loup, 30 mars - 3 avril 2009.
Circuits, differentiation and homeostasis in genetic regulatory networks, Okinawa, 4 février 2009.
Modèles discrets de réseaux biologiques : de la structure à la dynamique, Marseille, 3 - 7 novembre 2008.
From biology to concurrency and back, Reykjavik, 12 juillet 2008.
Modèles mathématiques en biologie et en médecine, Lyon, 19 - 22 juin 2007.
Réseaux d'interaction: analyse, modélisation et simulation, Lyon, 29 novembre 2006.
Dynamics and structure of biological networks, Marseille, 14 - 17 février 2006.
Non-commutative logic, Frascati, 10 - 12 avril 1999.

Projets

Je suis membre des ANR SOAPDC (structures d'ordre et applications au calcul parallèle, distribué, et concurrent) et MAREBIO (mathématiques des réseaux biologiques). J'ai été membre du TMR LINEAR, de l'ACI GEOCAL et de l'ARC MOCA (modularité, compositionalité et abstraction dans les réseaux géniques et protéiques), et responsable du réseau de formation doctorale en logique mathématique et informatique théorique de l'Université Franco-Italienne (programmes VINCI 2001 UFI201HEMS et 2002 UFI2F2YT2F).