Education

The ACP section is actively involved in different educations at multiple levels. If you are a student or professional interested in learning with us, you are very welcome to contact us!

B.Sc. Courses

At the undergraduate level, we offer courses within the degrees of Computer Science and Artificial Intelligence.

M.Sc. and PhD Courses

At the graduate level, we offer courses for the M.Sc. degree in Computer Science, the M.Sc. degree in Quantum Computing, and the PhD school in Computer Science.

Some of the courses that we offer in these contexts (strikethrough indicates courses not currently available):

• Advanced Functional Programming
• Applied Cybersecurity
• Cryptographic Engineering
• Human-centred cybersecurity and privacy
• Quantum Algorithms
• Quantum Platforms and Programming
• Advanced Software Engineering
• Concurrency Theory
• Distributed Systems
• Microservices and DevSecOps
• Programming Language Foundations
• Usable Security

PhD Reading Group

Our PhD students, supervised by some faculty members, organize the Programming Languages, Semantics, Logic (PLSL) reading group. While the group is tailored around the needs of PhD candidates, motivated M.Sc. students, lecturers, and professionals are also welcome.

Continuous Education and Courses for Professionals

We offer several courses for professionals and companies, spanning topics such as cloud computing, cybersecurity, formal methods, microservices, and software development. See more at the list of courses for continuous education at our department.