![](/project/valu3s/featured_hu43a4cef60718b5c3098f0dfb4241e965_148992_720x0_resize_lanczos_2.png)
![José Proença](/author/jose-proenca/avatar_hu3ee8ea698bb5aa98e316249c9d136ec8_5908411_270x270_fill_q90_lanczos_center.jpg)
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.
Related
- Secure integration of extremely resource-constrained nodes on distributed ROS2 applications
- Realisability of Global Models of Interaction
- Branching pomsets: design, expressiveness and applications to choreographies
- Spreadsheet-based Configuration of Families of Real-Time Specifications
- Caos: A Reusable Scala Web Animator of Operational Semantics