PhD Gilberto Pérez Vega  

(TIT-EU DR)

Department Computer Science
Knowledgment area Algebra
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
Algebra 105
Algorithms 10
Discrete Mathematics 100
Final Project. Mention in Computer Science 4
Software Verification and Validation 35
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
120
Discrete Mathematics
Degree in Computer Engineering
73
Software Verification and Validation
Degree in Computer Engineering
35
Subject and involved studies Total hours
Algebra
Degree in Computer Engineering
88
Discrete Mathematics
Degree in Computer Engineering
120
Software Verification and Validation
Degree in Computer Engineering
42
Subject and involved studies Total hours
Discrete Mathematics
Degree in Computer Engineering
160
Software Verification and Validation
Degree in Computer Engineering
39
Subject and involved studies Total hours
Discrete Mathematics
Degree in Computer Engineering
155
Software Validation and Verification
Degree in Computer Engineering
17
Software Verification and Validation
Degree in Computer Engineering
32
Subject and involved studies Total hours
Discrete Mathematics
Degree in Computer Engineering
200

Defined tutoring by teacher for 2017/2018 academic course.

Faculty of Computer Science

Quarter Day Site
1st quarter Monday
12:30 a 14:30
Despacho 4.01
1st quarter Tuesday
08:30 a 10:30
Despacho 4.01

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.

Research results

No research info found in SUXE for current researcher.