| INFO0009-1 | | Introduction to Data Bases | | Holder |
| INFO0012-1 | | Computation Structures | | Holder |
| INFO0016-1 | | Introduction to the Theory of Computation | | Holder |
| INFO0039-1 | | Object-Oriented Programming Project | | Holder |
| INFO0060-1 | | Concurrent System Verification and Temporal Logic | | Holder |
| INFO0440-1 | | Data processing (included data processing applied to biomedical processes) | | Substitute |