Specialised Engineering course in Computer Science.
- Software Engineering projects using several paradigms
- Functional programming with Typescript
- Imperative programming with C
- Object Oriented Programming with Java and C++
- Data Science
- Causal analysis (practical work with causal-ananke library)
- Data Processing with scikit-learn and Jupyter
- Neural models with PyTorch
- Numerical Analysis and Linear programming with Python
- Introduction to Operating System Programming and Computer System Architectures
- Formal methods and algorithms
- Graph and tree structure algorithmics
- Program verification and logical analysis
- Finite-state machine
- Introduction compiling
- Business and management courses