Name:José Proença

Bio:

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).

Country:Portugal

Affiliation:ISEP P.PORTO & INESC TEC

Research interests:Software engineering, Formal methods,Concurrency, Coordination models, Wireless sensor networks, Product line engineering, Functional programming languages, Programming in Scala