Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Fernando Orejas' Home Page
Fernando Orejas
Member of the Programming
Group of the Department of Software,Technical University of Catalonia, in Barcelona.
(These are the English translations of Secció de
Programació,Departament de Llenguatges i Sistemes
Informàtics and Universitat Politècnica de
Catalunya.)
You can contact me using
E-mail: orejas at lsi.upc.edu
Phone: +34-93-413.78.51
Fax: +34-93-413.77.87
or sending regular mail to
Universitat Politècnica de Catalunya
Departament de Llenguatges i Sistemes Informàtics
Campus Nord, Omega
Jordi Girona 1-3
E-08034 Barcelona, Spain.
My main areas of interest are:
- Algebraic methods for software specification and design
- Logic programming
- Graph transformation
- Automated deduction
: Información
aquí
My list of
recent papers is here.
You can find a short CV here
For information about PROLE 2001 click here.
For information about ICGT 2002 click here
For information about ETAPS 2004 click here
For information about the special issue of the Journal on Logic and
Algebraic Programming on Algebraic Specification and Development
Techniques click here
WADT 2004
.
Have you checked my Department's Tech. Rep.
Archive? Interesting, and really well maintained...
These pages are definitely under construction. But which page on
the Web definitely isn't?