Curriculum Vitae

Ivone de Fátima da Cruz Amorim

Data da última atualização »Last update : 27/03/2018


Ivone de Fátima da Cruz Amorim. É da Universidade do Porto. Publicou 2 artigos em revistas especializadas e 5 trabalhos em actas de eventos. Actua na área de Ciências da Computação e da Informação Nas suas actividades profissionais interagiu com 8 colaboradores em co-autorias de trabalhos científicos.


Endereço de acesso a este CV:

http://www.degois.pt/visualizador/curriculum.jsp?key=8349791992679016


Dados pessoais (Personal data)
Nome completo
Full name
Ivone de Fátima da Cruz Amorim
Nome em citações bibliográficas
Quoting name
Amorim, Ivone
Domínio científico de atuação
Scientific domain
Ciências Exactas-Ciências da Computação e da Informação.
Endereço profissional
Professional address
Universidade do Porto
Faculdade de Ciências
Departamento de Ciência de Computadores
Rua do Campo Alegre, 1021/1055
4169-007 Porto
Portugal
Correio electrónico: ivone.amorim@dcc.fc.up.pt
Sexo
Gender
Feminino»Female




Graus Académicos (Academic Degrees)
2010-2016 Doutoramento
Phd
Doutoramento em Ciência de Computadores.
Universidade do Porto, Portugal.

2005-2009 Mestrado
Master degree
Mestrado em Engenharia Matemática (1,5 anos » years) .
Universidade do Porto, Portugal.

1998-2003 Licenciatura
Licentiate degree
Licenciatura em Ensino de Matemática (5 anos » years) .
Universidade do Minho, Portugal.





Formação complementar ( studies)
2012-2012 Outros
Others
Chinês - nível 1.
Universidade do Porto, Portugal.

2012-2012 Outros
Others
Chinês - nível 1.
Universidade do Porto, Portugal.

2011-2011 Outros
Others
Summer School on Applied Computational Algebraic Geometry Modelling.
Katholieke Universiteit Leuven, Bélgica.

2009-2009 Outros
Others
Soria Summer School on Computational Mathematics.
Universidade de Valladolid, Espanha.





Vínculos profissionais (Professional Positions)
Instituto Politécnico de Viana do Castelo
Set/2010-Mar/2013 Outra Situação

Politécnico do Porto
Out/2012-Fev/2013 Outra Situação

Politécnico do Porto
Set/2010-Jun/2012 Outra Situação

Universidade do Porto
Abr/2010-Out/2010 Investigador

Instituto de Engenharia de Sistemas e Computadores do Porto
Set/2008-Jan/2010 Investigador

Universidade de Coimbra
Dez/2007-Ago/2008 Investigador





Atividades de Ensino (Teaching activities)
Instituto Politécnico de Viana do Castelo
Out/2011-Actual
Disciplinas lecionadas»Taught units:

  • Álgebra Linear e Geometria Analítica(Docente)


Set/2010-Set/2011
Disciplinas lecionadas»Taught units:

  • Álgebra Linear e Geometria Analítica(Docente)
  • Análise Matemática(Docente)
  • Matemática Básica(Docente)




Politécnico do Porto
Fev/2012-Jun/2012
Disciplinas lecionadas»Taught units:

  • Matemática Discreta(Docente)


Set/2011-Jan/2012
Disciplinas lecionadas»Taught units:

  • Matemática I


Fev/2011-Jun/2011
Disciplinas lecionadas»Taught units:

  • Matemática Discreta(Docente)


Set/2010-Jan/2011
Disciplinas lecionadas»Taught units:

  • Análise Matemática(Docente)






Projetos de Investigação (Research projects)
Outro Tipo de Participação
Other kind of participation
2009-
CSI Segurança Criptográfica de Instâncias Individuais
Referência do projeto»Project reference: PTDC/EIA-CCO/099951/2008.

2007-
Plataformas de Simulação de Mercados de Electricidade: Métricas, Análise e Validação de Modelos
Referência do projeto»Project reference: PTDC/EEA-ENE/74550/2006.

2007-
IRPS - Intelligent Robotic Porter System
Referência do projeto»Project reference: EU-IRPS FP6-IST-45048.






Línguas (Languages)
Compreende
Understandig
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente), Chinês (Pouco).
Fala
Speaking
Português (Bem), Inglês (Razoavelmente), Francês (Pouco), Espanhol (Pouco), Chinês (Pouco).

Reading
Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente), Chinês (Pouco).
Escreve
Writing
Português (Bem), Inglês (Razoavelmente), Francês (Pouco), Espanhol (Pouco), Chinês (Pouco).




Produção científica, técnica e artística/cultural (Scientific, technical and artistical/cultural production)
Capítulos de livros publicados
Published book chapters
1. Amorim, Ivone F. C; Dias, Jorge; Ferreira, Filipe; Rocha, Rui. 2009. T-SLAM: Registering Topological and Geometric Maps for Robot Localization in Large Environments.  In Multisensor Fusion and Integration for Intelligent Systems, Lecture Notes in Electrical Engineering (LNEE), 423 - 438. ISBN: 978-3-540-89858-0. Berlin Heidelberg: Springer.

Artigos em revistas com arbitragem científica
Papers in periodics with scientific refereeing
1. Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2014. "On the invertibility of finite linear transducers", RAIRO - Theoretical Informatics and Applications 48, 1: 107 - 125.

Trabalhos completos/resumidos em eventos com arbitragem científica
Papers in conference proceedings with scientific refereeing
1. Amorim, Ivone; Reis, Rogério; Machiavelo, António. 2014. "Counting Equivalent Linear Finite Transducers Using a Canonical Form", Trabalho apresentado em CIAA2014, In Nineteenth International Conference on Implementation and Application of Automata, Giessen.
2. Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2014. "Statistical Study on the Number of Injective Linear Finite Transducers", Trabalho apresentado em NCMA2014, In Non-Classical Models of Automata and Applications, Kassel.
3. Amorim, Ivone F. C; Machiavelo, António; Reis, Rogério. 2012. "Formal Power Series and the Invertibility of Finite Linear Transducers", Trabalho apresentado em 4th International Workshop on Non-Classical Models of Automata and Applications , In NCMA, Fribourg, Switzerland .
4. Amorim, Ivone F. C; Ferreira, Filipe; Rocha, Rui; Dias, Jorge. 2008. "T-SLAM: Registering Topological and Geometric Maps for Robot Localization in Large Environments", Trabalho apresentado em IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), In Proc. of IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI 2008), Seoul, Korea.
5. Amorim, Ivone F. C; Rocha, Rui; Dias, Jorge. 2008. "Mobile Robotic Surveillance Systems: Detecting and Evaluating Changes in 3D Mapped Environments", Trabalho apresentado em 2nd Israeli Conference on Robotics (ICR 2008), In Proc. of 2nd Israeli Conference on Robotics (ICR 2008), Herzlia, Israel.

Artigos em revistas sem arbitragem científica
Papers in periodics without scientific refereeing
1. Amorim, Ivone; Machiavelo, António; Reis, Rogério. 2015. "On the Number of Linear Finite Transducers", International Journal of Foundations of Computer Science 26, 07: 873 - 893.





Dados Complementares (Additional data)


Orientações
Orientations







Indicadores de produção (Production indicators)

Total
Produção científica
Scientific production
8

Livros e capítulos
Books and book chapters
1
Capítulos de livros publicados
Published book chapters
1
Artigos científicos em revistas
Papers in periodics
2
Com arbitragem científica
With scientific refereeing
1
Sem arbitragem científica
Without scientific refereeing
1
Trabalhos em eventos
Papers in conference proceedings
5
Com arbitragem científica
With scientific refereeing
5

Total
Dados complementares
(Additional data)
1

Orientações
Orientations
1


Visualizações do curriculum [ 1809 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 29-10-2019 às 15:17:36
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team
Co-Autores Relacionados no DeGóis (3)
 Co-authors listed in Degóis
Colaboração em projetos no DeGóis (2)
 Project collaboration in Degóis