EUROPEAN
CURRICULUM VITAE
FORMAT
P ERSONAL INFORMATION
Name
Address
Telephone
Fax
Email
URL
Nationality
Date of birth
Olga Maria Gomes Martins PACHECO
Departamento de Informatica, Universidade do Minho, Campus de Gualtar,
4710-057 Braga, Portugal
+351 253 604 445
+351 263 604 471
[email protected]
www.di.uminho.pt/~omp
Portuguese
29, Maio, 1965
W ORK EXPERIENCE
•
Aux. Prof.
Dates: since 2002
Employer: University of Minho, Portugal
Sector: Dept. of Informatics
Position held: Auxiliary Professor
Main activities: teaching & research
Lecturer
Dates: 1991-2002
Employer: University of Minho, Portugal
Sector: Dept. of Informatics
Position held: Assistant lecturer
Main activities: teaching & research
•
E DUCATION AND TRAINING
•
Ph.D.
Year: 2002
Academic degree: Philosophy Doctor
Institution: Dept. of Informatics, University of Minho, Portugal
•
M.Sc.
Year: 1993
Academic degree: Master of Science
Institution: Dept. of Informatics, University of Minho, Portugal
Lic.
Year: 1991
Academic degree: Licenciatura
Institution: Dept. of Informatics, University of Minho, Portugal
•
Page 1 - Curriculum vitæ of
Olga Maria Gomes Martins Pacheco
T ECHNICAL SKILLS
•
Areas of research
•
Current research
Computer science: Formal methods in software engineering, modal logics, proof theory
Applied modal logic, neighborhood and relational semantics, combined modal logics
PARTICIPATION IN RESEARCH
PROJECTS
•
STACOS
“Standard-based Cooperative Software”-STACOS, POSI/CHS/48875/2002 (FCT), 2004 2006
MAGO2
MAGO 2 – “Modelling Agents and Organisations”, POSI/SRI/39351/2001 (FCT), 2002 2005
•
•
SARA
SARA –“Sociedades de Agentes Responsáveis e Animados”, PRAXIS XXI
2/2.1/TIT/1662/95 (FCT), 1997-2000.
P UBLICATIONS
•
(see full CV in www.di.uminho.pt/~lsb/MinhoCV/OMP-fullCV.pdf)
P ROGRAMME C OMMITTEES
•
Page 2 - Curriculum vitæ of
Olga Maria Gomes Martins Pacheco
(see full CV in www.di.uminho.pt/~lsb/MinhoCV/OMP-fullCV.pdf)