Attention
Cette page n'est pas encore des plus abouties.
Ceci n'est pas la page de Samuel Mimram. Visitez une autre page qui n'est pas non plus celle de Samuel Mimram.
Cette page a pour nom un calembour : « Lamda and Pi » se lit en anglais presque « random pie, » et « pie, » à son tour lu en japonais donne phonétiquement « Pied, » mon surnom (cf. mon patronyme). Pis comme j'aime bien les deux calculs sus-cités, c'est l'fun.
Autobiographie condensée
Je suis né en France, et après quelques débuts hésitants, j'ai finalement réussi à marcher, lire, écrire. Malheureusement, en dépit des ces progrès fulgurants et prometteurs, je n'arrive toujours pas à jouer de Chopin au piano.
J'ai usé les bancs de l'INALCO (anciennement connu sous le sobriquet de « Langues O' ») où j'ai planché sur la langue et la civilisation japonaise. Je suis passé faire des mathématiques et de l'informatique à l'Université Pierre et Marie Curie (DEUG, Licence, Master, Magistère), au Master Parisien de Recherche en Informatique ainsi qu'à l'Université de Montréal. J'aime l'informatique théorique, les mathématiques discrètes, la musique et les langues.
Je souffre d'un trouble musculo-squelettique aux deux poignets depuis début 2008. Un clavier Kinesis tout beau tout blanc prêté par le labo et réglé pour le dvorak bépo, une tablette graphique et le logiciel xwrits m'aident à tenir le coup.
Asteur
J'ai obtenu mon doctorat (高階分散プロセス計算のための環境双模倣 (Environmental Bisimulations for Higher-Order Distributed Process Calculi)) en mars 2012, sous la direction d' Eijiro Sumii.
Publication la plus récente
- (27/03/12) A Higher-Order Distributed Process Calculus with Passivation and Name Creation: Adrien Piérard and Eijiro Sumii, to be presented at LICS 2012.
