CV Lattes
Universidade Estadual de Campinas (UNICAMP). Faculdade de Tecnologia (FT) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (1998). Atualmente é Professor Colaborador no Instituto de Matemática, Estatística e Computação Científica - IMECC, na Universidade Estadual de Campinas. Tem experiência na área de Matemática, com ênfase em Análise Matemática e seus Fundamentos Lógicos. Trabalha também com Ensino de Matemática e Teoria da Informação. (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) |
Neste trabalho pretende-se estudar análise e síntese de sistemas dinâmicos a eventos discretos e implementar programas computacionais para algoritmos propostos na abordagem que relaciona a teoria de dióides e lógica modal. Também pretende-se avaliar os resultados obtidos quando os programas são aplicados a problemas práticos. (AU)
| 4 | Auxílios à pesquisa concluídos |
| 1 | Bolsas no país concluídas |
| 5 | Todos os Auxílios e Bolsas |
| Processos vinculados | |