Master specializations
| 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 |
|---|---|---|
| ANIE-ARC | Advanced Computer Architecture | 5 |
| ANI-BVS | Embedded Security | 5 |
| ANI-BVSE | Embedded Security | 6 |
| ANI-BKO | Error Control Coding | 5 |
| ANIE-KOP | Combinatorial Optimization | 6 |
| ANIE-SIM | Digital Circuit Simulation and Verification | 5 |
| ANIE-BVS | Embedded Security | 5 |
| ANIE-EHW | Embedded Hardware | 5 |
| ANI-EHW | Embedded Hardware | 5 |
| ANIE-ESW | Embedded Software | 5 |
| ANI-ESW | Embedded Software | 5 |
| ANIE-BKO | Error Control Coding | 5 |
| ANI-KOP | Combinatorial Optimization | 6 |
| ANIE-COM | Network Communication | 5 |
| ANI-ARC | Advanced Computer Architecture | 5 |
| ANI-SIM | Digital Circuit Simulation and Verification | 5 |
| ANI-SIME | Digital Circuit Simulation and Verification | 6 |
| ANI-COM | Network Communication | 5 |
| UNIK-TP | Computer technology | 6 |
| UNI-TP | Computer technology | 6 |
| ANIE-TSP | Testing and Reliability | 5 |
| ANI-TSP | Testing and Reliability | 5 |