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

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 Segunda edición: papel  eBook en PDF Fe de erratas a la primera edición:  (Este documento se ira actualizando a medida que se detecten nuevas erratas, por ello incluye fecha en su cabecera)

Desarrollo de Software con Verificadores Deductivos Automáticos:     Presentación  

 Demos:                 RootApprox.mp4

            BinarySearch.mp4

            Quicksort-con-narracion.mp4

  Teaching / Docencia       (Curso 2016-17)                                                                                                             

• Formal Methods of Software Development / Métodos Formales de Desarrollo de Software 

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

• Computational Logic, Semantics and Pragmatics / Lógica, Semántica y Pragmática Computacional

              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

• Advanced Techniques in Embedded Systems  (Model Checking) / Tecnicas avanzadas en sistemas empotrados (Model Checking)
  
       Máster Universitario en Ingeniería de Sistemas Empotrados
   
• Automated Reasoning  / Razonamiento Automático

              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