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

 

 

 click

 

 

 

 

 

 

  Teaching / Docencia       (Curso 2019-20)                                                                                                             

             Grado en Ingeniería Informática (Optativa de 4. curso)

              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

              Grado en Ingeniería Informática (Obligatoria de 1er curso

 

  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