VALU3S (2020-now)
VALU3S logo
José Proença
Senior Assistant Researcher
José Proença is an assistant 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. He is actively involved in a H2020 project and in 2 FCT projects, in one of which as coordinator. 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.
Posts
Introduction to Model Checking
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.
