All About EMCL

3.2 Program Objectives

(1)

Graduates in EMCL are able to thoroughly analyze and effectively solve problems in the area of Computational Logic. They have profound knowledge in the different subareas underlying Computational Logic and are able to apply this knowledge to concrete scenarios. They are familiar with formal methods and techniques, they are able to specify, develop, implement and maintain complex systems by formal means, they are able to analyze complex systems and to prove properties of such systems using formal methods.

(2)

Based on their profound knowledge in the area of Computational Logic graduates will be able to solve diverse and complex tasks in computer science and artificial intelligence.

(3)

The qualifications for professional practice and research obtained in EMCL is determined by the master examination. The examination provides a means to determine whether the candidate has a scientific understanding of the field of Computational Logic, whether he/she has acquired the technical knowledge and skills required for professional practice and whether he/she is capable of applying engineering knowledge and scientific methods on his/her own.