Projects per year
Projects
- 1 Active
-
Automated Reasoning about Randomized Algorithms
Bøving, O. E. (PhD Student), Matheja, C. (Main Supervisor) & Lluch Lafuente, A. (Supervisor)
01/11/2023 → 31/10/2026
Project: PhD