Curriculum Vitae

Antonio Casimiro Ferreira da Costa

Data da última atualização »Last update : 17/11/2013


António Casimiro graduated and has a Master in Electrotechnic and Computers Engineering (1995), by the Instituto Superior Técnico de Lisboa (IST). He has a PhD in Informatics (2003), by the University of Lisboa. He is currently an Assistant Professor at the Department of Informatics (DI) of the University of Lisboa Faculty of Sciences, where he joined in 1996. Previously he was teaching at IST and was a researcher at INESC. He is now a member of the LASIGE research laboratory of the DI, where he co-leads one of the Navigators group research lines. He coordinates the KARYON FP7 project and the TRONE CMU|Portugal project. Previously he was involved and contributed to several national and international projects, such as HIDENETS, CORTEX, CaberNet and TACID. He is currently interested in studying dependable solutions (architectures and middleware) for distributed embedded systems, focusing on real-time aspects and QoS adaptation. Other research interests include: fault tolerance, group and event-based communication, real-time and sensor networks, and SCADA systems. António Casimiro has more than 50 publications in the area of distributed, fault-tolerant and real-time systems. He is a member of the IEEE, ACM, IFIP WG10.4 on Dependable Computing and Fault Tolerance, and of Ordem dos Engenheiros.


Endereço de acesso a este CV:

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


Dados pessoais (Personal data)
Nome completo
Full name
Antonio Casimiro Ferreira da Costa
Nome em citações bibliográficas
Quoting name
Antonio Casimiro
Domínio científico de atuação
Scientific domain
Engenharia e Tecnologia-Engenharia Electrotécnica, Electrónica e Informática.
Ciências Exactas-Ciências da Computação e da Informação.
Endereço profissional
Professional address
Faculdade de Ciências da Universidade de Lisboa
Departamento de Informática
Campo Grande, Edifício C6, Piso 3
1749-016 Lisboa
Portugal
Telefone: (+351)217500612
Correio electrónico: casim@di.fc.ul.pt
Homepage: http://www.di.fc.ul.pt/~casim
Sexo
Gender
Masculino»Male




Graus Académicos (Academic Degrees)
1998-2003 Doutoramento
Phd
Informática (5 anos » years) .
Universidade de Lisboa, Portugal.

1991-1995 Mestrado
Master degree
Engenharia Electrotécnica e de Computadores (2 anos » years) .
Universidade Técnica de Lisboa, Portugal.

1986-1991 Licenciatura
Licentiate degree
Engenharia Electrotécnica e de Computadores (5 anos » years) .
Universidade Técnica de Lisboa, Portugal.





Vínculos profissionais (Professional Positions)
Universidade de Lisboa
Mai/2013-Actual Professor Associado
Abr/2003-Mai/2013 Professor Auxiliar
Fev/1996-Abr/2003 Assistente

Universidade Técnica de Lisboa
Out/1993-Fev/1996 Assistente Estagiário





Projetos de Investigação (Research projects)
Participação como Investigador responsável
Participation as responsible Researcher
2011-2014
KARYON-Kernel-Based ARchitecture for safetY-critical cONtrol
Referência do projeto»Project reference: EU-FP7-288195.
FP7
Parceiro(s)»Partners: Chalmers University of Technology; Otto von Guericke University; GMV; Empresa Brasileira de Aeronáutica S/A; SP Technical Research Institute of Sweden; 4S Group.






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

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




Membro de Associações Profissionais/Científicas (Professional/Scientific Association membership)
Jun/2012 - Actual IFIP WG10.4 on Dependable Computing and Fault Tolerance, Membro.
Jan/2012 - Actual ACM, Membro.
Jan/1998 - Actual IEEE, Membro.
Out/1991 - Actual Ordem dos Engenheiros, Membro.




Produção científica, técnica e artística/cultural (Scientific, technical and artistical/cultural production)
Livros publicados/organizados ou edições
Published/organized books or Editions
1. Casimiro, Antonio. ed. 2010. International Journal of Autonomous and Adaptive Communications Systems (IJAACS), Special Issue on: "Security, Trust, and Privacy in DTN and Vehicular Communications" ed. 1. Geneva, SWITZERLAND: Inderscience Publishers.
2. Lemos, Rogério; Gacek, Cristina; Romanovsky, Alexander. eds. 2007. Architecting Dependable Systems IV ed. 1, ISBN: 978-3-540-74033-9. Berlin, Heidelberg: Springer Berlin Heidelberg.

Capítulos de livros publicados
Published book chapters
1. Alves, João; Casimiro, António; Marques, Luís. 2013. Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks.  In Dependable Computing, ed. Marco Vieira, João Carlos Cunha, 16 - 23. ISBN: 978-3-642-38788-3. Berlin, Heidelberg: Springer Berlin Heidelberg.
2. Jesus, Gonçalo; Casimiro, António; Oliveira, Anabela. 2013. Towards Dependable Measurements in Coastal Sensors Networks.  In Dependable Computing, ed. Marco Vieira, João Carlos Cunha, 190 - 193. ISBN: 978-3-642-38788-3. Berlin, Heidelberg: Springer Berlin Heidelberg.
3. Kreutz, Diego; Casimiro, António; Pasin, Marcelo. 2012. A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures.  In Distributed Applications and Interoperable Systems, ed. Karl Michael Göschka, Seif Haridi, 87 - 95. ISBN: 978-3-642-30822-2. Berlin, Heidelberg: Springer Berlin Heidelberg.
4. Casimiro, António; Kaiser, Jörg; Karlsson, Johan; Schiller, Elad M; Tsigas, Philippas; Costa, Pedro; Parizi, José; Johansson, Rolf; Librino, Renato. 2012. Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems.  In Stabilization, Safety, and Security of Distributed Systems, ed. Andréa W. Richa, Christian Scheideler, 232 - 235. ISBN: 978-3-642-33535-8. Berlin, Heidelberg: Springer Berlin Heidelberg.
5. Casimiro, António; Kaiser, Jörg; Verissimo, Paulo. 2007. Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.  In Architecting Dependable Systems IV, ed. Rogério LemosCristina GacekAlexander Romanovsky, 287 - 315. ISBN: 978-3-540-74033-9. Berlin, Heidelberg: Springer Berlin Heidelberg.

Artigos em revistas com arbitragem científica
Papers in periodics with scientific refereeing
1. Dixit, Mônica; Casimiro, António; Lollini, Paolo; Bondavalli, Andrea; Verissimo, Paulo. 2012. "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems 7, 2: 1 - 25.
2. Martins, P.; Sousa, P.; Casimiro, A.; Verissimo, P.. 2005. "A New Programming Model for Dependable Adaptive Real-Time Applications", IEEE Distributed Systems Online 6, 5: 1 - 1.
3. Verissimo, P.; Casimiro, A.. 2002. "The timely computing base model and architecture", IEEE Transactions on Computers 51, 8: 916 - 930.
4. Veríssimo, P.; Rodrigues, L.; Casimiro, A.. 1997. "Cesiumspray : A Precise and Accurate Global Time Service for Large-scale Systems", Real-Time Systems 12, 3: 243 - 294.

Trabalhos completos/resumidos em eventos com arbitragem científica
Papers in conference proceedings with scientific refereeing
1. Casimiro, Antonio; Kaiser, Jorg; Schiller, Elad M; Costa, Pedro; Parizi, Jose; Johansson, Rolf; Librino, Renato. 2013. "The KARYON project: Predictable and safe coordination in cooperative vehicular systems", Trabalho apresentado em 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W), In 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W), Budapest, Hungary.

Trabalhos completos/resumidos em eventos sem arbitragem científica
Papers in conference proceedings without scientific refereeing
1. Casimiro, Antonio; de Lemos, R; Gacek, Cristina. 2009. "Workshop on Architecting Dependable Systems (WADS 2009)", Trabalho apresentado em Workshop on Architecting Dependable Systems (WADS 2009), In 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, Lisbon, Portugal.








Indicadores de produção (Production indicators)

Total
Produção científica
Scientific production
13

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


Outras informações relevantes
António Casimiro graduated and has a Master in Electrotechnic and Computers Engineering (1995), by the Instituto Superior Técnico de Lisboa (IST).
He has a PhD in Informatics (2003), by the University of Lisboa.
He is currently an Assistant Professor at the Department of Informatics (DI) of the University of Lisboa Faculty of Sciences, where he joined in 1996.
Previously he was teaching at IST and was a researcher at INESC.
He is now a member of the LASIGE research laboratory of the DI, where he co-leads one of the Navigators group research lines.
He coordinates the KARYON FP7 project and the TRONE CMU|Portugal project.
Previously he was involved and contributed to several national and international projects, such as HIDENETS, CORTEX, CaberNet and TACID.
He is currently interested in studying dependable solutions (architectures and middleware) for distributed embedded systems, focusing on real-time aspects and QoS adaptation.
Other research interests include: fault tolerance, group and event-based communication, real-time and sensor networks, and SCADA systems.
António Casimiro has more than 50 publications in the area of distributed, fault-tolerant and real-time systems.
He is a member of the IEEE, ACM, IFIP WG10.
4 on Dependable Computing and Fault Tolerance, and of Ordem dos Engenheiros.


Visualizações do curriculum [ 1090 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 22-09-2017 às 23:27:10
Plataforma de Curricula DeGóis: http://www.degois.pt | Icons by Axialis Team