Creating and sharing knowledge for telecommunications
... Paulo Alexandre Carreira Mateus

Senior Researcher

Paulo Mateus

Academic position: Full Professor
Joining date: 31-12-2006
Roles in IT: Senior Researcher
Thematic Line: Basic Sciences and Enabling Technologies
Group: Security and Quantum Information - Lx

Email: Send Email
Address: IT – Lisboa
Instituto Superior Técnico - Torre Norte - Piso 10
Av. Rovisco Pais, 1
1049 - 001 Lisboa
Tel: +351 21 841 84 54
Fax: +351 21 841 84 72

Alternative Personal Web Page



Scientific Achievements

  • Agregação, Instituto Superior Técnico, 13-11-2006
  • PhD, Instituto Superior Técnico, 12-01-2001
  • Instituto Superior Técnico, 15-06-2019, Full Professor
As Supervisor
As Co-supervisor
As Co-supervisor
  • P. Mateus, P. Adão, M. Ribeiro, Formal Verification of Ethereum Smart Contracts Using Isabelle/HOL, Chapter in, Logic, Language, and Security Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, Springer, Berlin, 2020
  • P. Mateus, P. Branco, A code-based linkable ring signature scheme, Chapter in, ProvSec Selected papers, Springer, Berlin, 2018
  • P. Mateus, N. Paunkovic, J. Rodrigues, A. Souto, Enhancing privacy with quantum networks, Chapter in, Proceedings of CMS 2014, Springer, Berlin, 2014
  • D. Qiu Qiu, L. Li, P. Mateus, Quantum finite automata, Chapter in, Handbook on Finite State based Models and Applications, J. Wang, CRC Press, 2012
  • A. Sernadas, C. Sernadas, J. Rasga, P. Mateus, Non-deterministic combination of connectives, Chapter in, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, Jean-Yves Béziau and Marcelo Coniglio, College Publications, 2011
  • P. Mateus, J. Ramos, A. Sernadas, C. Sernadas, Temporal logics for reasoning about quantum systems, Chapter in, Semantic Techniques in Quantum Computation, pages 389-413, I. Mackie and S. Gay, Cambridge University Press, 2010
  • R. Chadha, P. Mateus, A. Sernadas, C. Sernadas, Extending classical logic for reasoning about quantum systems, Chapter in, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325-372, K. Engesser, D. Gabbay and D. Lehmann, Elsevier Science, 2009
  • P. Baltazar, P. Mateus, Temporalization of probabilistic propositional logic, Chapter in, Logic Foundations of Computer Science 2009, volume 5407, Lecture Notes in Computer Science, pages 46-60, S. Artemov and A. Nerode, Springer, 2009
  • A. Sernadas, P. Mateus, Y. Omar, Quantum computation and information, Chapter in, A portrait of state-of-the-Art Research at the Technical University of Lisbon, pages 46-65, M.S. Pereira, Springer, 2007
  • R. Chadha, P. Mateus, A. Sernadas, Reasoning about states of probabilistic sequential programs, Chapter in, Computer Science Logic 2006 (CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240-255, Z. Ésik, Springer, 2006
  • C. Caleiro, P. Mateus, A. Sernadas, C. Sernadas, Quantum institutions, Chapter in, Algebra, Meaning and Computation - Essays Dedicated to Joseph A. Goguen on the Ocassion of his 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages 50-64, K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, Springer, San Diego, 2006
  • P. Mateus, Y. Omar, A quantum algorithm for closest pattern matching, Chapter in, Quantum Information Processing - From Theory to Experiment, volume 199 of NATO Sciense Series, IIIComputer and Systems Sciences, pages 180-183, D. Angelakis, M. Christandl, A. Ekert, A. Kay and S. Kulik, IOS Press, 2006
  • P. Mateus, A. Sernadas, C. Sernadas, Exogenous semantics approach to enriching logics, Chapter in, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165-194, G. Sica, Polimetrica, 2005
  • P. Mateus, A. Sernadas, Reasoning about quantum systems, Chapter in, Logics in Artificial Intelligence, Ninth European Conference, JELIA'04, volume 3229 of Lecture Notes in Artificial Intelligence, pages 239--251, J. Alferes and J. Leite, Springer, 2004
  • P. Mateus, J. Mitchell, A. Scedrov, Composition of cryptographic protocols in a probabilistic polynomial-time process calculus, Chapter in, CONCUR 2003 - Concurrency Theory, volume 2761 of Lecture Notes in Computer Science, pages 327-349, R. Amadio and D. Lugiez, Springer, 2003
  • C. Caleiro, P. Mateus, J. Ramos, A. Sernadas, Combining logics: Parchments revisited, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture Notes in Computer Science, pages 48-70, M. Cerioli and G. Reggio, Springer, 2001
  • P. Mateus, A. Sernadas, C. Sernadas, Realization of probabilistic automata: Categorical approach, Chapter in, Recent Trends in Algebraic Development Techniques - Selected Papers, volume 1827 of Lecture Notes in Computer Science, pages 237-251, Didier Bert and Christine Choppy, Springer, 2000

Currently running projects6

Acronym Name Funding Agency Start date Ending date
Q.DOT SI I&DT Copromoção Nr. 039728 - Distributed Quantum Oblivious Transfer P2020 01-10-2019 30-06-2022
QuantaGenomics Quantum Enabled Secure Multiparty Computation for Genomic Medicine EU / FCT / Programme ERA-NET Cofund QuantERA II 01-05-2022 30-04-2025
QuantumPrime Generation of Prime Numbers Enabled by Quantum Technologies for Cryptographic Applications FCT 01-02-2021 31-01-2024
QUESTS QUANTUM ENABLED SECURITY AND PRIVACY IN VEHICULAR NETWORKS FCT 01-02-2020 30-06-2022
QuRunner Development of a quantum random number generator network server IT 01-02-2020 31-07-2022
SmartGlauco Smart Drug Delivery Device for Glaucoma Treatment FCT 01-03-2021 29-02-2024

Closed Projects13

Acronym Name Funding Agency Start date Ending date
ComFormCrypt ComFormCrypt - Computational Semantics of Formal Methods in Cryptography FCT/PTDC 01-02-2011 01-07-2014
Confident Confident - Communication Contracts for Distributed Systems Development FCT 01-05-2016 01-05-2019
CV-Quantum Improving Security and Capacity Using Continuous Variables Quantum Communications IT/LA 01-02-2014 01-06-2016
DP-PMI Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) FCT 01-01-2014 01-12-2021
P-Quantum Practical Quantum Communications IT/LA 01-09-2011 01-08-2013
PREDICT Personalized therapy for RhEumatic DIseases via machine learning methods FCT 01-01-2019 31-12-2021
QSCRIPTED Quantum Secure Communication Field Experiment Gabinete Nacional de Segurança 10-05-2021 09-07-2021
QSec Quantum Security FCT/PTDC 01-11-2007 01-10-2009
QuanLog Logic in Quantum Computation and Information FCT/POCI 01-01-2005 01-12-2007
QuantPrivTel QuantPrivTel: Quantum PrivateTelecommunications FCT/PTDC 01-01-2010 01-06-2013
QuantTel Quantum Secure Telecommunications IT/LA 01-11-2008 01-10-2010
QuantumMining Quantum Primitives for Privacy Preserving Data Mining FCT 01-09-2018 28-02-2022
QuGENOME Quantum Enabled Private Recognition of Composite Signals in Genome EU 01-12-2020 31-03-2022
  • P. Mateus, Portuguese IBM Scientific Prize, Análise de sistemas de prova de conhecimento nulo, 01-02-2006
  • N. Paunkovic, J. Bouda, P. Mateus, Quantum Commitments Based on Complementarity - Contract Signing. 9th Central European Quantum Information Processing Workshop 7-10 June 2012, Smolenice, Slovakia, Tutorial, Poster Session, 01-06-2012
  • Editorial Board, Mathematics, 01-12-2020 - 31-01-2030