CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade de São Paulo (USP). Escola Politécnica (EP) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Ricardo Luis de Azevedo da Rocha concluiu o doutorado em Engenharia Elétrica [Sp-Capital] pela Universidade de São Paulo em 2000. Atualmente é Professor Doutor - MS-3 da Universidade de São Paulo. Publicou 14 artigos em periódicos especializados e mais de 50 trabalhos em anais de eventos. Possui 5 softwares e outros 10 itens de produção técnica. Participou de eventos no exterior e no Brasil. Orientou 2 teses de doutorado e 12 dissertações de mestrado, além de ter orientado 2 trabalhos de iniciação científica e mais de 20 trabalhos de conclusão de curso nas áreas de Ciência da Computação, Administração e Engenharia Elétrica. Atua na área de Engenharia Elétrica, com ênfase em Fundamentos de Computação. Em suas atividades profissionais interagiu com 10 colaboradores em co-autorias de trabalhos científicos. Em seu currículo Lattes os termos mais freqüentes na contextualização da produção científica, tecnológica e artístico-cultural são: Teoria da Computação, Teoria de Autômatos, Engenharia de Software, Ferramentas de Software, Educação, Modelagem, Tecnologia da Informação, Metodologia, Teoria de Linguagens e Modelos computacionais. (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) |
Projetar transformações de código para compiladores ainda é uma arte em que não é possível obter desempenho semelhante aos resultados obtidos por seres humanos. Esta proposta de pesquisa tem por objetivo investigar o uso de aprendizagem de máquina para construir compiladores que geram código mais efetivo. A proposta é aplicar aprendizado supervisionado e, posteriormente, não-supervisionad…
Nesta proposta de pesquisa busca-se desenvolver aspectos formais associados aos dispositivos adaptativos e aplicá-los às áreas de inteligência artificial e modelos de computação. Algumas questões ainda não completamente estudadas referem-se à semântica dos dispositivos adaptativos, à generalização desses abrangendo modelos híbridos e à simplificação de sua estruturação formal. Em relação …
Esta proposta de pesquisa tem por objetivo investigar o uso de técnicas adaptativas em associação a aprendizado de máquina por reforço e aplicar esta ideia na otimização de código em compiladores. Com isso, busca-se melhorar os aspectos de otimização de código em compiladores, uma área que conta com esforços de pesquisa relativamente recentes, e ampliar o uso de técnicas adaptativas em in…
| 2 | Auxílios à pesquisa concluídos |
| 1 | Bolsas no exterior concluídas |
| 3 | Todos os Auxílios e Bolsas |
| Processos vinculados | |