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

 

 

 

 

 

 

 

  Teaching / Docencia       (Curso 2021-2022)                                                                                                             

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

              Erasmus Mundus Master in Language and Communication Technologies (LCT)

              Grado en Inteligencia Artificial (Obligatoria de 2º 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