Internship subjects
From Numerical Transition Systems
Revision as of 14:45, 25 November 2019 by Radu iosif (Talk | contribs)
The following internships can be continued with a PhD thesis on already acquired funding:
- [Local Reasoning about Reconfigurable Component-based Systems] (Master level, 6 months)
- [Verifying Concurrent Systems with Automata over Infinite Alphabets] (Master level, 6 months)
