Enter search term
Desplegar navegación
Log in
Doctoral School
Desplegar navegación
Doctoral School
Presentation
Governance
Coordinators
Regulations
Code of good practices
Where to find us
+
Studies
What are they?
Duration
Programmes
+
Training Area
Admission and Enrolment
Admission
Enrolment
FAQ
+
Students
Registration of PhD Thesis
Written commitment
Activity document – Research Plan
Joint evaluation schedule
Grants and Mobility
Industrial PhD Mention
Continuity
Temporary leave
Extensions
FAQ
+
PhD Thesis
What is the Thesis?
Tutor and Director
Procedures and deadlines
Forms and Documents
Thesis Presentation / Binding rules
‘Papers-style’ thesis
Co-tutorship Thesis
International Mention
Industrial Mention
Thesis in publicity phase
Meeting schedule of the Doctorate Committee
E-prints repository
Teseo
Extraordinary PhD Award
+
Other procedures
Application for equivalence
Library of Theses
Research
Bibliometric portal
+
Home
»
Search
Directorio
José Alberto Verdejo López
Facultad de Informática
Departamento de Sistemas Informáticos y Computación
PDI Funcionario
C/ Profesor José García Santesmases, 9
Ciudad Universitaria
28040 - MADRID
jalberto@ucm.es
91 394 7554
Research by José Alberto Verdejo López
Grupos de Investigación
DISEÑO Y ANÁLISIS FORMAL DE SISTEMAS DE SOFTWARE
Miembro
