Professional Position
Academic
Qualifications
- Ph.D. in Mathematics (Equivalence), University of Minho, May
1999
- Ph.D. in
Mathematics/Informatics, Laboratoire d’Informatique Théorique et
Programmation (actual LIAFA), University of Paris 6, France, November 1998
- Aproval in the Provas
de Aptidão Pedagógica e Capacidade Científica,
University of Minho, July 1993
- Licenciatura in Teaching of Mathematics, University
of Minho, July 1989
Present Positions
Research
Interests
- Language and automata theory
Participation in
Research Projects
- SAL (Semigroups, Automata and Languages),
PBIC/C/CEN/1021/92
- AGC (Algebra,
Geometry and Combinatory), Praxis/2/2.1/ MAT/63/94
- ASMICS (Algebraic and Syntactic Methods in Computer
Science), Contract 3166 from the European Communities Commission,
program ESPRIT-Basic Research Actions
- INTAS project Combinatorial
and geometric theory of groups and semigroups and its application to
computer science, INTAS 99-1224
- PAS (Algorithmic problems in finite semigroup
theory), POCTI/32817/MAT/2000
- Automata, profinite semigroups and symbolic
dynamics, Egide/Grices 11113YM, PESSOA French-Portuguese project, 2006-2007
- AutoMathA
(Automata: from Mathematics to Applications), ESF, 2005-2010
- ASA (Autómatos, Semigrupos e Aplicações), PTDC/MAT/65481/2006