Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Download Photo HD


I obtained an MSc degree in Informatics Engineering from Faculty of Engineering of University of Porto, in 2008. During the last few years, I have been working both for industry and research, in several different areas such as Ambient Assisted Living, Power Systems reliability and Digital Video. 

My main publications have been in Ambient Assisted Living area and can be consulted in google scholar.

Currently, I am a PhD student at HASLab/INESC TEC and I am enrolled in MAP-i doctoral programme. My main research interests are in software science and quantum computer science.



  • Name

    Carlos Eduardo Tavares
  • Cluster

    Computer Science
  • Role

    External Student
  • Since

    19th February 2007


A Dynamic Logic for QASM Programs

Tavares, C;

Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings

We define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires the handling of quantum and probabilistic information. We provide a syntax and a model to this logic, providing a probabilistic semantics to the classical part. We exercise it with the quantum coin toss program. © 2020, Springer Nature Switzerland AG.


Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer

Guimaraes, JD; Tavares, C; Barbosa, LS; Vasilevskiy, MI;


Photosynthesis is an important and complex physical process in nature, whose comprehensive understanding would have many relevant industrial applications, for instance, in the field of energy production. In this paper, we propose a quantum algorithm for the simulation of the excitonic transport of energy, occurring in the first stage of the process of photosynthesis. The algorithm takes in account the quantum and environmental effects (pure dephasing), influencing the quantum transport. We performed quantum simulations of such phenomena, for a proof of concept scenario, in an actual quantum computer, IBM Q, of 5 qubits. We validate the results with the Haken-Ströbl model and discuss the influence of environmental parameters on the efficiency of the energy transport.


Integration of a suite of sensors in a wireless health sensor platform

Pepijn Van de Ven; Alan Bourke; Carlos Eduardo Tavares; Robert Feld; Artur Rocha; John Nelson

IEEE SENSORS 2009 - IEEE Sensors Conference 2009, Christchurch, New Zealand

In this paper we discuss the development and clinical evaluation of a wireless platform for health signs sensing. The sensors measure physical activity, ECG, blood oxygen saturation, temperature and respiratory rate. An important aspect of the approach is that the sensors are integrated into one waist-worn device. A mobile phone collects data from this device and uses data fusion in the scope of a decision support system to trigger additional measurements, classify health conditions or schedule future observations. In these decisions, the user's current physical activity plays an important role as the validity of many health signs measurements is strongly related to physical activity. Due to the integration of the sensors and the use of data fusion it is possible to accurately identify health risks and to react promptly. During clinical trials, for which proper ethical approval was obtained, the system was used by healthy elderly volunteers in Limerick (Ireland) and Ancona (Italy). Results of these trials are also discussed in this paper.



Validação de simulações quânticas

Afonso Miguel Fernandes Rodrigues