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

Primera edición:

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 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

Paqui Lucio (photo)

Especificación, Verificación y

Derivación Formal de Programas

Teaching / Docencia (Curso 2016-17)

Research My main areas of interest are:

Publications

Software