Estoy interesado en la enseñanza de fundamentos y métodos formales para la computación, y sus aplicaciones. En particular, teoría de lenguajes formales y autómatas, retículos (lattices), concurrencia, reescritura; lógica, matemáticas discretas, cálculos de procesos, modelamiento computacional de procesos, estructuras de datos, sistemas multiagente y distribuidos, y análisis y diseño de algoritmos.
Mis intereses particulares son la teoría de la concurrencia, teoría del orden, lógica y álgebra. En general, me enfoco en métodos formales para modelar y analizar sistemas distribuidos multiagente.