*** Modified files in JOE when it aborted on Thu Jan 22 16:21:25 2004 *** JOE was aborted because the terminal closed *** File '(Unnamed)' index.html index.html *** Modified files in JOE when it aborted on Thu Dec 30 20:37:00 2004 *** JOE was aborted because the terminal closed *** Modified files in JOE when it aborted on Thu Dec 30 20:37:00 2004 *** JOE was aborted by signal 1 *** File '(Unnamed)' index.html *** Modified files in JOE when it aborted on Wed Jan 5 12:05:42 2005 *** JOE was aborted because the terminal closed *** Modified files in JOE when it aborted on Wed Jan 5 12:05:42 2005 *** JOE was aborted by signal 1 *** Modified files in JOE when it aborted on Wed Jan 5 12:06:05 2005 *** JOE was aborted because the terminal closed *** File '(Unnamed)' index.html index.html index.html index.html *** Modified files in JOE when it aborted on Wed Jan 5 12:59:17 2005 *** JOE was aborted because the terminal closed *** File '(Unnamed)' index.html index.html index.html index.html *** Modified files in JOE when it aborted on Fri Mar 4 18:17:36 2005 *** JOE was aborted by signal 1 *** File '(Unnamed)' index.html index.html index.html index.html *** Modified files in JOE when it aborted on Sun Mar 6 11:36:21 2005 *** JOE was aborted because the terminal closed *** Modified files in JOE when it aborted on Sun Mar 6 11:36:21 2005 *** JOE was aborted by signal 1 *** File '(Unnamed)' index.html *** File 'index.html' Jose Luis Freire Nistal's Home Page HTML Document

José Luis Freire Nistal

Mail Address:
Dept. Computación, Facultade de Informática.
Universidade da Coruña,Campus de Elviña, E-15071.
A Coruña, SPAIN
Phone Number: +34-81-167000
Fax Number: +34-81-167160
e-mail:freire EN dc.fi.udc.es
Last Update: March  6, 2005

Positions:

Currently: 

Professor of Computer Science (Catedrático de Universidad)
LFCIA, Department of Computer Science
Faculty of Informatics, University of A Coruña (SPAIN) since 1991  

Teaching:
Discrete Mathematics II  Fall'04
Formal Verification  Spring'05

Formerly:

University of Santiago de Compostela (Spain) Professor (since -infinity till 1991)
University Johannes Kepler of Linz (Austria): Institute for Systemtheory and Simulation headed by professor Franz Pichler (now Institute for Formal Models and Verification):   Guest professor (Winter 2001) (Summer 2003).


Research


Some links

  • ACM Portal

  • J. L. Freire Nistal / freire EN fi.udc.es
    *** Modified files in JOE when it aborted on Sun Mar 6 11:42:35 2005 *** JOE was aborted because the terminal closed *** File '(Unnamed)' index.html index.html *** File 'index.html' Jose Luis Freire Nistal's Home Page HTML Document

    José Luis Freire Nistal

    Mail Address:
    Dept. Computación, Facultade de Informática.
    Universidade da Coruña,Campus de Elviña, E-15071.
    A Coruña, SPAIN
    Phone Number: +34-81-167000
    Fax Number: +34-81-167160
    e-mail:freire EN dc.fi.udc.es
    Last Update: March  6, 2005

    Positions:

    Currently: 

    Professor of Computer Science (Catedrático de Universidad)
    LFCIA, Department of Computer Science
    Faculty of Informatics, University of A Coruña (SPAIN) since 1991  

    Teaching:
    Discrete Mathematics II  Fall'04
    Formal Verification  Spring'05

    Formerly:

    University of Santiago de Compostela (Spain) Professor (since -infinity till 1991)
    University Johannes Kepler of Linz (Austria): Institute for Systemtheory and Simulation headed by professor Franz Pichler (now Institute for Formal Models and Verification):   Guest professor (Winter 2001) (Summer 2003).


    Research


    Some links

  • ACM Portal

  • J. L. Freire Nistal / freire EN fi.udc.es
    *** Modified files in JOE when it aborted on Sun Jul 31 11:21:27 2005 *** JOE was aborted because the terminal closed *** File '(Unnamed)' index.html index.html *** Modified files in JOE when it aborted on Fri Mar 24 14:41:18 2006 *** JOE was aborted because the terminal closed *** Modified files in JOE when it aborted on Fri Mar 24 14:41:18 2006 *** JOE was aborted by signal 1 *** File '(Unnamed)' index.html index.html index.html index.html *** Modified files in JOE when it aborted on Sat Jun 24 12:13:24 2006 *** JOE was aborted because the terminal closed *** Modified files in JOE when it aborted on Sat Jun 24 12:13:24 2006 *** JOE was aborted by signal 1 *** File '(Unnamed)' index.html index.html *** Modified files in JOE when it aborted on Tue Dec 4 18:58:19 2007 *** JOE was aborted because the terminal closed *** File '(Unnamed)' index.html *** Modified files in JOE when it aborted on Thu Sep 24 08:49:51 2009 *** JOE was aborted because the terminal closed *** Modified files in JOE when it aborted on Thu Sep 24 08:49:51 2009 *** JOE was aborted by signal 1 *** File '(Unnamed)' index.html