| Code | Course name | Credits |
|---|---|---|
| PI-CFR | Computer Assisted Formal Reasoning | 4 |
| PI-EXA | Experimental algorithmics | 4 |
| PI-PSC | Programmable Circuits and SoC | 4 |
| PI-SCN | Seminars on Digital Design | 4 |
| Code | Course name | Credits |
|---|---|---|
| UNIK-TP | Computer technology | 6 |
| UNI-TP | Computer technology | 6 |