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.
Michell Guzmán