Distributed Systems Engineering (DSE) program
International Master's Program in Computational Logic (MCL) European Master's Program in Computational Logic (EMCL)