- Development of variations of multi-relational fuzzy and probabilistic semantics for Reo connectors, using use-cases from medical systems based on the Arden syntax (4M). - Specification of a dynamic logic to verify and specify connectors via refinments (4M). - Study of equivalence notions for these fuzzy models (bisimulations and refinements), and their relation with the proposed logic (4M).
master's degree in computer science or mathematics
Minimum profile required
Master with some research experience in the scientific area of the project, and knowledgeable in the respective area (fuzzy logics and coordination models).
Participation in research projects in formal methods, with emphasis on algebraic analysis of computational models. Knowledge of concurrent languages. Good graduation grades.
Since 26 May 2020 to 08 Jun 2020
Cluster / Centre
Computer Science / High-Assurance Software