Sun 22 - Fri 27 October 2023 Cascais, Portugal
José Proença

Registered user since Thu 24 Nov 2016

Name:José Proença

I am a senior researcher and invited professor at Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, investigating mainly coordination aspects and formal methods in the context of Cyber-Physical Systems. I am actively involved in a H2020 project and in an FCT project, and lead one that finished recently. He currently belongs to the steering committee of 2 international conferences in fundamental computer science, he chaired the program committee of 5 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 16 program-committees of international venues.

My work is mainly on coordination of distributed components, on formal analysis of real-time systems, and on formal approaches to software product line engineering. Before joining ISEP I graduated in University of Minho, Portugal (2005), defended my PhD in Leiden University for my work in CWI, Amsterdam (2011), worked as a postdoc in KU Leuven (until 2015), then in INESC TEC at the U.Minho (until 2019).

Affiliation:Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP)
Personal website: https://jose.proenca.org
Research interests:Software engineering, Formal methods,Concurrency, Coordination models, Wireless sensor networks, Product line engineering, Functional programming languages, Programming in Scala


Show activities from other conferences

SPLASH 2023-profile
View general profile