Logic and Computation

Research in Logic and Computation at the Department of Mathematics includes such topics as bounded arithmetic, set theory, algebraic logic, combined logics, temporal logic, kleistic logic, probabilistic logic, quantum logic, computability and complexity in analog and digital computing, physics of computation, quantum computation, and applications to information security.

The faculty members of Logic and Computation belong to the Security and Quantum Information Group (SQIG) and the Physics of Information and Quantum Technologies (Phys-Info), research groups of the Associate Laboratory Instituto de Telecomunicações (IT), to the Center for Mathematics, Fundamental Applications and Operations Research (CMAF-CIO), and to the Center for Philosophy of Sciences of the University of Lisbon (CFCUL).

The members of the Logic and Computation area cooperate regularly with the members of information technology areas in other departments of IST, namely concerning the joint PhD Program in Information Security (under the Carnegie Mellon Portugal Program) and the FCT Doctoral Programme in the Physics and Mathematics of Information.

Seminars

Future and Recent Events

Projects

  • GeTFun (Generalizing Truth-Functionlality - EU FP7, Marie Curie).