Projects per year
Projects
- 3 Active
Search results
-
Active
EQuaL: Equivalence Checking of Quantum Circuits via Tensor Decision Diagrams and Machine Learning
Larsen, K. G. (PI), Schilling, C. (CoI) & Tschaikowski, M. (CoI)
15/12/2024 → 14/12/2027
Project: Research
-
Cosyne: Safe Control Systems with Neural Networks
Schilling, C. (PI)
01/09/2024 → 31/08/2028
Project: Research
-
STORM_SAFE: Software reliability for critical infrastructures: Co-Development, Implementation and wider application of solutions in Pilot Infrastructures such as Storm Surge Barriers
Goorden, M. (Project Applicant), Schilling, C. (Project Applicant), Mikučionis, M. (Project Applicant), Larsen, K. G. (Project Applicant) & Kristjansen, M. (Project Participant)
01/01/2024 → 31/12/2027
Project: Research