CV Lattes
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Graduated from the Aeronautics Institute of Technology - ITA (1973), MSc. in Applied Mathematics (specializing in Computer Science) from the Aeronautics Institute of Technology; Ph.D. in Computer Science from the University Of California, Berkeley (1980). research interests mainly focus in automata theory, testing and verification, optimization, heuristics and constraint programming, Possui graduação em Engenharia pelo Instituto Tecnológico de Aeronáutica (1973), mestrado em Matemática Aplicada (Ênfase Em Computação) pelo Instituto Tecnológico de Aeronáutica (1976) e doutorado em Computer Science - University Of California Berkeley (1980). Interesses principais nas áreas de automtos e linguagens formais, teste e verificação, otimização, heurísticas e programação por restrições. (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) |
A Computação Quântica está com aproximadamente 30 anos de vida e já apresenta resultados significativos, capazes de mudar o curso da computação. Porém, por ser uma área relativamente recente ainda há muitas questões em aberto. Muitos elementos de computação clássica possuem análogos quânticos cujas propriedades ainda não são muito bem conhecidas. Nesse contexto, o presente trabalho preten…
Avanços tecnológicos de hardware e software têm exigido um suporte cada vez maior de técnicas e métodos para automatização das atividades relacionadas ao desenvolvimento de sistemas. Um dos processos de desenvolvimento que mais necessita desse suporte é aquele destinado aos chamados sistemas de missão crítica, geralmente embarcados e, na maioria das vezes, reativos. Devido principalmente …
Proposta em meados da década de 80, a Computação Quântica procura utilizar a estrutura quântica da matéria nos processos computacionais. É um tópico de pesquisas recente, com focos voltados para várias áreas correlatas, tais como Física, Matemática e Computação. O objetivo deste projeto de pesquisa é estudar a Computação Quântica, principalmente sob uma perspectiva da Teoria da Computação…
A Computação Quântica oferece um novo modelo computacional no qual Complexidade Computacional pode ser estudada. Propriedades de sistemas quânticos como superposição, interferência e emaranhamento possuem o potencial para fazer computadores quânticos mais rápidos do que qualquer computador clássico. O algoritmo de Shor resolve o problema da fatoração de inteiros em tempo polinomial enquan…
Esta proposta visa, primordialmente, investigar a redução de problemas de análise estática de programas (i.e. geração de invariantes, análise automatizada de terminação de programas, etc) para problemas de Álgebra Linear. Na linha de novos métodos estáticos para análise estática de sistemas complexos, nossas investigações se voltarão para o desenvolvimento de algoritmos associados eficaze…
A Computação Quântica ganhou muito destaque quando foi apresentado um algoritmo polinomial no modelo quântico para resolver o problema da fatoração de números inteiros, problema para o qual até hoje só se conhecem algoritmos exponenciais no modelo clássico. Desde então, o tema vem se desenvolvendo e apresentando resultados em várias áreas da Computação. No estudo de Complexidade Computaci…