ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
José Proença

Registered user since Thu 24 Nov 2016

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

Contributions

ECOOP 2022 API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)
Show activities from other conferences

Using general profile