Professor

Protocolo Criptográfico teorias equacionais Problema da Dedução do Intruso Sistema de Reescrita Lógica formal Unification Teorias Localmente Estáveis alpha-equivalence Nominal Techniques Teoria de Prova Formal methods AC-convergencia Session Types Nominal Syntax pi-calculo Disunification PVS Lambda Calculus Formalisation segurança de protocolos reticulados nominais linear maps Narrowing commutativity Equational Problems C-unification Non-determinism resources Generalization Resource Control fixed point constraints Commutative theory Ponto-fixo Curry-Howard isomorphism provadores de teoremas Grupos Abelianos unificação sintática tipos de interseção term rewriting systems Técnicas Nominais Anti-Unification teoria da computação Cálculo de Sequentes Conjuntos nominais Nondeterminism logica equacional concorrência Resource Lambda Calculus alpha-equivalência reduction operators Interactive Theorem Proving Nominal matching Unification modulo Commutativity Desunificação Linear Logic Nominal unification