This is an old revision of the document!
Optional Exams
Two groups, triennale e magistrale e via via
Curriculum A - Software Development
- IT Security (6 CFU)
- Distributed Systems (6 CFU)
- Formal Languages and Compilers (6 CFU)
- Model Checking (6 CFU)
- Software Engineering II (6 CFU)
- Advanced Databases (6 CFU)
Curriculum B - Modeling and Analysis
- Advanced Databases (6 CFU)
- Articial Intelligence (6 CFU)
- Neural Networks (6CFU)
- Modeling and Simulation (12 CFU)
- Operational Research (6 CFU)
- Computational Mathematics (6 CFU)
- Mobile Calculi (6 CFU)