| PRINCIPLES OF COMPUTER SCIENCE I (10629560 β) | 1st - 1st | ENG | Bioinformatics (33455) | Curriculum unico |
| LINEAR ALGEBRA (10627226 β) | 1st - 1st | ENG | Applied Computer Science and Artificial Intelligence (33502) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10629106 β) | 1st - 2nd | ENG | Computer Science (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10629106 β) | 1st - 2nd | ENG | Computer Science (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 β) | 2nd - 2nd | ENG | Computer Science (33508) | Curriculum unico |
| FORMAL METHODS FOR AI-BASED SYSTEMS ENGINEERING (10607006 β) | 2nd - 2nd | ENG | Computer Science (33508) | Curriculum unico |