Equivalência ao grau de Doutor em Matemática (Álgebra, Lógica e Fundamentos), Faculdade de Ciências, Universidade de Lisboa, 2002
Doutoramento em Matemática, Universidade de St. Andrews, Reino Unido, 2001
Licenciatura em Matemática, Faculdade de Ciências, Universidade de Lisboa, 1997
Posição actual, data de início:
Professora Auxiliar, Departamento de Matemática, Universidade de Évora, 2001
Principal Área de Investigação:
Aspectos Combinatórios e Computacionais na Teoria dos Semigrupos
Outras Áreas de Interesse:
Combinatória de palavras.
Publicações
Araújo, Isabel M.; Ruskuc, N. On finite presentability of direct products of semigroups Algebra Colloquium, 7 (2000), 83-91 (Artigo em Revista Científica Internacional com arbitragem)
Araújo, Isabel M.; Solomon, Andrew Computing with semigroups in GAP - a tutorial Proceedings of the International Conference on Semigroups (Braga 1999), (2000), 1-25 (Comunicação em Actas de Conferência com arbitragem)
Araújo, Isabel M.; Ruskuc, N. Finite presentability of Bruck-Reilly extensions of groups J. Algebra, 242 (2001), 20-30 (Artigo em Revista Científica Internacional com arbitragem)
Araújo, Isabel M. Combinatorial properties of products and other constructions of semigroups Ph.D. Thesis, University of St. Andrews, United Kingdom, 2001 (Tese)
Araújo, Isabel M. Finite presentability of semigroup constructions Internat. J. Algebra and Computation, 12 (1-2) (2002), 19-31 (Artigo em Revista Científica Internacional com arbitragem)
Araújo, Isabel M.; Kelarev, A.; Solomon, A. An algorithm for commutative semigroup algebras which are principal ideal rings Communications in Algebra, 32 (2004), 1237-1254 (Artigo em Revista Científica Internacional com arbitragem)
Araújo, Isabel M.; Bruyère, V. Sturmian words and a criterium by Michaux-Villemaire Theoret. Comput. Sci., 339 (2005), 88-102 (Artigo em Revista Científica Internacional com arbitragem)
Araújo, Isabel M.; Véronique Bruyère Words derivated from Sturmian words Theoret. Comput. Sci., 340 (2005), 204-219 (Artigo em Revista Científica Internacional com arbitragem)
Araújo, Isabel M.; Bruyère, Véronique Sturmian words: dynamical systems and derivated words Proc. DLT'05, Lect. Notes Comput. Sci., 3572 (2005), 122-133 (Comunicação em Actas de Conferência com arbitragem)
Comunicações
Direct products of semigroups
Seminário de Álgebra Combinatória, Universidade de St. Andrews, Reino Unido, 01/1999
Finite presentability of direct products of semigroups
International Conference on Semigroups, Braga, Portugal, 06/1999
Finite presentability of Bruck-Reilly extensions of groups
Second semigroup conference in honour of Prof. Evgeniy Sergeevitch Ljapin, São Petersburgo, Russia, 07/1999
Reidemeister type rewriting for semigroups
Seminário de Álgebra Combinatória, Universidade de St. Andrews, Reino Unido, 09/1999
Finite presentability of semigroup constructions
Seminário de Algebra, Universidade de Sydney, Australia, 01/2000
Finite presentability of semigroup constructions
Seminário de Algebra das Universidades de Edimburgo e Heriot-Watt, Reino Unido, 02/2000
Direct Products of Semigroups
52nd British Mathematical Colloquium, Leeds, Reino Unido, 04/2000
Finite presentability of semigroup constructions
Seminário de Teoria de Grupos, Ohio State University, Columbus, Ohio, E.U.A., 05/2000
Finite generation and finite presentability of unions of semigroups
International Conference on Geometric and Combinatorial Methods in Group Theory and Semigroup Theory, Universidade do Nebraska - Lincoln, E.U.A., 05/2000
An introductory course on programming in GAP
Universidade de St Andrews, Reino Unido, 06/2000
Apresentações finitas para produtos semidirectos de semigrupos
Seminários de Projecto - Semigrupos e Linguagens, CAUL, 24/04/2001
Direct products of semigroups - finite presentability, decidability questions and graphs
Seminário destinado a estudantes do último ano da licenciatura em Matemática, Universidade de St Andrews, Reino Unido, 25/06/2001
Finite presentability of Bruck--Reilly extensions of groups
Groups St Andrews, Oxford, Reino Unido, 17/08/2001
On deciding finite presentability for direct products of semigroups
Universidade de Leicester, Reino Unido, 03/09/2001
Algumas propriedades combinatórias de Semigrupos
Seminários de Álgebra, CAUL, 27/09/2002
Algumas propriedades combinatórias de semigrupos
Seminário Conjunto CIMA / Departamento de Matemática, Universidade de Évora, Portugal, 10/10/2002
Apresentabilidade finita de construções de semigrupos
Seminário de Semigrupos, Faculdade de Ciências da Universidade do Porto, Portugal, 22/11/2002
On Sturmian Words
St Andrews, Escócia, 06/06/2003
Sturmian words and a criterium by Michaux-Villemaire
Words'03, Turku, Finlândia, 09/2003
Palavras Sturmianas
Seminário conjunto CIMA/Departamento de Matemática, Universidade de Évora, 11/2003
Sobre Palavras Sturmianas
Seminários de Álgebra, CAUL, 28/11/2003
Les mots sturmiens et un critère par Michaux-Villemaire
Seminário Interuniversitário de Lógica, Université Libre de Bruxelles, Bruxelas, Bélgica, 04/2004
Words derivated from Sturmian words
Journées Montoises d'Informatique Théorique à Liège, 09/2004
Participação em Conferências
International Conference on Semigroups and Applications
Universidade de St Andrews, St. Andrews, Reino Unido, 2-9/07/1997
International Workshop on Computational Algebra and Applications to Semigroup Theory
CAUL, Lisboa, Portugal, 17-21/11/1997
International School on Automata and Languages
"Thematic Term on Semigroups, Algorithms, Automata and Languages", Centro Internacional de Matemática, Universidade de Coimbra, Portugal, 4-8/06/2001
