Advanced Modules at NOVA

In addition to obtaining credit points (crs) in the project (EMCL-B-P: ProjectProject, 16 crs) and Thesis (EMCL-B-T: ProjectProject, 30 crs), as well as in the Soft Skills module (EMCL-B-PCS: Presentation and Communication Skills, 2 or 4 crs), students may obtain credits in the Advanced Modules below (all assigned 12 ECTS - credit points) offered at NOVA:

Constraints
• Acronym: EMCL-A-C
• Brief Description:
The module aims to provide the students with theoretical and practical knowledge on solving combinatorial problems, exploring their declarative modelling with Constraint (Logic) Programming languages and advanced methods to solve them efficiently.

Knowledge Representation
• Reference: EMCL-A-KR
• Brief Description:
This module addresses aspects of knowledge and data systems, with an emphasis on (but not limited to) logic-related approaches for representing and processing knowledge. It includes foundations, regarding both semantics and computation, representation formalisms and reasoning methods, tools, and application areas.
Logics and Languages for Software Reliability and Security
• Reference: EMCL-A-LLSRS
• Brief Description:
The production of software for complex applications, in particular those involving concurrency and security, in which programming errors have serious consequences, has seen some success in the application of formal verification techniques based on model reasoning to establish the correctness of the software.
The purpose of the course is to give an introduction to those techniques.

Semantic Technologies
• Reference: EMCL-A-ST
• Brief Description:
The aim of the module is to make the students familiar with the use of semantic based technologies for building information systems. In particular the module is focused on the so called Semantic Web; by presenting technologies and applications centred on Semantic Web technologies.

Machine Learning
• Acronym: EMCL-A-ML
• Brief Description:
The module aims to provide the students with the basic knowledge on current the basic concepts of machine learning as well as a number of techniques that implement these concepts.

Computer Science Engineering
• Reference: EMCL-A-CSE
• Brief Description:
The Module EMCL-A-CSE is flexibly designed and is composed of two courses of the local Masters in Computer Science. The courses are student tailored upon a discussion with the EMCL coordinator at NOVA.