CV Lattes
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui doutorado em Ciência da Computação pelo Instituto de Matemática e Estatística da Universidade de São Paulo (2014) e graduação em Ciência da Computação pela Universidade Estadual do Ceará (2008) . Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, atuando principalmente nos seguintes temas: planejamento automatizado, verificação de modelos e lógica temporal.. Atualmente é Professora adjunta da Universidade Federal do Ceará, Campus de Quixadá, Membro permanente no Programa de Pós -Graduação em Computação do Campus da UFC em Quixadá (PCOMP) e membro da Comissão Especial de Inteligência Artificial da SBC (CE-IA SBC). . (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) |
Erros são comuns durante o desenvolvimento de sistemas, sendo que sua detecção e correção envolve um processo de alto custo. Este custo, no entanto, pode ser reduzido se o projetista for capaz de corrigir erros ainda na fase de especificação do sistema. Atualização de modelos é uma abordagem formal utilizada para corrigir automaticamente um modelo de um sistema que não satisfaz uma dada p…
Durante o projeto de desenvolvimento de sistemas de hardware ou software é muito comum ocorrerem inconsistências entre a especificação formal do sistema e algumas propriedades desejadas. Há ferramentas computacionais que verificam se uma dada propriedade é válida ou não em um modelo formal (Model Checkers), mas não informam como o sistema deve adaptar-se para satisfazer esta propriedade. …
| 2 | Bolsas no país concluídas |
| Processos vinculados | |