EUROPEAN
CURRICULUM VITAE
FORMAT
P ERSONAL INFORMATION
Name
Address
Telephone
Fax
Email
URL
Nationality
Date of birth
José Bernardo Santos Monteiro Vieira BARROS
Rua de Cimães, São Mamede de Este, 4715-523 Braga, Portugal
+351 263 604 450
+351 263 604 471
[email protected]
www.di.uminho.pt/~jbb
Portuguese
10, February, 1965
W ORK EXPERIENCE
•
Assoc. Prof.
Dates: since 2001
Employer: University of Minho, Portugal
Sector: Dept. of Informatics
Position held: Associate Professor
Main activities: teaching & research
Aux. Prof.
Dates: 1995-2201
Employer: University of Minho, Portugal
Sector: Dept. of Informatics
Position held: Auxiliary Professor
Main activities: teaching & research
Lecturer
Dates: 1989-1995
Employer: University of Minho, Portugal
Sector: Dept. of Informatics & Control
Position held: Assistant lecturer
Main activities: teaching & research
•
•
E DUCATION AND TRAINING
•
D.Phil.
Year: 1995
Academic degree: Doctor in Philosophy
Institution: Programming Research Group, Oxford University (Wolfson), UK
M.Sc.
Year: 1992
Academic degree: Master of Science
Institution: Programming Research Group, Oxford University (Wolfson), UK
•
Page 1 - Curriculum vitæ of
José Bernardo Santos Monteiro Vieira
Barros
•
Lic.
Year: 1988
Academic degree: Licenciatura
Institution: University of Minho, Portugal
T ECHNICAL SKILLS
•
Areas of research
•
Current research
•
Other skills
Computer science: Functional Programming, program understanding, program verificaion.
Programm derivation and verification
Cooking
P H .D. CO - SUPERVISION
•
Manuel Alcino Cunha
Subject: Point-free program calculation
Institution: U. Minho
Date: 2005.
PARTICIPATION IN RESEARCH
PROJECTS
•
PURe
Program Understanding and Re-engineering: Calculi and Applications (FCT under contract
POSI/ICHS/44304/2002)
P UBLICATIONS
•
(see full CV in www.di.uminho.pt/~lsb/MinhoCV/JBB-fullCV.pdf)
P ROGRAMME C OMMITTEES
•
Page 2 - Curriculum vitæ of
José Bernardo Santos Monteiro Vieira
Barros
(see full CV in www.di.uminho.pt/~lsb/MinhoCV/JBB-fullCV.pdf)