Eva Catarina Gomes Maia
|
|
Data da última atualização
»Last update
:
01/07/2013 |
Dados pessoais (Personal data)
Nome completo
Full name |
Eva Catarina Gomes Maia |
Nome em citações bibliográficas
Quoting name |
Maia, Eva Catarina Gomes |
Endereço profissional
Professional address |
Universidade do Porto Faculdade de Ciências Centro de Matemática da Universidade do Porto (CMUP) Rua do Campo Alegre, 687 Porto 4169--007 Porto Portugal Telefone: (+351)220402281 Fax: (+351)220402108 Correio electrónico: emaia@dcc.fc.up.pt |
Sexo
Gender |
Feminino»Female |
Graus Académicos
(Academic Degrees)
2008-2010 |
Mestrado Master degree |
Ciência de Computadores
(2 anos » years)
.
Universidade do Porto,
Portugal.
|
2005-2008 |
Licenciatura Licentiate degree |
Ciência de Computadores
(3 anos » years)
.
Universidade do Porto,
Portugal.
|
Vínculos profissionais
(Professional Positions)
Instituto Politécnico do Porto |
Out/2010-Jun/2011 |
Outra Situação |
Out/2009-Mar/2010 |
Assistente de Investigação |
Atividades de Ensino (Teaching activities)
Instituto Politécnico do Porto |
Curso»Academic program: Engenharia Biomédica / Engenharia e gestão Industrial Disciplinas lecionadas»Taught units:
|
Línguas (Languages)
Compreende Understandig |
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Pouco). |
Fala Speaking |
Português (Bem), Inglês (Razoavelmente), Francês (Pouco), Espanhol (Pouco). |
Lê Reading |
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente). |
Escreve Writing |
Português (Bem), Inglês (Razoavelmente), Francês (Pouco), Espanhol (Pouco). |
Produção científica, técnica e artística/cultural
(Scientific, technical and artistical/cultural
production)
Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing |
1. |
Maia, Eva C. G; Reis, Rogério; Moreira, Nelma. 2013. "Incomplete Transition Complexity of Some Basic Operations", Trabalho apresentado em SOFSEM 2013, In SOFSEM 2013: Theory and Practice of Computer Science, Špindleruv Mlýn.
|
|
|
|
2. |
Maia, Eva C. G. 2013. "Incomplete Transition Complexity of Basic Operations on Finite Languages", Trabalho apresentado em CIAA 2013, In 18th International Conference, CIAA 2013, Halifax, NS, Canada,. |
|
|
|
Outra produção científica Other scientific production |
1. |
Maia, Eva C. G. 2011. " A Static Type Inference for Python.". Zurique, Suiça: In DYLA 2011, 5th Workshop on Dynamic Languages and Applications. |
2. |
Maia, Eva C. G. 2010. " Inferência de tipos em Python". Braga: In Inforum, Simpósio de Informática. |
Dados Complementares (Additional data)
Participação em eventos Event participation |
Outro tipo de participação Other kind of participation |
1. |
SOFSEM 2013, 2013 (Conferência).
|
2. |
Days in Logic 2012, 2012 (Conferência).
|
3. |
DCFS 2012: 14th International Workshop on Descriptional Complexity of Formal Systems., 2012 (Conferência).
|
4. |
CIAA 2012: 17th International Conference on Implementation and Application of Automata (CIAA)., 2012 (Conferência).
|
Indicadores de produção
(Production indicators)
Produção científica
Scientific production |
Produção científica Scientific production |
4 |
Trabalhos em eventos Papers in conference proceedings |
2 |
Com arbitragem científica With scientific refereeing |
2 |
Outros tipos de produção científica Other scientific production |
2 |
Visualizações do curriculum [
1126
]
|
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM
em
14-01-2021
às
21:00:52
|
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team |
|