José Proença and Pedro Miguel Santos have now settled and are ready to contribute to a positive impact in the quality of R&D projects developed by CISTER, in cooperation with companies in the area of Real-Time and Embedded Computing Systems.
José Proença is currently working on formal models for component-based systems. Until January 2019 he worked in HASLab, University of Minho, working with Luís Barbosa, and was affiliated with Distrinet, KU Leuven, until January 2016, working mainly with Danny Hughes and Dave Clarke. His work has been mainly on coordination of distributed components, often associated to the Reo coordination language, and on formal approaches to software product line engineering. More recently he has been working with binding and component models for embedded devices in the context of the LooCI middleware and micro PnP (now part of VersaSense), and in the context of the VirtuosoNext RTOS. Before he graduated in University of Minho, Portugal, for a 5 year degree in Mathematics and Computer Science. He studied abroad for 6 months as an Erasmus student in Bristol University, UK. He defended his PhD in Leiden University in May 2011, for his work carried in CWI, Amsterdam, in the group for Foundations of Software Engineering.
Pedro Miguel Santos is currently holding positions as assistant researcher at CISTER and as invited assistant lecturer at the University of Porto. He received his B.Sc. and M.Sc. degrees in Electrical and Computer Engineering from the University of Porto in 2009, and the Ph.D. in 2017 in the same field and institution, in collaboration with the Instituto de Telecomunicações. Pedro has been a Ph.D student and post-doctoral researcher in numerous national (P2020), European (FP7) and international projects (CMU|Portugal program), and a visitor to the Carnegie Mellon University for three months (through the CMU|PT Vital Responder project). Pedro is a reviewer for a number of forums on communications and networking (IEEE TWC, VNC, VTC, among others) and served or serves as TPC member for IEEE VNC, WCFS and EAI Future5V. His research interests are in wireless propagation, vehicular networking, and Internet-of-Things for smart cities.