Doutoramento em Álgebra Computacional



Alfredo Manuel Gouveia da Costa (Coordenação)


Gilda Ferreira (Coordenação)


Gilda Ferreira (Coordenação)


Rafael Sasportes (Coordenação)


Ana Paula Jacinto Santana Ramires

Licenciada em Matemática pela Universidade de Coimbra em 1982. Obteve o Mestrado em Álgebra Linear e Aplicações pela Universidade de Coimbra em 1986. Doutorada em Matemática pela Universidade de Warwick, Inglaterra, em 1990. Trabalha em Teoria das Representações de Grupos e Álgebras. É Professora Associada da Universidade de Coimbra.


João Jorge Ribeiro Soares Gonçalves Araújo


Alexander Kovacec

Nasceu em Viena da Áustria a 23 de Agosto 1955. Estudo de Física e Matemática em 1974-1979. Em novembro de 1980, Doutoramento em Matemática com um tema por ele encontrado sobre desigualdades algébricas. Assistente em Viena em 1980-1988. Em 1988-1989, trabalha no Research Institute for Symbolic Computation (RISC, Universidade de Johannes Kepler, Linz, Áustria) em robótica e bases de Groebner. De fevereiro de 1989 a junho de 1989, professor convidado na Universidade de Delaware (Newark, DE) nos Estados Unidos. Desde 1993 tem nomeação definitiva e é professor auxiliar do Departamento de Matemática da Universidade de Coimbra. Ensinou em Coimbra entre outros as disciplinas de Algebra Linear, Lógica, Álgebra Real, Análise de Algoritmos, Álgebra Comutativa, Álgebra Computacional. Orientou dois doutoramentos e várias teses de mestrado. Cofundador do Projeto Delfos (Escola de Matemática para Jovens, treino para olimpíadas matemáticas). Tem publicações nas revistas Linear Algebra and Applications, Special Matrices, Linear and Multilinear Algebra, Mathematische Zeitschrift, Mathematical Inequalities and Applications. Escreve reviews para o Zentralblatt der Mathematik.


Ivan Yudin

Licenciado em Matemática pela Universidade de Kiev em 1998. Obteve o Mestrado em Geometria algébrica e Álgebra Computacional pela Universidade de Kaiserslautern em 2001. Doutorado em Matemática pela Universidade de Gotinga, Alemanha, em 2007. Trabalha em Teoria das Representações de Álgebras e em Geometria Riemaniana. É investigador Auxiliar da Universidade de Coimbra.


James David Mitchel


Michael Kinyon


Pedro Quaresma

Licenciatura em Matemática pela Universidade de Coimbra em 1982. Mestrado em Ciências da Computação pela Faculdade de Ciências e Tecnologia da Universidade de Coimbra em 1988. Doutoramento em Informática, área de conhecimento de Fundamentos da Computação pela Universidade do Minho, em 1998. Trabalha em Lógica Computacional. Professor Auxiliar da Universidade de Coimbra. Orientou um doutoramento (2016) e várias teses de mestrado. Tem publicações nas revistas Journal of Automated Reasoning, Interactive Learning Environments, Education and Information Technologies, Mathematics in Computer Science, Lecture Notes in Artificial Intelligence, entre outras.


Peter Cameron


Reinhard Kahle


Vítor Jorge Ramos Rocio


Edição
3
Início do curso
30 de setembro de 2019
Fim do curso
31 de julho de 2023
ECTS
240
Duração
4 anos, 8 semestres
Tipo de formação
Doutoramento
Modalidade de formação
Ensino a Distância
Área de interesse
Matemática
Preço
2000,00 € (anual)