Address:

Dept. of Mathematics ♦ IST - Instituto Superior Técnico ♦ Technical University of Lisbon ♦ 1049-001, Lisbon ♦ Portugal

Research:

  • Combination of Logic Systems; Probabilistic Logics and Probabilistic Reasoning;
  • Security; Behavioral Type systems.

Publications:

last update on January 22 2012, by Pedro Baltazar