LIX - Ecole PolytechniqueMichell Guzmán

Michell Guzman

I'm a PhD student at LIX-École Polytechnique funded by INRIA Saclay. I'm working under the supervision of Frank Valencia and Catuscia Palamidessi.
My CV is available [here].

Research Interests :

Modal and epistemic logics, formal verification, process calculi, domain theory, algebra, systems biology.

Service to the profession :

Sub-reviewer for : FORTE 2015, PPDP 2015.
Organization : Member of the organization committee of the 12th international colloquium on Theoretical Aspects of Computing (ICTAC), Cali, Colombia, 2015.

Schools and research visits

Nov 2016 : Research visit at Uppsala University, Uppsala, Sweden.
Oct 2016 : 13th Inter. Colloquium on Theoretical Aspects of Computing, Taipei, Taiwan.
Oct 2016 : 32nd Inter. Conference on Logic Programming, New York City, USA.
Oct 2015 : 12th Inter. Colloquium on Theoretical Aspects of Computing, Cali, Colombia.

Publications :

List of publications in DBLP : [Link ]

INRIA Saclay and LIX
Bâimenent Alan Turing
rue Honoré d'Estienne d'Orves
Campus de École Polytechnique
91128 Palaiseau Cedex - France
Email : guzman[\{a_t}\]