VALU3S (2020-2023)
VALU3S logo
José Proença
Assistant Professor
José Proença is an Assistant Professor at Faculty of Science of the University of Porto, and a researcher at the Research Center in Real-Time & Embedded Computing Systems, ISEP, in Portugal. His core research targets coordination aspects and formal methods in the context of Cyber-Physical Systems. He is actively involved in a NextGenerationEU project and in 1 FCT project. He currently belongs to the steering committee of 2 international conferences in fundamental computer science, he chaired the program committee of 6 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 19 program-committees of international venues.
Posts
VVML - Specifying Workflows for Verification & Validation Methods
Lecture given in a Summer School on V&V - https://valu3s.eu/summer-school-2023/
Introduction to Model Checking (video)
Video of an introductory session on what is Model Checking given in a training session for the VALU3S project.
Programs for the physical world -- describing vehicles and fireflies
Joint work between HasLAB/INESC TEC and CISTER/ISEP, to develop a programming language with differential equations.
