| # | Name / Author | Supervisor / Affiliation | Years |
|---|---|---|---|
| 1 | Classical, quantum, and post-quantum aspects of Kochen-Specker contextuality scenarios
Author: Raman Choudhary |
Supervisor: Rui Soares Barbosa Cosupervisor: Luís Paulo Peixoto dos Santos Cosupervisor: Shane Mansfield UM - DI / OTHER |
2021 - 2025 |
| 2 | Strategic Attribute Grammars: Techniques, Tools and Applications
Author: José Nuno Macedo |
Supervisor: João Saraiva UM - DI / HASLab - INESC TEC |
2019 - 2025 |
| 3 | Extending Conflict Free Replicated Data Types Fault Models
Author: Houssam Yactine |
Supervisor: Ali Shoker UM - DI / HASLab - INESC TEC |
2016 - 2025 |
Events
Check incoming events
FAQ
For incoming Students
Check FAQ's for incoming students for answers to commonly asked questions.
FAQ
For current Students
Mailing List
Subscription