José Proença (Events)

José Proença (Events)

PhD Leiden University, Netherlands
Lecturer, Integrated PhD Researcher

José Proença is currently a postdoc at CISTER, ISEP, Portugal, 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.

 

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Conferences and Workshops

COORDINATION 2021
14, Jun, 2021 >> 18, Jun, 2021
Online
Steering Committee Member
F-IDE 2021
24, May, 2021 >> 28, May, 2021
Online
Program Committee Co-Chair
FSEN 2021
19, May, 2021 >> 21, May, 2021
Online
Program Committee member
TACAS 2021
27, Mar, 2021 >> 1, Apr, 2021
Online
Artifact Evaluation Committee Member
RTSS 2020
1, Dec, 2020 >> 4, Dec, 2020
Online
Participant
ICTAC 2020
30, Nov, 2020 >> 4, Dec, 2020
Online
Participant
[CANCELLED] FOCLASA 2020
15, Sep, 2020
Online
Program Committee member
COORDINATION 2020
15, Jun, 2020 >> 19, Jun, 2020
Online
Steering committee member
F-IDE 2019
7, Oct, 2019
Porto, Portugal
Program Committee Co-Chair
FOCLASA 2019
17, Sep, 2019
Oslo, Norway
Program Committee member
Coordination 2019
18, Jun, 2019 >> 21, Jun, 2019
Copenhagen, Denmark
Steering committee member
FSEN 2019
1, May, 2019 >> 3, May, 2019
Tehran, Iran
Program Committee member

Talks

Seminar Series 2019 - José Proença
11, Apr, 2019 10:30
Porto, Portugal
Speaker