PhD José Pedro Cabalar Fernández  

(TIT-UN)

Department Computer Science
Knowledgment area Computational Science and Artificial Intelligence
Contacto UDC directory

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Total hours
Algorithms 4
Development Methodologies 0
Final Project. Mention in Computer Science 12
Knowledge Representation and Automatic Reasoning 21
Software Verification and Validation 35
Subject and involved studies Total hours
Intelligent Systems
Degree in Computer Engineering
Master's in Computer Engineering
9
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
21
Software Verification and Validation
Degree in Computer Engineering
35
Subject and involved studies Total hours
Intelligent Systems
Degree in Computer Engineering
Master's in Computer Engineering
101
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
19
Software Verification and Validation
Degree in Computer Engineering
42
Subject and involved studies Total hours
Development Methodologies
Degree in Computer Engineering
Master's in Computer Engineering
49
Final Project. Mention in Computer Science
Degree in Computer Engineering
21
Operating Systems
Degree in Computer Engineering
55
Software Verification and Validation
Degree in Computer Engineering
41
Subject and involved studies Total hours
Development Methodologies
Degree in Computer Engineering
Master's in Computer Engineering
42
Final Project. Mention in Computer Science
Degree in Computer Engineering
10
Final Project. Mention in Software Engineering
Degree in Computer Engineering
6
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
28
Operating Systems
Degree in Computer Engineering
40
Software Validation and Verification
Degree in Computer Engineering
14
Software Verification and Validation
Degree in Computer Engineering
35
Subject and involved studies Total hours
Final Dissertation
Master's in Computational Science
3
Intelligent Systems
Degree in Computer Engineering
99
Intelligent Systems
Master's in Computer Engineering
21
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
19
Operating Systems
Degree in Computer Engineering
17

Defined tutoring by teacher for 2017/2018 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Wednesday
11:00 a 14:00
Despacho 4.11
1st quarter Friday
11:00 a 14:00
Despacho 4.11

EOG works and final master thesis directed

Directed or codirected by current teacher since 2013 year.

A Diagrammatic Reasoning Tool for Logic Programming
A type system for functional Answer Set programming.
Tool for musical harmonization through Answer Set Programming
A Planning Tool for Temporal Logic Programs

Research results

No research info found in SUXE for current researcher.

Positions

Academic or management positions held by teacher.

Comisión Académica Programa Oficial de Doctorado en Computación

Secretario/a

From 11/10/2013.

Coordinadores/as Másteres Facultad de Informática

Máster Universitario en Computación
Coordinador/a Master

From 01/10/2011 to 30/09/2012.

Coordinadores/as Másteres Facultad de Informática

Máster Universitario en Computación
Coordinador/a Master

From 01/10/2010 to 30/09/2011.

Coordinadores/as Másteres Facultad de Informática

Máster Universitario en Computación
Coordinador/a Master