Identificação
Identificação pessoal
- Nome completo
- Alfredo Manuel Gouveia da Costa
Nomes de citação
- Costa, Alfredo
Identificadores de autor
- Ciência ID
- 5818-1E1B-D020
- ORCID iD
- 0000-0001-5906-965X
Endereços de correio eletrónico
- amgc@mat.uc.pt (Profissional)
Moradas
- Centro de Matemática da Universidade de Coimbra, Apartado 3008 EC Santa Cruz, 3001-501, Coimbra, Coimbra, Portugal (Profissional)
Websites
- https://apps.uc.pt/mypage/faculty/uc26448/en (Profissional)
Domínios de atuação
- Ciências Exatas - Matemática
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português (Idioma materno) | |||||
Inglês | Utilizador independente (B2) | Utilizador proficiente (C2) | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C2) |
Francês | Utilizador elementar (A2) | Utilizador proficiente (C2) | Utilizador elementar (A2) | Utilizador proficiente (C1) | |
Espanhol; Castelhano | Utilizador elementar (A2) | Utilizador proficiente (C2) | Utilizador elementar (A1) | Utilizador proficiente (C2) |
Percurso profissional
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2023/09/08 - Atual | Professor Associado (Docente Universitário) | Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal |
2007/07/13 - 2023/09/07 | Professor Auxiliar (Docente Universitário) | Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal |
2003/05/31 - 2007/07/12 | Assistente (Docente Universitário) | Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal |
2000/10/02 - 2003/05/30 | Assistente Estagiário (Docente Universitário) | Universidade de Coimbra Faculdade de Ciencias e Tecnologia, Portugal |
Outros
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2000/09/01 - 2000/09/13 | High school professor | Ministério da Educação, Portugal |
1999/09/01 - 2000/08/31 | Practicing high school professor | Ministério da Educação, Portugal |
Produções
Publicações
Artigo em revista |
|
Capítulo de livro |
|
Livro |
|
Prefácio / Posfácio |
|
Atividades
Apresentação oral de trabalho
Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
---|---|---|
2023/09/08 | A profinite approach to complete bifix decodings of recurrent languages | Séminaire Automates
Institut de Recherche en Informatique Fondamentale (Université Paris Cité) (Paris, França)
|
2023/05/05 | A profinite approach to complete bifix decodings of recurrent languages | Seminar on Semigroups, Automata and Languages
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2022/11/15 | Profinite codes | Seminar on Algebra, Logic and Topology
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2022/10/19 | The Karoubi envelope of a semigroup | PhD Seminar session UC|UP Joint PHD Program in Mathematics
(Coimbra, Portugal)
|
2022/07/20 | Equidivisibility and profinite coproduct | Parallel session "Groups and Semigroups" of the Encontro Nacional SPM 2022 (National meeting of the Portuguese Mathematical
Society, 2022)
Portuguese Mathematical Society (Tomar, Portugal)
|
2022/06/24 | Equidivisibility and profinite coproduct | Topology, Algebra, and Categories in Logic 2022
Centre for Mathematics of the University of Coimbra (Coimbra, Portugal)
|
2022/02/18 | The Finite Index Basis Theorem | Seminar on Semigroups, Automata and Languages
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2022/01/24 | The two-sided Karnofsky-Rhodes expansion of a semigroup | Informal Seminar on Categories
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2021/07/15 | O Projeto Delfos e as Olimpíadas de Matemática | Parallel session "Olimpíadas de Matemática" of the Encontro Nacional SPM 2021 (National meeting of the Portuguese Mathematical
Society, 2021)
Portuguese Mathematical Society (Portugal)
|
2020/12/14 | The Finite Index Basis Theorem | Seminar of the Algebra and Logic Group of the Centre of Mathematics and Applications (CMA)
NOVA University Lisbon (web seminar, Portugal)
|
2020/09/15 | The Karoubi envelope of the mirage of a subshift | Seminar on Algebra, Logic and Topology
Centro de Matemática da Universidade de Coimbra (web seminar, Portugal)
|
2020/07/17 | The Karoubi envelope of the mirage of a subshift | Seminar on Semigroups, Automata and Languages
Centro de Matemática da Universidade do Porto (web seminar, Portugal)
|
2020/06/10 | The profinite Schützenberger group defined by a symbolic dynamical system | York Semigroup Seminar
Department of Mathematics, University of York (web seminar, Reino Unido)
|
2019/11/08 | The profinite Schützenberger group defined by a symbolic dynamical system | New York Group Theory Seminar
Graduate Center of the City University of New York (New York City, Estados Unidos)
|
2019/03/14 | Symbolic dynamics and semigroup theory | Semigroup seminar
Department of Mathematics and Statistics at the Faculty of Sciences of Masaryk University (Brno, República Checa)
|
2019/03/07 | Bases for pseudovarieties closed under bideterministic product | Semigroup seminar
Department of Mathematics and Statistics at the Faculty of Sciences of Masaryk University (Brno, República Checa)
|
2019/03/03 | Free profinite semigroups, symbolic dynamics, and codes | AAA 97 — 97. Arbeitstagung Allgemeine Algebra
Technische Universität Wien (Wien, Áustria)
|
2019/02/08 | On the group of a rational maximal bifix code | Seminar on Semigroups, Automata and Languages
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2018/11/28 | On the linear nature of pseudowords | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2018/11/07 | On the group of a rational maximal bifix code | PhD Seminar session UC|UP Joint PHD Program in Mathematics
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2018/09/22 | O grupo de um código bifixo maximal racional | Seminário do CMAT
CMAT - Centro de Matemática (Universidade do Minho) (Braga, Portugal)
|
2018/09/14 | On the group of a rational maximal bifix code | 17ème édition des "Journées Montoises d'Informatique Théorique"
LABRI (Bordéus, França)
|
2018/07/12 | Closure under bideterministic product and locality | International Conference on Semigroups - on the occasion of Mária Szendrei’s 65th birthday
(Lisboa, Portugal)
|
2018/07/09 | O grupo de um código bifixo maximal racional | Encontro Nacional da SPM
Sociedade Portuguesa de Matemática (Bragança, Portugal)
|
2018/02/11 | O envelope de Karoubi de um semigrupo | Jornadas de Matemática da Universidade do Porto
iNIGMA (Porto, Portugal)
|
2018/01/22 | The image of a representation of pseudowords over the aperiodics | Seminário de Álgebra e Lógica
Centro de Matemática e Aplicações (Lisboa, Portugal)
|
2017/10/27 | The image of a representation of pseudowords over the aperiodics | Seminar on Semigroups, Automata and Languages
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2017/07/28 | Equidivisible relatively free profinite semigroups | Conference to celebrate the 70th Anniversary of Peter J. Cameron - Satellite Workshop: Symmetry in Finite and Infinite Structures
(Lisboa, Portugal)
|
2016/11/15 | Equidivisible pseudovarieties of semigroups | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2016/11/04 | A successful pair: symbolic dynamics and (pro)finite semigroups | PhD Seminar session UC|UP Joint PHD Program in Mathematics
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2016/01/21 | Two contributions from symbolic dynamics to the comprehension of Green’s relations in relatively free profinite semigroups | Séminaire Profinis
Institut Gaspard-Monge (Université Paris-Est Marne-la Vallée) (Paris, França)
|
2016/01/15 | Bringing balance to the galaxy of pseudovarieties: equidivisibility | Mini-workshop "C'era una volta in Porto... arrivederci Emanuele Rodaro!"
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2015/07/07 | The Karoubi envelope and the Schützenberger category of a semigroup | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2015/06/15 | Syntactic invariants of flow equivalence of shifts | ALFA 15: Automata, Logic, Formal languages, Algebra June 15, 16, 17 2015
LaBRI (Bordeaux, França)
|
2015/03/13 | The Karoubi envelope and the Schützenberger category of a semigroup | Seminar on Semigroups, Automata and Languages
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2014/11/19 | The Schützenberger category of a semigroup | Algebra Workshop 2014 - 34 years of CAUL
Centro de Álgebra da Universidade de Lisboa (Lisboa, Portugal)
|
2014/06/24 | The Karoubi envelope of sofic, Markov-Dyck and Property (A) shifts | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2013/11/22 | Applications of the Karoubi envelope of a shift | Workshop: Flow equivalence of graphs, shifts, and C*-algebras
Department of Mathematical Sciences, University of Copenhagen (Copenhaga, Dinamarca)
|
2013/07/19 | Syntactic invariants of flow equivalence of symbolic dynamical systems | Seminário conjunto de Sistemas Dinâmicos e de Semigrupos, Autómatos e Linguagens
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2013/07/07 | The locality of a monoid pseudovariety is preserved by the closure under left (right) deterministic product | ALFA 13: Workshop on Automata, Logic, Formal languages, and Algebra
(Riga, Letónia)
|
2013/06/04 | A categorical invariant of flow equivalence of shifts | Automata Theory and Symbolic Dynamics Workshop
Pacific Institut for Mathematical Sciences (Vancouver, Canadá)
|
2013/05/22 | Some semigroup-theoretic aspects of Rauzy graphs of subshifts | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2012/07/09 | Subgrupos maximais do semigrupo profinito livre | Encontro Nacional da SPM
Sociedade Portuguesa de Matemática (Faro, Portugal)
|
2012/05/25 | Some operators that preserve the locality of a pseudovariety of semigroups | Séminaire graphes et logique
Laboratoire Bordelais de Recherche en Informatique (Bordeuax, França)
|
2012/04/20 | Some operators that preserve the locality of a pseudovariety of semigroups | Seminários de Semigrupos e Linguagens
Centro de Álgebra da Universidade de Lisboa (Lisboa, Portugal)
|
2011/01/31 | A categorical invariant of flow equivalence | Seminário de Semigrupos, Autómatos e Linguagens
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2011/01/25 | A categorical invariant of flow equivalence | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2010/11/30 | A categorical invariant of flow equivalence extracted from a semigroup | Seminários de Semigrupos e Linguagens
Centro de Álgebra da Universidade de Lisboa (Lisboa, Portugal)
|
2010/06/23 | Profinite semigroups associated with sofic shifts are free | Automata, Semigroups and Applications’ days
(Porto, Portugal)
|
2010/05/19 | Maximal subgroups of free profinite semigroups | Seminário de Semigrupos, Autómatos e Linguagens
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2010/04/13 | Maximal subgroups of free profinite semigroups | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2009/06/23 | The linear nature of pseudowords | Séminaire général de l'Institut d'électronique et d'informatique Gaspard-Monge
Institut d'électronique et d'informatique Gaspard-Monge, Université Paris-Est Marne-la-Vallée (França)
|
2009/04/24 | The J-classes associated to irreducible symbolic dynamical systems | Workshop on groups, semigroups and applications (A day to remember W. Douglas Munn on the occasion of his 80th birthday)
Centro de Álgebra da Universidade de Lisboa (Lisboa, Portugal)
|
2009/03/10 | The transition semigroup of a centrally labeled Rauzy graph | Séminaire général de l'Institut d'électronique et d'informatique Gaspard-Monge
Institut d'électronique et d'informatique Gaspard-Monge, Université Paris-Est Marne-la-Vallée (França)
|
2009/03/05 | Two contributions from symbolic dynamics to the comprehension of Green's relations in relatively free profinite semigroups | Workshop on Equational Theory of Regular Languages
Masaryk University, Department of Mathematics and Statistics of the Faculty of Science (Brno, República Checa)
|
2009/02/20 | The transition semigroup of a centrally labeled Rauzy graph | Seminário de Semigrupos, Autómatos e Linguagens
Centro de Matemática da Universidade do Porto (Porto, Portugal)
|
2008/06/26 | Aplicação de categorias pequenas com um número infinito de vértices no cálculo de subgrupos maximais do semigrupo profinito livre. | Encontro Nacional da SPM
Sociedade Portuguesa de Matemática (Coimbra, Portugal)
|
2008/01/08 | Using free profinite semigroupoids generated by Rauzy graphs to compute J-maximal subgroups of free profinite semigroups | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2008/01/07 | Semigrupos Profinitos e Dinâmica Simbólica | Seminário de Álgebra e Lógica
Centro de Matemática da Universidade do Minho (Braga, Portugal)
|
2007/12/07 | Semigrupos Profinitos e Dinâmica Simbólica | Seminário de Álgebra
Centro de Álgebra da Universidade de Lisboa (Lisboa, Portugal)
|
2007/09/07 | Profinite words and semigroupoids associated to a subshift | Workshop on Infinite Words, Automata and Dynamics (September 7, 2007): satellite event of the 2nd International Computer Science
Symposium in Russia
Ural Federal University, Yekaterinburg (Ekaterinburg, Rússia)
|
2007/07/04 | The profinite words associated to a subshift | Workshop on Symbolic Dynamics and Coding 2007
Université de Marne-la-Vallée/Paris-Est, France (Institut d'électronique et d'informatique Gaspard-Monge, França)
|
2007/03/13 | Free Profinite Categories and Semigroupoids and how Symbolic Dynamics can help us to understand them | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2006/09/01 | A new algebraic invariant for weak equivalence of sofic subshifts | Mons Days of Theoretical Computer Science 2006
Irisa - Rennes (Rennes, França)
|
2005/02/01 | Invariantes de conjugação de sistemas dinâmicos simbólicos: uma abordagem a partir da teoria de semigrupos profinitos | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
2003/04/23 | Relações entre a dinâmica de operadores implícitos e a estrutura de grupos finitos | Seminário de Álgebra, Lógica e Topologia
Centro de Matemática da Universidade de Coimbra (Coimbra, Portugal)
|
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2022/11/01 - 2023/09/15 | Autómatos e a Conjetura de Cerny. Orientação de bolseiro do programa "Novos Talentos em Matemática" da Fundação Calouste Gulbenkian.
Orientador
|
|
2019/09/16 - 2022/12/14 | Maximal subgroups of free profinite semigroups
Coorientador
|
UC|UP Joint Phd Program in Mathematics (Doutoramento)
Universidade de Coimbra, Portugal
Universidade do Porto, Portugal |
2022/06/01 - 2022/10/21 | A categoria de Schützenberger de um semigrupo com unidades locais
Orientador
|
Centre for Mathematics of the University fo Coimbra, Portugal
|
2010 - 2010 | Trabalho sem título. Orientação de bolseiro do programa "Novos Talentos em Matemática" da Fundação Calouste Gulbenkian.
Orientador
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2021/07/13 - 2021/07/13 | Parallel session "Free groups, free monoids, and formal languages" of the Encontro Nacional SPM 2021 (National meeting of
the Portuguese Mathematical Society, 2021). (2021/07/13 - 2021/07/13)
Seminário (Outra)
|
Sociedade Portuguesa de Matemática, Portugal |
2019/06/27 - 2019/06/29 | Portuguese Workshop on Semigroups (2019)
Oficina (workshop) (Membro da Comissão Organizadora)
|
|
2016/09/19 - 2016/09/21 | Workshop on Dualities 2016 (2016)
Oficina (workshop) (Membro da Comissão Organizadora)
|
|
2016/06/20 - 2016/06/24 | International Conference on Semigroups and Automata 2016 (2016)
Conferência (Membro da Comissão Organizadora)
|
|
2015/06/10 - 2015/06/13 | Special Session "Algebraic Theory of Semigroups and Applications" --- 2015 International Meeting AMS-EMS-SPM (2015)
Encontro (Membro da Comissão Organizadora)
|
|
2015/06/09 - 2015/06/09 | Workshop on Groups and Semigroups on the occasion of the 60th birthday of Mikhail Volkov (2015)
Oficina (workshop) (Membro da Comissão Organizadora)
|
|
2010/11/25 - 2010/11/26 | Dynamical Aspects of Automata and Semigroup Theories - Vienna, Austria (2010)
Oficina (workshop) (Coorganizador)
|
European Science Foundation e Centro de Matemática da Universidade de Coimbra, Áustria |
2009/07/06 - 2009/07/11 | International Conference on Semigroups and related topics (2009)
Conferência (Membro da Comissão Organizadora)
|
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2023/04/28 | Structure, algorithmics and dynamics of endomorphisms for certain classes of groups
Vogal
|
André da Cruz Carvalho (Doutoramento)
Universidade do Porto, Portugal
|
2019/07/17 | Francy - An Interactive Discrete Mathematics Framework for GAP
Vogal
|
Manuel Carlos Machado Martins (Doutoramento)
Universidade Aberta, Portugal
|
2019/05/10 | Spherical tilings, GeoGebra contributions to their combinatorial and geometrical classification
Vogal
|
José Manuel Dos Santos dos Santos (Doutoramento)
Universidade Aberta, Portugal
|
2018/12/11 | Maximal Bifix Decoding of Recurrent Sets
Arguente principal
|
João Pedro Marques Pires (Mestrado)
Universidade do Porto Departamento de Matemática, Portugal
|
2015/02/04 | Reaching the minimum ideal in a finite semigroup
Arguente
|
Nasim Karimi (Doutoramento)
Universidade do Porto, Portugal
|
2014/07/24 | The Cerný Conjecture and Other Synchronization Problems
Arguente
|
Ângela Filipa Pereira Cardoso (Doutoramento)
Universidade do Porto, Portugal
|
2012/12/21 | Sobre expansões de Malcev de semigrupos finitos
Arguente
|
Joana Mendonça de Matos (Doutoramento)
Universidade de Lisboa, Portugal
|
Membro de associação
Nome da associação | Tipo de participação | |
---|---|---|
2010/01/07 - Atual | American Mathematical Society | |
2004/05/11 - Atual | Sociedade Portuguesa de Matemática |
Distinções
Outra distinção
2000 | Engenheiro António de Almeida
Fundação Engenheiro António de Almeida, Portugal
|