Paqui Lucio (photo) 

 

 

Dpto de Lenguajes y Sistemas Informáticos / Department of Computer Languages and Systems

Universidad del País Vasco (UPV-EHU) / University of the Basque Country (UPV-EHU)

 

Paseo Manuel de Lardizabal, 1

20018-Donostia

Gipuzkoa,   SPAIN

 

Email:
 paqui.lucioehu.es
Phone: (+34) 943 015049
Fax: (+34) 943 015590

 

 

 

Nuevo libro:

 

 

 

 

 

 

Especificación, Verificación y

Derivación Formal de Programas 

 

Javier Álvez, Xabier Arregi, Jose Gaintzaráin, Paqui Lucio y Montse Maritxalar

Prólogo de Fernando Orejas

 

Editorial Pearson, 2015

 

 

 

A la venta en dos formatos:

 

 

 

Fe de erratas  (Este documento se ira actualizando a medida que se detecten nuevas erratas, por ello incluye fecha en su cabecera)

  Teaching / Docencia       (Curso 2015-16)                                                                                                             

            Grado en Ingeniería Informática

             Grado en Ingeniería Informática

              Erasmus Mundus Master in Language and Communication Technologies (LCT) / Máster Universitario Erasmus Mundus en Tecnologías del Lenguaje y la Comunicación (LCT)

              Máster Universitario en Análisis y Procesamiento del Lenguaje/Hizkuntzaren Azterketa eta Prozesamendua

              Máster Universitario en Ingeniería Informática

              Máster Universitario en Sistemas Informáticos Avanzados

 

  Research    My main areas of interest are:

  • Logic for Computer Science
  • Specification, Transformation  and Verification of Programs
  • Declarative Programming Languages
  • Equality Constraint Solving
  • Graph Transformation
  • Automated Reasoning
  • Temporal Logic
  • Formal Methods in Software Engineering

  Publications

 

   Software