Foto de Donosti  Department of Computer Languages and Systems

 

Computer Science Faculty

 

University of the Basque Country

 
 

Paqui Lucio (photo)              

Dpto de Lenguajes y Sistemas Informáticos 

Facultad de Informática  UPV-EHU

Paseo Manuel de Lardizabal, 1, 

20080-Donostia, Gipuzkoa,

SPAIN

Email:
 paqui.lucioehu.es
Phone:(+34) 943 015049
Fax: (+34) 943 015590
 

  Teaching                                                                                                                     

 

  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