CV Lattes
ResearcherID
ORCID
Universidade Estadual de Campinas (UNICAMP). Faculdade de Tecnologia (FT) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
possui graduação em Ciência da Computação pela Universidade Estadual de Campinas (1978), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (2003), doutorado em Ciência da Computação pela Universidade Estadual de Campinas (2006) pós-doutorado pelo Laboratoire d'Analyse et d'Architecture des Systèmes LAAS/CNRS, Toulouse, França. Atualmente é professor pleno aposentado da Universidade Estadual de Campinas e coloborador no Programa de Pós-graduação da Faculdade de Tecnologia da UNICAMP. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, segurança de software, privacidade de dados, modelagem de sistemas, injeção de falhas, software de gerenciamento e software educacional. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Dia 1 - Terça-Feira - 21 de Outubro 2025WorkshopsDia 2 - Quarta-Feira - 22 de Outubro 2025Conference WelcomeKeynote Talk 1- Corina Pasareanu (pcorina@andrew.cmu.edu)Research Track 1, 2, 3, 4 e 5Special Session 1 Fast Abstract SessionDia 3 - Quinta-Feira - 23 de Outubro 2025Keynote Talk 2 - Marsha Chechik (chechik@cs.toronto.edu)Industrial Track 1Research Track 6, 7 e 8Special Session 2D…
A comunicação entre os diversos servidores em uma nuvem deve ser confiável (ou seja, resiliente a perdas e atrasos de mensagens), robusta (com modo de defeito conhecido e seguro) e necessariamente escalável. Além desses desafios, o uso da comunicação móvel é hoje uma realidade e tem substituído, com algumas vantagens, a cabeada. A combinação da computação móvel e o ambiente de nuvem ampli…
Este Projeto tem como objetivo solicitar recursos para a compra de acervo de pesquisa para a Biblioteca da Faculdade de Tecnologia. Recém-criada como Unidade de Ensino e Pesquisa da UNICAMP, a Faculdade de Tecnologia está buscando completar o seu acervo com livros que tragam aprofundamento dos conhecimentos para as linhas de pesquisa que desenvolve. (AU)
| 1 | Auxílios à pesquisa contratados |
| 3 | Auxílios à pesquisa concluídos |
| 4 | Todos os Auxílios à Pesquisa |
| Processos vinculados | |