معرفی
José Proença is a Lecturer and Integrated PhD Researcher at CISTER Research Centre, ISEP, Portugal. He is currently a postdoc focusing on formal models for component-based systems. Previously, he worked at HASLab (University of Minho) and Distrinet (KU Leuven), collaborating with researchers like Luís Barbosa, Danny Hughes, and Dave Clarke. His expertise includes coordination of distributed components (Reo language), software product line engineering, and embedded systems (LooCI middleware and VirtuosoNext RTOS).
Education: 5-year degree in Mathematics and Computer Science from University of Minho, with an Erasmus exchange at Bristol University, UK. PhD in Computer Science from Leiden University (2011), conducted at CWI, Amsterdam, in the Foundations of Software Engineering group.
Research interests span formal methods, distributed systems, embedded systems, and software engineering. He has contributed to projects like IBEX (quantitative cyber-physical programming) and MARS (toolset for real-time systems). His work emphasizes practical applications of formal models in real-time and safety-critical systems.
Publications focus on coordination models, multiparty session types, and formal verification, with contributions to journals like Science of Computer Programming and conferences such as COORDINATION and FMAS. He actively collaborates on tools like CAOS (Scala framework) and ARx (reactive programming for connectors).
