-
verification of reactive systems and embedded systems. The aim of this project is divided into two main stages: - Study decision problems related to natural strategies and analyze their computational complexity
-
from mobiles operating in these networks. Your main tasks will be to: To carry out research missions in the field of exposure and use of AI. To ensure supervision and tutoring missions To contribute
-
to detect vulnerabilities, repair them, and inform developers about their presence in open source software projects. Main responsabilities : Carry out research missions in the field of software engineering
Searches related to master
Enter an email to receive alerts for master positions