Creating and sharing knowledge for telecommunications

Participation in Projects

Running Projects:

Acronym Name Funding Agency Start date Duration
DeDuCe Distributed Data Centric Concurrency Control EU/H2020 01-01-2018 3 year(s)
DP-PMI Doctoral Programme in the Physics and Mathematics of Information: Foundations of Future Information Technologies (DP-PMI) FCT 01-01-2014 8 year(s)
MoLC Modular Analysis of Logical Calculli FCT 01-11-2017 4 year(s)
PREDICT Personalized therapy for RhEumatic DIseases via machine learning methods FCT 01-01-2019 3 year(s)
Q.DOT SI I&DT Copromoção Nr. 039728 - Distributed Quantum Oblivious Transfer P2020 17-07-2019 2 year(s)
QuantumMining Quantum Primitives for Privacy Preserving Data Mining FCT 01-09-2018 3 year(s)

Closed projects:

Acronym Name Funding Agency Start date Duration
ComFormCrypt ComFormCrypt - Computational Semantics of Formal Methods in Cryptography FCT/PTDC 01-02-2011 4 year(s)
COMPUTR COMPUTR : Calcul en temps continu sur les réels INRIA 01-01-2010 1 year(s)
Confident Confident - Communication Contracts for Distributed Systems Development FCT 01-05-2016 3 year(s)
CSI^2 Cryptographic Security of Individual Instances FCT/PTDC 01-02-2010 4 year(s)
CV-Quantum Improving Security and Capacity Using Continuous Variables Quantum Communications IT/LA 01-02-2014 3 year(s)
Elven Elven - Expressive Logics for VErifying the Net EU/H2020 01-07-2016 3 year(s)
EntMeso Entanglement and Transport Properties in Mesoscopic Systems FCT/GRICES, CNRS 01-01-2007 2 year(s)
GeTFun GeTFun - Generalizing Truth-Functionality EC/FP7 01-01-2013 4 year(s)
P-Quantum Practical Quantum Communications IT/LA 01-09-2011 2 year(s)
QbigD Quantum Big Data FEDER 01-04-2016 2 year(s)
QuantPrivTel QuantPrivTel: Quantum PrivateTelecommunications FCT/PTDC 01-01-2010 4 year(s)