Doctorate

Concentration Area: Computer Science

Line of research: Data Analysis, Knowledge Discovery and Information Retrieval

Compulsory disciplines:

• Computer Architecture
• Doctoral Thesis Preparation
• Computing Theoretical Foundations
• Research Methodology
• Algorithm Design and Analysis
• Publication of Scientific Articles
• Qualification

Optional disciplines:

• Bio-inspired Algorithms
• Algorithms for Bioinformatics
• Machine Learning and Pattern Recognition
• Statistical Learning and Neural Networks
• Introduction to Formal Concept Analysis
• Serious Games
• Access Methods for Similarity Search
• Qualitative Research Methods
• User Experience Data Mining on the WEB
• Data Mining on Biological Sequences
• Time Series Mining
• Image Processing Using Graphs
• Digital Image Processing
• Multimedia Information Retrieval by Content
• Topics in Data Analysis, Knowledge Discovery and Information Retrieval I
• Topics in Data Analysis, Knowledge Discovery and Information Retrieval II
• Topics in Data Analysis, Knowledge Discovery and Information Retrieval III
• Topics in Data Analysis, Knowledge Discovery and Information Retrieval IV

Research line: Software Engineering and Computer Systems

Compulsory disciplines:

• Computer Architecture
• Doctoral Thesis Preparation
• Computing Theoretical Foundations
• Research Methodology
• Algorithm Design and Analysis
• Publication of Scientific Articles
• Qualification

Optional disciplines:

• Advanced Processor Architectures
• Mobile Computing
• Ubiquitous Computing
• Software Engineering for Ubiquitous Computing
• Software Engineering for Parallel Systems
• Engineering and Architecture of Large-Scale Distributed Systems
• Network Optimization
• Parallel and Distributed Programming
• Complex Networks: Theory and Algorithms
• New Generation Networks
• Computing Systems for Mobile Devices
• Topics in Software Engineering and Computer Systems I
• Topics in Software Engineering and Computer Systems II
• Topics in Software Engineering and Computer Systems III
• Topics in Software Engineering and Computer Systems IV
• Symbolic Model Verification

Master's course

Concentration Area: Computer Science

Research line: Data Analysis, Knowledge Discovery and Information Retrieval

Compulsory disciplines:

• Computer Architecture
• Master's Thesis Preparation
• Computing Theoretical Foundations
• Research Methodology
• Algorithm Design and Analysis
• Publication of Scientific Articles
• Qualification

Optional disciplines:

• Bio-inspired Algorithms
• Algorithms for Bioinformatics
• Machine Learning and Pattern Recognition
• Statistical Learning and Neural Networks
• Introduction to Formal Concept Analysis
• Serious Games
• Access Methods for Similarity Search
• Qualitative Research Methods
• User Experience Data Mining on the WEB
• Data Mining on Biological Sequences
• Time Series Mining
• Image Processing Using Graphs
• Digital Image Processing
• Multimedia Information Retrieval by Content
• Topics in Data Analysis, Knowledge Discovery and Information Retrieval I
• Topics in Data Analysis, Knowledge Discovery and Information / Retrieval II
• Topics in Data Analysis, Knowledge Discovery and Information Retrieval III
• Topics in Data Analysis, Knowledge Discovery and Information Retrieval IV

Research line: Software Engineering and Computer Systems

Compulsory disciplines:

• Computer Architecture
• Master's Thesis Preparation
• Theoretical Foundations of Computing
• Research Methodology
• Algorithm Design and Analysis
• Publication of Scientific Articles 
• Qualification

Optional Disciplines:

• Advanced Processor Architectures
• Mobile Computing
• Ubiquitous Computing
• Software Engineering for Ubiquitous Computing
• Software Engineering for Parallel Systems
• Engineering and Architecture of Large-Scale Distributed Systems
• Network Optimization
• Parallel and Distributed Programming
• Complex Networks: Theory and Algorithms
• New Generation Networks
• Computer Systems for Mobile Devices
• Topics in Software Engineering and Computer Systems I
• Topics in Software Engineering and Computer Systems II
• Topics in Software Engineering and Computer Systems III
• Topics in Software Engineering and Computer Systems IV
• Symbolic Model Verification