-
. To explore and investigate this topic, the project will combine formal methods, programming language theory and semantic technologies, aiming to develop systematic techniques for handling protected data
-
interdisciplinary research in the areas of information modelling, formal ontology, and digital engineering. The main research initiative of SIRIUS Labs is the development of the Information Modelling Framework (IMF
-
twin architectures. To explore and investigate this topic, the project will combine formal methods, programming language theory and semantic technologies, aiming to develop systematic techniques
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions