CV Lattes
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação (FEEC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui Bacharelado em Ciências de Computação pela Universidade Estadual Paulista Júlio de Mesquita Filho (1994), Mestrado em Matemática Aplicada pela Universidade Estadual Paulista Júlio de Mesquita Filho (1997) e Doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (2003). Atualmente é Professor Associado da Escola Politécnica da Universidade Federal da Bahia (UFBA). Tem experiência em áreas de Ciências/Engenharia de Computação, com ênfase em Arquitetura de Sistemas de Computação, atuando principalmente nos seguintes temas: decodificadores de áudio/vídeo, desenvolvimento de metodologias de coprojeto hardware/software, desenvolvimento de aplicações em FPGAs, fluxo de projeto em ASICs e metodologia de ensino/aprendizagem PBL. (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) |
Atualmente, dentro da área de projeto de sistemas digitais, busca-se a utilização de linguagens para a especificação e síntese em alto-nível. Tal exigência vai ao encontro da necessidade de se representar sistemas cada vez mais complexos e de aumentar o grau de automatização do projeto dos mesmos. Utilizadas como linguagens de modelagem de sistemas computacionais de alto e baixo nível, en…
Em meu trabalho de IC (Fapesp, processo 93/4986-2), desenvolvi o embrião de um novo tipo de redes de Petri (R.P.), denominado R.P. numérico-temporizadas (R.P.N.T.). Trata-se de uma ferramenta de modelagem de sistemas abertos, contando com características das R.P. numéricas e das R.P. temporizadas de Merlin. Proponho, como trabalho de mestrado, rever, ampliar e formalizar a teoria de R.P.N…
| 3 | Bolsas no país concluídas |
| Processos vinculados | |