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)                                                                                                             

• Formal Methods of Software Development / Métodos Formales de Desarrollo de Software  (descargar Dafny)

             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
   
• Programming Methodology  / Metodología de la Programación

              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