Renato Portugal

Bolsista de Produtividade em Pesquisa do CNPq - Nível 1D

  • Endereço para acessar este CV: http://lattes.cnpq.br/2605062132611045
  • Última atualização do currículo em 07/11/2018


Renato Portugal possui Bacharelado em Física pela PUC-Rio (1981), mestrado (1984) e doutorado (1988) em Física pelo Centro Brasileiro de Pesquisas Físicas (CBPF). Realizou pós-doutoramento na Universidade de Waterloo e na "Queen's University at Kingston" no Canadá. Atualmente é Pesquisador Titular do Laboratório Nacional de Computação Científica (LNCC), pesquisador 1D do CNPq, sócio efetivo da SBC e da SBMAC e é membro do corpo editorial da revista Natural Computing. Já orientou 11 dissertações de mestrado (uma delas ganhou o prêmio SBMAC), 10 teses de doutorado (uma delas ganhou o prêmio Capes) e supervisionou atividade de pós-doutorado no LNCC de pelo menos 10 pesquisadores nas áreas de computação quântica e computação algébrica. Foi o coordenador geral do III Workshop-Escola de Computação e Informação Quântica e publicou vários livros textos nas áreas de computação algébrica e computação quântica, em especial, o livro "Quantum Walks and Search Algorithms" pela Springer. Atualmente tem atuado principalmente na área de Computação Quântica com foco nos seguintes temas: algoritmos de computação quântica, análise e simulação de passeios aleatórios quânticos, códigos quânticos de correção de erros e criptografia clássica. (Texto informado pelo autor)


Identificação


Nome
Renato Portugal
Nome em citações bibliográficas
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R

Endereço


Endereço Profissional
Laboratório Nacional de Computação Científica, Coordenação de Ciência da Computação.
Rua Getúlio Vargas 333
Quitandinha
25651-070 - Petropolis, RJ - Brasil - Caixa-postal: 95113
Telefone: (24) 22336069
Ramal: 6069
Fax: (24) 22315595
URL da Homepage: http://www.lncc.br/~portugal


Formação acadêmica/titulação


1984 - 1988
Doutorado em Física.
Centro Brasileiro de Pesquisas Físicas, CBPF, Brasil.
Título: Modelos Cosmológicos em Regime de Magnetohidrodinâmica, Ano de obtenção: 1988.
Orientador: Ivano Damião Soares e Jayme Tiomno.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Cosmologia; Magnetohidrodinâmica.
Grande área: Ciências Exatas e da Terra
1982 - 1984
Mestrado em Física.
Centro Brasileiro de Pesquisas Físicas, CBPF, Brasil.
Título: Modelos Cosmológicos Tipo Bianchi I, II, VIII e XI,Ano de Obtenção: 1984.
Orientador: Ivano Damião Soares.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Cosmologia; Equações de Einstein-Maxwell; Magnetohidrodinâmica.
Grande área: Ciências Exatas e da Terra
1978 - 1981
Graduação em Bacharelado em Física.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.


Pós-doutorado


2007 - 2008
Pós-Doutorado.
University of Waterloo, U.WATERLOO, Canadá.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
1998 - 1998
Pós-Doutorado.
Queen's University at Kingston, QUEEN'S, Canadá.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra
1996 - 1998
Pós-Doutorado.
University of Waterloo, U.WATERLOO, Canadá.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Grande área: Ciências Exatas e da Terra


Atuação Profissional



Universidade Católica de Petrópolis, UCP, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 20


Queen's University at Kingston, QUEEN'S, Canadá.
Vínculo institucional

1998 - 1998
Vínculo: Professor Visitante, Enquadramento Funcional: Professor visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

3/1998 - 12/1998
Pesquisa e desenvolvimento , Department Of Physics, .


University of Waterloo, U.WATERLOO, Canadá.
Vínculo institucional

1996 - 1998
Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

12/1996 - 2/1998
Pesquisa e desenvolvimento , Faculty Of Mathematics, Department Of Applied Mathematics.


Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

1995 - 1997
Vínculo: Outro, Enquadramento Funcional: Professor Adjunto, Carga horária: 12

Atividades

3/1995 - 12/1996
Ensino, Bacharelado em Física, Nível: Graduação

Disciplinas ministradas
Tópicos de Física
Métodos Matemáticos para Física e Engenharia

Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

1985 - 1989
Vínculo: Servidor Público, Enquadramento Funcional: PROFESSOR ADJUNTO I, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

3/1985 - 2/1989
Pesquisa e desenvolvimento , Centro de Estudos Gerais, Departamento de Física.

7/1985 - 12/1988
Ensino, Física, Nível: Graduação

Disciplinas ministradas
Física XII
Teoria da Relatividade
Física I
Laboratório de Física XI
08/1985 - 10/1988
Extensão universitária .

Atividade de extensão realizada
COSMOLOGIA.

Laboratório Nacional de Computação Científica, LNCC, Brasil.
Vínculo institucional

1999 - Atual
Vínculo: , Enquadramento Funcional: Pesquisador Titular, Carga horária: 40

Atividades

3/2001 - Atual
Ensino, Modelagem Computacional, Nível: Pós-Graduação

Disciplinas ministradas
Computação Quântica I
Computação Quântica II
Matemática Discreta
Teoria de Grupos Computacionais
10/1999 - Atual
Pesquisa e desenvolvimento , Coordenação de Ciência da Computação, Ministério da Ciência e Tecnologia.


Centro Brasileiro de Pesquisas Físicas, CBPF, Brasil.
Vínculo institucional

1988 - 1999
Vínculo: Servidor Público, Enquadramento Funcional: Pesquisador Adjunto, Carga horária: 40

Atividades

12/1988 - 09/1999
Pesquisa e desenvolvimento , Laboratório de Cosmologia e Física Experimental de Altas Energias, Ministério da Ciência e Tecnologia.

03/1999 - 06/1999
Ensino, Física, Nível: Pós-Graduação

Disciplinas ministradas
Tensores, Formas e Espinores
Gravitação


Linhas de pesquisa


1.
Caminhos Aleatórios Quânticos
2.
Computação Quântica
3.
Computação Algébrica Aplicada à Física
4.
Caminhos Aleatórios Quânticos
5.
Teoria da Informação Quântica
6.
Gravitação e Computação Algébrica
7.
Algoritmos para cálculo de zeros das funções de Bessel e correlatas e implementação no sistema Maple
8.
Algoritmos para manipulação tensorial abstrata automática
9.
Algoritmos para manipulação tensorial abstrata automática
10.
Invariantes diferenciais e polinomiais do tensor de Riemann


Projetos de pesquisa


2018 - Atual
CIENTISTA DO NOSSO ESTADO: Algoritmos Quânticos: Desenvolvimento, Análise e Implementação
Descrição: O projeto de pesquisa Algoritmos Quânticos: Desenvolvimento, Análise e Implementação se insere na área de Computação Quântica e visa ao desenvolvimento de novos algoritmos quânticos para o problema da distinção de elementos e para problemas de busca espacial em grafos. Além disso, visa também à análise de passeios quânticos em grafos, construção de um simulador usando computação de alto desempenho e implementação dos algoritmos em computadores quânticos de 5, 16 e 20 qubits disponibilizados pela IBM. Usamos o passeio quântico escalonado, que é uma nova versão a tempo discreto de passeios quânticos, útil tanto nos problemas de busca quanto na implementação física em laboratórios, desenvolvido pelo autor deste projeto junto com colaboradores. A orientação de alunos de doutorado, mestrado e iniciação científica e a produção de material didático são parte integrante deste projeto..
Situação: Em andamento; Natureza: Pesquisa.
2014 - 2016
PAPD - Parceria Capes/FAPERJ: Algoritmos de Busca Baseados em Passeios Quânticos
Descrição: O Programa de Apoio ao Pós-Doutorado no Rio de Janeiro (PAPDRJ) concede bolsas de valor R$ 4.100 mensais com duração de cinco anos com taxa de bancada de R$ 1.000 mensais. O projeto "Algoritmos de Busca Baseados em Passeios Quânticos" usa o passeio quântico desenvolvido por Patel e colaboradores, conhecido como passeio quântico sem moeda. Este passeio quântico foi proposto originalmente em uma malha bidimensional e recebeu pouca atenção. Recentemente, dois resultados mostraram que esta versão de passeio quântico é promissora para a formulação de novos algoritmos quânticos mais eficientes. O foco deste projeto é explorar esta nova versão, analisar seu comportamento em diversos grafos e desenvolver novos algoritmos para o problema de busca espacial, avaliação de fórmulas booleanas e propor implementações físicas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (3) .
Integrantes: Renato Portugal - Coordenador / Raqueline A. M. Santos - Integrante.
2014 - 2016
Projeto Ciência Sem Fronteiras BJT-B - Algoritmos de Busca Baseados em Passeios Quânticos
Descrição: A tecnologia quântica está amadurecendo e agora é possível construir um dispositivo computacional quântico cujo desempenho ultrapassa os seus equivalentes clássicos. Um computador quântico recentemente lançado pela companhia canadense D-Wave é capaz de resolver problemas de optimização ao evoluir adiabaticamente um estado inicial previamente conhecido em direção ao estado fundamental de um Hamiltoniano que codifica a solução do problema. Este projeto pretende explorar o ambiente de evolução quântica adiabática de forma a desenvolver algoritmos potencialmente práticos de busca em grafos. Em particular, iremos focar em algoritmos de busca em árvores, que permitem a análise de espaços de busca cuja dimensão cresce de forma exponencial. Estes algoritmos são utilizados em diversas aplicações desde algoritmos de xadrez a sistemas computacionais aplicados à medicina. Os algoritmos quânticos de busca em árvore têm ganho quadrático relativamente às suas versões clássicas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (3) .
Integrantes: Renato Portugal - Coordenador / Luís Tarrataca - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2016
Projeto Universal: Algoritmos Quânticos e Híbridos
Descrição: O projeto de pesquisa Algoritmos Quânticos e Híbridos se insere na área de Computação Quântica e visa ao desenvolvimento de novos algoritmos quânticos para problemas de busca em grafos, problema do subgrupo oculto e algoritmos híbridos clássico-quânticos. Nos problemas de busca, usamos a metodologia dos Passeios Quânticos que é uma ferramenta importante na área de Cadeias de Markov Quânticas. Nos algoritmos híbridos, substituímos subrotinas clássicas tipicamente ineficientes por subrotinas quânticas com foco em problemas de otimização global. A orientação de alunos de doutorado, mestrado e iniciação científica e a produção de material didático são parte integrante deste projeto..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (3) .
Integrantes: Renato Portugal - Coordenador / Franklin Marquezino - Integrante / Outros - Integrante / Carlile Lavor - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - Atual
Projeto Ciencia sem Fronteiras PVE: Analyzing the Computational Performance of Quantum Walk Based Algorithms on Structured Graphs
Descrição: Temos como objetivo geral o estudo do desempenho de algoritmos de busca quântica e sua dependência na forma da estrutura. Ao contrário dos algoritmos clássicos, a interferência quântica e a necessidade de preservar a coerência em ambientes potencialmente irregulares e desordenados podem representar desafios significativos para um algoritmo quântico. Vamos analisar a interação entre a interferência quântica e o meio ambiente e seu efeito sobre a complexidade algorítmica usando tanto métodos analíticos quanto simulações. Em particular, nos aventuramos em explorar a eficácia de técnicas baseadas no grupo de renormalização (GR) para a análise de algoritmos quânticos. GR é uma ideia vencedora de prêmio Nobel de Física usado amplamente em Física Estatística para analisar fenômenos críticos de escala e é a chave para a noção física de universalidade. GR permite categorizar os processos com diversos detalhes microscópicos em classes de universalidade exibindo relações idênticas de escala macroscópica, semelhante à complexidade algorítmica. Uma dessas classes, por exemplo, ....
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (7) .
Integrantes: Renato Portugal - Coordenador / Outros - Integrante / Stefan Boettcher - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2014 - Atual
Projeto CAPES/UDELAR: Análise da Termodinâmica de Passeios Quânticos e Aplicações em Algoritmos de Busca
Descrição: Projeto de intercâmbio de pesquisadores e alunos de pós-graduação entre o LNCC, UFRJ e Universidad de la Republica (Udelar) atráves de missões de trabalho de duas semanas e missões de estudo de três meses..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) .
Integrantes: Renato Portugal - Coordenador / Franklin Marquezino - Integrante / Raul Donangelo - Integrante / Alejandro Romanelli - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.
2013 - 2016
CIENTISTA DO NOSSO ESTADO: Algoritmos Quânticos e Híbridos
Descrição: As bolsas "Cientistas do Nosso Estado", ou "Bolsas de Bancada para Projetos ? BBP" destinam-se a apoiar, por meio de concorrência, projetos coordenados por pesquisadores de reconhecida liderança em sua área, com vínculo empregatício em instituições de ensino e pesquisa sediadas no estado do Rio de Janeiro. As propostas selecionadas receberão recursos mensais por 36 meses, visando prover apoio para o desenvolvimento de seus projetos de pesquisa..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (4) .
Integrantes: Renato Portugal - Coordenador / Outros - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2012 - 2013
Projeto Universal: Algoritmos Quânticos e Códigos Corretores de Erros
Descrição: O projeto de pesquisa "Algoritmos Quânticos e Códigos Corretores de Erros" se insere na área de Computação Quântica e visa tanto ao desenvolvimento de novos algoritmos quânticos para problemas de busca em grafos e para o problema do subgrupo oculto como à análise e construção de códigos quânticos corretores de erros. Nos problemas de busca, usamos a metodologia dos Passeios Quânticos que é uma ferramenta importante na área de Cadeias de Markov Quânticas. Na correção de erros, usamos a metodologia CWS que permite a codificação e decodificação de códigos corretores não-lineares com parâmetros superiores aos códigos estabilizadores. A orientação de alunos de doutorado, mestrado e iniciação científica e a produção de material didático são parte integrante desse projeto..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (5) .
Integrantes: Renato Portugal - Coordenador / Franklin Marquezino - Integrante / Outros - Integrante / Carlile Campos Lavor - Integrante / Douglas F. G. Santiago - Integrante / Nolmar Melo - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2010 - 2013
PDI: Computação e Comunicação Quântica
Descrição: Esse projeto tem como objetivo desenvolver pesquisa na área de computação e comunicação quântica com foco: (1) na elaboração e análise de novos algoritmos quânticos, que têm aplicações práticas relevantes, como para problemas de busca em grafos e problemas combinatoriais expressos em termos da teoria de grupos computacionais, (2) na elaboração e análise de novos códigos quânticos de correção de erros, com aplicações práticas para o funcionamento do computador quântico e para a comunicação segura de dados usando princípios quânticos, (3) na elaboração de um novo tipo de algoritmo para o problema da distância na geometria molecular. O projeto se encaixa no "Grande Desafio: Impactos para a área da computação da transição do silício para novas tecnologias" e analisa as consequências de importantes propostas para substituir a tecnologia baseada em silício: a computação quântica e a computação reversível. Os temas escolhidos nesse projeto terão uso prático imediato quando o computador quântico sair dos domínios dos laboratórios de Física. Nesse momento, o investimento em um projeto de pesquisa básica em computação quântica é estratégico para o país criar no futuro próximo novas empresas baseadas nessa nova tecnologia..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) .
Integrantes: Renato Portugal - Coordenador / Outros - Integrante / Carlile Lavor - Integrante / Celina Miraglia Herrera de Figueiredo - Integrante / Raul Donangelo - Integrante / Demerson N. Gonçalves - Integrante / Guilherme Augusto de la Rocque Leal - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2009 - 2012
Algoritmos Quânticos para o Problema do Subgrupo Oculto
Descrição: Propomos investigar o uso de Passeios Aleatórios Quânticos ao Problema do Subgrupo Oculto. algoritmos quânticos eficientes para certas instâncias do Problema do Subgrupo Oculto. Vamos nos concentrar na classe de grupos nilpotentes, que são os candidatos mais naturais no estágio atual da pesquisa nesta vertente da Computação Quântica. Nossa estratégia é generalizar os métodos já desenvolvidos para este problema e investigar o uso de novos métodos, a saber, a transformada de Fourier não-abeliana e passeios aleatórios quânticos..
Situação: Concluído; Natureza: Pesquisa.
2009 - 2011
Projeto Universal: Algoritmos Quânticos
Descrição: Sabemos que a lei de Moore está dando seu suspiro final. Técnicas de paralelização estão sendo usadas como último recurso para manter o status quo da tecnologia baseada em silício. A miniaturização dos chips está chegando ao ponto que efeitos quânticos danosos não podem mais ser evitados. Apesar da importância da computação nos mais variados aspectos da sociedade moderna, a real potencialidade dos computadores está além do horizonte visível. É neste contexto que se insere a pesquisa básica na computação quântica. Se as flutuações quânticas estão se tornando o pior inimigo para o desenvolvimento da capacidade dos computadores, então não está na hora de domar os efeitos quânticos para desenvolver máquinas mais rápidas? Um hardware que use as propriedades quânticas para processamento de informação requer inevitavelmente um novo tipo de software. Uma vez que a mudança do paradigma ocorreu na base, toda a estrutura da teoria deve ser generalizada ou modificada. Esta generalização está longe de ser trivial, por duas razões basicamente. Primeiro, os algoritmos quânticos não podem ter a mesma eficiência dos clássicos, pois isso não justifica a construção do computador quântico. Segundo, os algoritmos usam as características mais intrincadas da mecânica quântica e são formulados usando áreas avançadas da matemática. É neste contexto que se insere a presente proposta. Este projeto visa desenvolver pesquisa básica em Computação Quântica com foco nos seguintes objetivos: 1. Desenvolver novos algoritmos quânticos baseados em passeios aleatórios quânticos. 2. Desenvolver novos algoritmos quânticos baseados na metodologia do ?Problema do Subgrupo Oculto?; 3. Desenvolver novos protocolos de correção quântica de erros usando o método de operadores na representação de Heisenberg. Este projeto dá continuidade a projetos anteriores, em particular, ao projeto financiado pelo edital CT-Info no 07/2007 dentro de um dos grandes desafios apontados pela SBC: ?Impactos para a área da computaç.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Especialização: (0) / Mestrado acadêmico: (1) / Doutorado: (3) .
Integrantes: Renato Portugal - Coordenador / Demerson Nunes Gonçalves - Integrante / Carlile Campos Lavor - Integrante / Raul Donangelo - Integrante / Gonzalo Abal - Integrante / Kempf, A. - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.Número de orientações: 2
2007 - 2009
CT-Info: Computação e Comunicação Quântica
Descrição: Este projeto visa desenvolver pesquisa básica em Computação Quântica e Comunicação Quântica com foco nos seguintes objetivos: 1. Desenvolver novos algoritmos quânticos baseados na metodologia do ?Problema do Subgrupo Oculto?; 2. Desenvolver novos algoritmos para o cálculo da capacidade de canais quânticos; 3. Desenvolver novos algoritmos quânticos baseados em passeios aleatórios quânticos. O projeto se encaixa dentro do desafio ?Impactos para a área da computação da transição do silício para novas tecnologias?..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (7) .
Integrantes: Renato Portugal - Coordenador / Carlile Campos Lavor - Integrante / Amanda Castro Oliveira - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2004 - 2007
Simulação Estocástica de Computação Quântica
Descrição: Investigamos em primeiro lugar a possibilidade de simulação eficiente de algoritmos quânticos usando a decomposição de Hubbard-Stratonovich, que consiste num método estocástico que lineariza as interações de portas quânticas emaranhadas introduzindo integrais em campos auxiliares. Pretendemos analisar os algoritmos quânticos que tem ganho exponencial em relação aos equivalentes clássicos, como os algoritmos de Shor, e em particular a transformada de Fourier quântica em grupos. Recentemente um grande esforço tem sido despendido no desenvolvimento de algoritmos baseados em caminho aleatórios quânticos (quantum random walks). Um resultado relevante foi mostrado recentemente (2001) que o tempo de alcance (hitting time) de um extremo a outro do hipercubo cresce polinomialmente com o número de vértices no caso quântico, enquanto que no caso clássico cresce exponencialmente. Temos interesse não só na simulação desse tipo de algoritmos, como também no desenvolvimento de novos algoritmo baseados em caminho aleatórios quânticos, em particular, algoritmos para encontrar cliques em grafos. Esse projeto envolve colaboração com pesquisadores de outras instituições (UERJ, CBPF, UNISINOS) e alunos de mestrado e doutoramento. Seus resultados serão apresentados em conferências nacionais e internacionais, e serão publicados em revistas com corpo editorial, como tem sido nossa prática, como pode ser visto nos documentos anexos. Nosso conhecimento dessa área também são transmitidos em cursos de pós-graduação de computação quântica e trabalhos de divulgação na área..
Situação: Concluído; Natureza: Pesquisa.
2002 - 2004
Invariantes Diferenciais do Tensor de Riemann
Descrição: Usar os algoritmos da Teoria de Grupo Computacional para gerar uma manipulação eficiente de expressões tensoriais. Obter bases para os invariantes diferenciais usando algoritmos para bases canônicas transversas de classes laterais duplas de subgrupos do grupo simétrico. Implementar na linguagem Maple os algoritmos desenvolvidos..
Situação: Concluído; Natureza: Pesquisa.
1990 - 2001
Outros, como participante
Situação: Concluído; Natureza: Pesquisa.


Outros Projetos


2010 - 2010
III Workshop-Escola de Computação e Informação Quântica
Descrição: O III Workshop-Escola de Computação e Informação Quântica - WECIQ2010 é um evento de caráter nacional realizado em Petrópolis, RJ, nos dias 13, 14 e 15 de outubro de 2010 promovido pelo LNCC, tendo como principais objetivos: 1. incrementar o desenvolvimento da Criptografia, Computação e Informação Quântica no Brasil; 2. ampliar o intercâmbio de informações e idéias entre professores, pesquisadores, estudantes e profissionais nestas áreas; 3. promover a integração entre universidades, centros de pesquisas e empresas; 4. divulgar a produção técnico-científica nacional nestas áreas; e 5. prover cursos nestas áreas para a atualização de estudantes, docentes, pesquisadores e profissionais. Contou com mais de 100 participantes, 6 palestras plenárias, 4 minicursos, 20 apresentações orais aprovadas por revisores, 18 pôsteres, anais, CD, etc..
Situação: Concluído; Natureza: Outra.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (3) .
Integrantes: Renato Portugal - Coordenador / Outros - Integrante / Demerson Nunes - Integrante / Celina Miraglia Herrera de Figueiredo - Integrante / Raul Donangelo - Integrante / Guilherme Augusto de la Rocque Leal - Integrante.Financiador(es): CAPES - Centro Anhanguera de Promoção e Educação Social - Auxílio financeiro / Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.


Membro de corpo editorial


2017 - Atual
Periódico: Natural Computing
2015 - Atual
Periódico: REVISTA DE ENGENHARIA DA UNIVERSIDADE CATÓLICA DE PETRÓPOLIS


Revisor de periódico


1997 - Atual
Periódico: Computer Physics Communications
2009 - Atual
Periódico: Quantum Information & Computation
2008 - Atual
Periódico: Recent Patents on Computer Science
2011 - Atual
Periódico: Journal of Global Optimization
2013 - Atual
Periódico: Quantum Information Processing (Print)
2013 - Atual
Periódico: International Journal of Quantum Information
2013 - Atual
Periódico: Computational & Applied Mathematics
2014 - Atual
Periódico: Applied Mathematics and Computation
2014 - Atual
Periódico: Neurocomputing (Amsterdam)
2015 - Atual
Periódico: Physical Review. A
2015 - Atual
Periódico: Scientific Reports
2015 - Atual
Periódico: Journal of Symbolic Computation
2016 - Atual
Periódico: Journal of Physics A: General Physics
2015 - Atual
Periódico: Physical Review Letters
2017 - Atual
Periódico: QUANTUM STUDIES: MATHEMATICS AND FOUNDATIONS


Revisor de projeto de fomento


2018 - Atual
Agência de fomento: National Science Centre


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computação Quântica.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Prêmios e títulos


2017
Howard E. Brandt Best Paper Award, Springer Nature Group.
2012
Prêmio Capes de Tese 2011 - Orientador da melhor tese de doutorado interdisciplinar, CAPES.
2010
Prêmio Odelar Leite Linhares SBMAC - Orientador da melhor dissertação, SBMAC.
1996
Professor Homenageado, Formandos da Engenharia Elétrica da PUC-Rio.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
KONNO, NORIO2018KONNO, NORIO ; Portugal, Renato ; SATO, IWAO ; SEGAWA, ETSUO . Partition-based discrete-time quantum walks. Quantum Information Processing, v. 17, p. 100, 2018.

2.
ROMANELLI, ALEJANDRO2018ROMANELLI, ALEJANDRO ; DE LIMA MARQUEZINO, FRANKLIN ; Portugal, Renato ; DONANGELO, RAUL . The energy cost of quantum information losses. PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, v. 497, p. 1-8, 2018.

3.
Portugal, Renato2018Portugal, Renato. Element distinctness revisited. Quantum Information Processing, v. 17, p. 163, 2018.

4.
COSTA, PEDRO C. S.2018COSTA, PEDRO C. S. ; Portugal, Renato ; DE MELO, FERNANDO . Quantum walks via quantum cellular automata. Quantum Information Processing, v. 17, p. 226, 2018.

5.
BOETTCHER, STEFAN2018BOETTCHER, STEFAN ; LI, SHANSHAN ; FERNANDES, THARSO D. ; Portugal, Renato . Complexity bounds on quantum search algorithms in finite-dimensional networks. PHYSICAL REVIEW A, v. 98, p. 012320, 2018.

6.
Borges, Fábio2017Borges, Fábio ; Lara, Pedro ; Portugal, Renato . Parallel algorithms for modular multi-exponentiation. Applied Mathematics and Computation, v. 292, p. 406-416, 2017.

7.
PHILIPP, PASCAL2017PHILIPP, PASCAL ; Portugal, Renato . Exact simulation of coined quantum walks with the continuous-time model. Quantum Information Processing (Print), v. 16, p. 14, 2017.

8.
KHATIBI MOQADAM, J.2017KHATIBI MOQADAM, J. ; DE OLIVEIRA, M. C. ; Portugal, R. . Staggered quantum walks with superconducting microwave resonators. PHYSICAL REVIEW B, v. 95, p. 144506, 2017.

9.
Portugal, R.2017Portugal, R.; DE OLIVEIRA, M. C. ; MOQADAM, J. K. . Staggered quantum walks with Hamiltonians. PHYSICAL REVIEW A, v. 95, p. 012328, 2017.

10.
Portugal, Renato2017Portugal, Renato; SEGAWA, ETSUO . Connecting Coined Quantum Walks with Szegedy's Model. Interdisciplinary Information Sciences, v. 23, p. 119-125, 2017.

11.
BOETTCHER, STEFAN2017BOETTCHER, STEFAN ; LI, SHANSHAN ; Portugal, Renato . Renormalization of the unitary evolution equation for coined quantum walks. Journal of Physics. A, Mathematical and Theoretical (Print), v. 50, p. 125302, 2017.

12.
Portugal, R.2017Portugal, R.; FERNANDES, T. D. . Quantum search on the two-dimensional lattice using the staggered model with Hamiltonians. PHYSICAL REVIEW A, v. 95, p. 042341, 2017.

13.
Portugal, Renato2016Portugal, Renato. Establishing the equivalence between Szegedy?s and coined quantum walks using the staggered model. Quantum Information Processing (Print), v. 14, p. 1387-1409, 2016.

14.
Portugal, R.2016 Portugal, R.; SANTOS, R. A. M. ; FERNANDES, T. D. ; GONÇALVES, D. N. . The staggered quantum walk model. Quantum Information Processing (Print), v. 15, p. 85-101, 2016.

15.
Portugal, Renato2016Portugal, Renato. Staggered quantum walks on graphs. PHYSICAL REVIEW A, v. 93, p. 062335, 2016.

16.
DÍAZ, NICOLÁS2016DÍAZ, NICOLÁS ; DONANGELO, RAUL ; Portugal, Renato ; ROMANELLI, ALEJANDRO . Transient temperature and mixing times of quantum walks on cycles. PHYSICAL REVIEW A, v. 94, p. 012305, 2016.

17.
A. Ambainis2015A. Ambainis ; R. Portugal ; N. Nahimov . Spatial Search on Grids with Minimum Memory. Quantum Information & Computation, v. 15, p. 1233-1247, 2015.

18.
Portugal, Renato2015Portugal, Renato; BOETTCHER, STEFAN ; FALKNER, STEFAN . One-dimensional coinless quantum walks. Physical Review. A, v. 91, p. 052319, 2015.

19.
BOETTCHER, STEFAN2015BOETTCHER, STEFAN ; FALKNER, STEFAN ; Portugal, Renato . Relation between random walks and quantum walks. Physical Review. A, v. 91, p. 052330, 2015.

20.
MOQADAM, JALIL KHATIBI2015MOQADAM, JALIL KHATIBI ; Portugal, Renato ; DE OLIVEIRA, MARCOS CESAR . Quantum walks on a circle with optomechanical systems. Quantum Information Processing (Print), v. 14, p. 3595-3611, 2015.

21.
SANTOS, RAQUELINE AZEVEDO MEDEIROS2015SANTOS, RAQUELINE AZEVEDO MEDEIROS ; Portugal, Renato ; BOETTCHER, STEFAN . Moments of coinless quantum walks on lattices. Quantum Information Processing (Print), v. 14, p. 3179-3191, 2015.

22.
LARA, P.2015LARA, P. ; LEÃO, A. ; Portugal, R. . Simulation of Quantum Walks using HPC. Journal of Computational Interdisciplinary Sciences, v. 6, p. 21, 2015.

23.
SANTOS, RAQUELINE AZEVEDO MEDEIROS2014SANTOS, RAQUELINE AZEVEDO MEDEIROS ; Portugal, Renato ; FRAGOSO, MARCELO DUTRA . Decoherence in quantum Markov chains. Quantum Information Processing (Dordrecht. Online), v. 13, p. 559-572, 2014.

24.
BOETTCHER, STEFAN2014BOETTCHER, STEFAN ; FALKNER, STEFAN ; Portugal, Renato . Renormalization and scaling in quantum walks. Physical Review. A, v. 90, p. 032324, 2014.

25.
ROMANELLI, ALEJANDRO2014ROMANELLI, ALEJANDRO ; DONANGELO, RAUL ; Portugal, Renato ; MARQUEZINO, FRANKLIN DE LIMA . Thermodynamics of N -dimensional quantum walks. PHYSICAL REVIEW. A, ATOMIC, MOLECULAR, AND OPTICAL PHYSICS (ONLINE), v. 90, p. 022329, 2014.

26.
SANTIAGO, DOUGLAS F. G.2013SANTIAGO, DOUGLAS F. G. ; Portugal, Renato ; MELO, NOLMAR . Non-Pauli observables for CWS codes. Quantum Information Processing (Dordrecht. Online), v. 12, p. 1871-1884, 2013.

27.
MARQUEZINO, FRANKLIN2013MARQUEZINO, FRANKLIN ; Portugal, Renato ; BOETTCHER, STEFAN . Spatial search algorithms on Hanoi networks. Physical Review. A, Atomic, Molecular, and Optical Physics (Online), v. 87, p. 012329, 2013.

28.
MOQADAM, JALIL KHATIBI2013MOQADAM, JALIL KHATIBI ; Portugal, Renato ; SVAITER, NAMI FUX ; CORRÊA, GILBERTO DE OLIVEIRA . Analyzing the Toffoli gate in disordered circuit QED. Physical Review. A, v. 87, p. 042324, 2013.

29.
LARA, PEDRO CARLOS S.2013LARA, PEDRO CARLOS S. ; Portugal, Renato ; BOETTCHER, STEFAN . QUANTUM WALKS ON SIERPINSKI GASKETS. International Journal of Quantum Information, v. 11, p. 1350069, 2013.

30.
LARA, PEDRO C. S.2013LARA, PEDRO C. S. ; Portugal, Renato ; LAVOR, CARLILE . A new hybrid classical-quantum algorithm for continuous global optimization problems. Journal of Global Optimization, v. 60, p. 317-331, 2013.

31.
BOETTCHER, S2013BOETTCHER, S ; FALKNER, S ; PORTUGAL, R . Renormalization group for quantum walks. JOURNAL OF PHYSICS. CONFERENCE SERIES (PRINT), v. 473, p. 012018, 2013.

32.
Lara, Pedro2012Lara, Pedro ; Borges, Fábio ; PORTUGAL, RENATO ; Nedjah, Nadia . Parallel modular exponentiation using load balancing without precomputation. Journal of Computer and System Sciences (Print), v. 78, p. 575-582, 2012.

33.
ABAL, G.2012ABAL, G. ; DONANGELO, R. ; FORETS, M. ; R. Portugal . Spatial quantum search in a triangular network. MSCS. Mathematical Structures in Computer Science (Print), v. 22, p. 521-531, 2012.

34.
F. L. Marquezino2010F. L. Marquezino ; Renato Portugal ; F. D. Sasse . Obtaining the Quantum Fourier Transform from the classical FFT with QR decomposition. Journal of Computational and Applied Mathematics, v. 235, p. 74-81, 2010.

35.
R. A. M. Santos2010R. A. M. Santos ; Renato Portugal . QUANTUM HITTING TIME ON THE COMPLETE GRAPH. International Journal of Quantum Information, v. 08, p. 881-894, 2010.

36.
F. L. Marquezino2010F. L. Marquezino ; Renato Portugal ; G. Abal . Mixing times in quantum walks on two-dimensional grids. Physical Review. A, v. 82, p. 042341, 2010.

37.
G. Abal2010G. Abal ; R. J. Donangelo ; F. L. Marquezino ; Renato Portugal . Spatial search on a honeycomb network. MSCS. Mathematical Structures in Computer Science (Print), v. 20, p. 999-1009, 2010.

38.
A. Kempf2009A. Kempf ; Renato Portugal . Group velocity of discrete-time quantum walks. Physical Review. A, v. 79, p. 052317, 2009.

39.
F. L. Marquezino2008F. L. Marquezino ; Renato Portugal ; G. Abal ; R. J. Donangelo . Mixing times in quantum walks on the hypercube. Physical Review. A, v. 77, p. 042312-1-042312-8, 2008.

40.
Franklin de Lima Marquezino2008Franklin de Lima Marquezino ; Renato Portugal . The QWalk simulator of quantum walks. Computer Physics Communications, v. 179, p. 1, 2008.

41.
Luis Antonio Brasil Kowada2008Luis Antonio Brasil Kowada ; Carlile Campos Lavor ; Renato Portugal ; Celina Miraglia Herrera de Figueiredo . A New Quantum Algorithm for Solving the Minimum Searching Problem. International Journal of Quantum Information, v. 6, p. 427-436, 2008.

42.
J. M. Martín-García2008J. M. Martín-García ; D. Yllanes ; Renato Portugal . The Invar tensor package: Differential invariants of Riemann. Computer Physics Communications, v. 179, p. 1, 2008.

43.
J. M. Martín-García2007J. M. Martín-García ; Renato Portugal ; L. R. U. Manssur . The Invar Tensor Package. Computer Physics Communications, v. 177, p. 640-648, 2007.

44.
Carlile Campos Lavor2007Carlile Campos Lavor ; L. M. Carvalho ; Renato Portugal ; C. A. Moura . Complexity of Grover´s algorithm: an algebraic approach. International Journal of Applied Mathematics, v. 20, p. 801-814, 2007.

45.
Jean Faber Ferreira de Abreu2006Jean Faber Ferreira de Abreu ; Renato Portugal ; L. P. Rosa . Information processing in brain microtubules. Biosystems (Amsterdam. Print), Holanda, v. 83, n.1, p. 1-9, 2006.

46.
J. Faber2006J. Faber ; Renato Portugal ; L. P. Rosa . Quantum games in open systems using biophysical Hamiltonians. Physics Letters. A (Print), v. 357, n.6, p. 433-437, 2006.

47.
Amanda Castro Oliveira2006 Amanda Castro Oliveira ; Renato Portugal ; R. J. Donangelo . Decoherence in two-dimensional quantum walks. Physical Review. A, Atomic, Molecular, and Optical Physics (Online), v. 74, p. 12312, 2006.

48.
Luis Antonio Brasil Kowada2006Luis Antonio Brasil Kowada ; Renato Portugal ; Celina Miraglia Herrera de Figueiredo . Reversible Karatsuba's Algorithm. Journal of Universal Computer Science (Print), v. 12, n.5, p. 499-511, 2006.

49.
MANSSUR, L2004MANSSUR, L. The Canon package: a fast kernel for tensor manipulators. Computer Physics Communications, v. 157, p. 173-180, 2004.

50.
L. R. U. Manssur2003L. R. U. Manssur ; Renato Portugal . Stochastic simulation of quantum computation. Europhysics Letters (Print), v. 63, n.4, p. 492-497, 2003.

51.
L. R. U. Manssur2002 L. R. U. Manssur ; Renato Portugal ; B. F. Svaiter . Group-theoretic Approach for Symbolic Tensor Manipulation. International Journal of Modern Physics C, v. 14, n.7, p. 859-879, 2002.

52.
A. Hatzinikitas2001A. Hatzinikitas ; Renato Portugal . The d=6 Trace Anomaly from Quantum Field Theory Four-Loop Graphs in one Dimension. Nuclear Physics. B, EUA, v. 613, p. 237-259, 2001.

53.
D. Frenkel2001 D. Frenkel ; Renato Portugal . Algebraic methods to compute Mathieu functions. Journal of Physics. A, Mathematical and General (Print) (Cessou em 2006. Cont. ISSN 1751-8113 Journal of Physics. A, Mathematical and Theoretical (Pri, v. 34, p. 3541-3551, 2001.

54.
A. Malbuisson2001A. Malbuisson ; Renato Portugal ; N. F. Svaiter . A Non-perturbative Solution of the Zero-Dimensional lambda phi 4 Field Theory. Physica. A, v. 292, p. 485-493, 2001.

55.
P. Antonelli2001P. Antonelli ; N. Maculan ; Renato Portugal ; S. F. Rutz ; S. Sabau . Transient-States Analysis of a 2-species Dynamical Ecological Model via KCC-Theory. Nonlinear Studies - The international journal, Holanda, v. 8, p. 283-296, 2001.

56.
S. F. Rutz2001S. F. Rutz ; Renato Portugal . FINSLER: a Computer Algebra Package for Finsler Geometries. Nonlinear Analysis. Theory, Methods and Applications, v. 47, n.9, p. 6121-6134, 2001.

57.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R2000Renato Portugal. The Riegeom Package: Abstract Tensor Calculations. Computer Physics Communications, Holanda, v. 126, p. 261-268, 2000.

58.
S. Lipshitz2000S. Lipshitz ; Renato Portugal ; J. Vanderkooy . Using Computer Algebra to Explore Soud-wave Propagation in Spherical Cavities. Journal of Computing and Information Science in Engineering, Estados Unidos, v. 2, n.2, p. 84-94, 2000.

59.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1999Renato Portugal; L. Golebiowski ; D. Frenkel . Oscillation Of Membranes Using Computer Algebra. American Journal of Physics, USA, v. 67, n.JUNE, p. 534-537, 1999.

60.
D. Frenkel1999D. Frenkel ; L. Golebiowski ; Renato Portugal . Computer Algebra Takes On The Vibrating Membrane Problem. Journal of Computing and Information Science in Engineering, v. 1, n.2, 1999.

61.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1999Renato Portugal. Algorithmic Simplification of Tensor Expressions. Journal of Physics. A, Mathematical and General, v. 32, p. 7779-7789, 1999.

62.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1998Renato Portugal. An Algorithm To Simplify Tensor Expressions. Computer Physics Communications, Holanda, v. 115, p. 215-230, 1998.

63.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1997Renato Portugal; S. Sautú . Applications of Maple to General Relativity. Computer Physics Communications, The Netherlands, v. 105, p. 233-253, 1997.

64.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1997Renato Portugal. Dirac Equation In Spatially Homogeneous Cosmological Models. Il Nuovo Cimento della Società Italiana di Fisica. B (Testo stampato), Italia, v. 112, p. 1625-1636, 1997.

65.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1995Renato Portugal. Exact Solutions Of The Dirac Equations In An Anisotropic Cosmological Background. Journal of Mathematical Physics, v. 26, p. 4296, 1995.

66.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1995Renato Portugal. Maxwell'S Equations In Spatially Homogeneous Cosmological Models. Astrophysics and Space Science, v. 232, p. 27-36, 1995.

67.
J. V. Domingos1993J. V. Domingos ; R. M. Doria ; Renato Portugal . Omega Matrix Of Generalized Gauge Models. Acta Physica Hungarica. Heavy Ion Physics (Print), Hungria, v. 73, n.2-4, p. 205-223, 1993.

68.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1991Renato Portugal; I. D. Soares . Magnetohydrodynamic Cosmologies. The Astrophysical Journal, v. 380, p. 330-333, 1991.

69.
J. A. S. Lima1990J. A. S. Lima ; Renato Portugal ; I. Waga . Bulk Viscosity And Deflationary Universe. Brazilian Journal of Physics, Brasil, v. 20, n.2, p. 187, 1990.

70.
J. A. S. Lima1988J. A. S. Lima ; Renato Portugal ; I. Waga . Bulk-Viscosity-Driven Asymmetric Inflationary Universe. Physical Review D, USA, v. 37, n.10, p. 2755-2760, 1988.

71.
Renato Portugal;R. Portugal;Portugal, Renato;R Portugal;MANSSUR, L;PORTUGAL, R1987Renato Portugal; I. D. Soares . Magnetohydrodynamic Cosmologies With A Bertotti-Robinson-Like Limit. The Astrophysical Journal, v. 316, p. 483-488, 1987.

Livros publicados/organizados ou edições
1.
R Portugal. Quantum Walks and Search Algorithms. 2. ed. Springer, 2018. 303p .

2.
Portugal, R.. Quantum Walks and Search Algorithms. 1. ed. New York: Springer, 2013. 222p .

3.
Portugal, R.; D. N. Gonçalves . Códigos Quânticos Corretores de Erros. 1. ed. São Carlos: SBMAC, 2012. 86p .

4.
Renato Portugal. Algoritmos Quânticos de Busca. 1. ed. São Carlos: SBMAC, 2010. v. 1. 137p .

5.
C. C. Lavor (Org.) ; F. L. Marquezino (Org.) ; D. N. Gonçalves (Org.) ; Renato Portugal (Org.) . Anais do III Workshop-Escola de Computação e Informação Quântica. 1. ed. Petrópolis: LNCC, 2010. v. 1. 218p .

6.
Renato Portugal; Carlile Campos Lavor ; L. M. Carvalho ; N. Maculan . Uma Introdução à Computação Quântica. 1. ed. São Paulo: SBMAC, 2004. v. 100. 62p .

7.
Renato Portugal. Introdução A Programação Em Maple. 1. ed. Rio de Janeiro: Editora CBPF, 1996. v. 1. 220p .

Capítulos de livros publicados
1.
G. Giraldi ; C. C. Lavor ; Renato Portugal . A Formal Approach to Quantum Genetic Algorithms. In: Susan Shannon. (Org.). Trends in Quantum Computing Research. : Nova Science Publishers, 2006, v. , p. 135-147.

2.
Renato Portugal; S. F. Rutz . Computer Algebra for Finsler Geometry. In: Peter Antonelli. (Org.). A Handbook on Finler Geometry. 1ed.Alberta, Canadá: Kluwer, 2003, v. 1, p. 332-401.

Trabalhos completos publicados em anais de congressos
1.
Abreu, A. ; Cunha, L. ; T.D. Fernandes ; Figueiredo, C. ; Kowada, L. ; F. L. Marquezino ; Posner, D. ; R Portugal . The Graph Tessellation Cover Number: Extremal Bounds, Efficient Algorithms and Hardness. In: 13th Latin American Symposium, 2018, Buenos Aires. LATIN 2018: Theoretical Informatics, 2018. v. 10807. p. 1-13.

2.
D. N. Gonçalves ; R. Portugal ; T.D. Fernandes . An Efficient Quantum Algorithm for the Hidden Subgroup Problem over some Non-Abelian Groups. In: Congresso de Matemática Aplicada e Computacional, 2015, Vitória. Anais do CMAC, 2015. v. 1. p. 1.

3.
R. A. M. Santos ; R. Portugal ; S. Boettcher . Mean square displacement of the coinless quantum walk on the line. In: V Workshop-Escola de Computação e Informação Quântica, 2015, Campina Grande. Anais do V WECIQ, 2015.

4.
VASQUEZ, JUAN DEL CARMEN GRADOS ; BORGES, FABIO ; Portugal, Renato ; Lara, Pedro . An Efficient One-Bit Model for Differential Fault Analysis on Simon Family. In: 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), 2015, Saint Malo. 2015 Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC), 2015. p. 61.

5.
P. C. S. Lara ; A.B. Leão ; R. Portugal . Simulation of Quantum Walks using HPC. In: Conference of Computational Interdisciplinary Science, 2014, Asuncion. Proceeding of the 3rd Conference of Computational Interdisciplinary Sciences, 2014. v. 5. p. 230.

6.
P. C. S. Lara ; C. C. Lavor ; Renato Portugal . A Classical-Quantum algorithm for Continuous Global Optimization Problems. In: Global Optimization Workshop 2012, 2012, Natal. Annals of Global Optimization Workshop 2012, 2012. v. 1.

7.
R. A. M. Santos ; R. Portugal . Decoherence in Szegedy's Quantum Walk. In: XXXIV Congresso Nacional de Matemática Aplicada e Computacional, 2012, Águas de Lindóia. Anais do XXXIV CnMac, 2012. v. 1. p. 1.

8.
J. G. Vasquez ; R. Portugal . Estudo Comparativo de Algoritmos de Decodificação para Códigos de Goppa Aplicados no McEliece. In: XXXIV Congresso Nacional de Matemática Aplicada e Computacional, 2012, Águas de Lindóia. Anais do XXXIV CnMac, 2012. v. 1. p. 1.

9.
Fábio Borges ; PETZOLDT, A. ; R. Portugal . Small Private Keys for Systems of Multvariate Quadratic Equations using Symmetric Cryptography. In: XXXIV Congresso Nacional de Matemática Aplicada e Computacional, 2012, Águas de Lindóia. Anais do XXXIV CnMac, 2012. v. 1. p. 1.

10.
D. F. G. Santiago ; Portugal, R. ; Melo, N. . Non-Pauli Observables for CWS Codes. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 17-22.

11.
F. L. Marquezino ; Portugal, R. ; S. Boettcher . Spatial Search Algorithms on Hanoi Networks. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 56-61.

12.
P. C. S. Lara ; R. Portugal ; S. Boettcher . Quantum Walks on Sierpinski Gaskets. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 62-66.

13.
R. A. M. Santos ; R. Portugal . Simulations of Quantum Markov Chains on Percolation Graphs. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 105-109.

14.
Franklin de Lima Marquezino ; Renato Portugal ; S. Boettcher . Quantum search algorithms on hierarchical networks. In: IEEE Information Theory Workshop (ITW), 2011, Paraty. Proc. IEEE Information Theory Workshop, 2011. v. 1. p. 247-251.

15.
D. N. Gonçalves ; Renato Portugal . Algoritmos Quânticos em Tempo Sub-exponencial para 2-Grupos. In: XXXIII Congresso Nacional de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII CNMAC, 2010. v. 1. p. 1.

16.
Fábio Borges ; Renato Portugal ; P. C. S. Lara . Paralelização para o Algoritmo de Exponenciação Modular. In: XXXIII Congresso Nacional de Matemática Aplicada e Computacional, 2010, Águas de Lindóia. Anais do XXXIII CNMAC, 2010. v. 1. p. 1.

17.
D. N. Gonçalves ; Renato Portugal . O Problema do Subgrupo Oculto para uma Classe de Grupos Não-Comutativos. In: III Wokshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 21-30.

18.
G. Abal ; R. J. Donangelo ; M. Forets ; Renato Portugal . Spatial quantum search in a triangular network. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 73-82.

19.
R. A. M. Santos ; Renato Portugal . Quantum Hitting Time on the Cycle. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 83-91.

20.
G. Abal ; R. J. Donangelo ; Franklin de Lima Marquezino ; Amanda Castro Oliveira ; Renato Portugal . Decoherence in Search Algorithms. In: SEMISH 2009 (CSBC), 2009, Bento Gonçalves. Anais do XXIX Congresso da Sociedade Brasileira de Computação, 2009.

21.
P. C. S. Lara ; Fábio Borges ; Renato Portugal . Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular. In: IX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2009, Campinnas. Anais do SBSeg, 2009. v. 1. p. 1-10.

22.
Demerson Nunes Gonçalves ; Renato Portugal ; Carlos Magno Martins Cosme . Solutions to the Hidden Subgroup Problem on some Metacyclic Groups. In: 4th Workshop on Theory of Quantum Computation, Communication and Criptography, 2009, Waterloo. Lectures Notes in Computing Science (LNCS), 2009. v. 5906. p. 1-9.

23.
Demerson Nunes Gonçalves ; Renato Portugal ; Carlos Magno Martins Cosme . Algoritmos Quânticos para uma Classe de Produtos Semidiretos de Grupos. In: XXXI Congresso de Matemática Aplicada e Computacional, 2008, Belém. Anais do XXXI CNMAC, 2008. v. 1. p. 159-163.

24.
Luis Antonio Brasil Kowada ; Celina Miraglia Herrera de Figueiredo ; Renato Portugal ; Carlile Campos Lavor . Aplicação do Algoritmo de Grover para Problemas NP-Completos. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 21-30.

25.
Michael Ferreira de Souza ; Carlile Campos Lavor ; Renato Portugal ; N. Maculan . Cálculo da informação acessível via branch-and-bound e aritm´etica intervalar. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 31-40.

26.
Carlos Magno Martins Cosme ; Renato Portugal . O Problema do Subgrupo Oculto em uma Classe de Produto Semidireto de Grupos. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 80-89.

27.
Franklin de Lima Marquezino ; Renato Portugal . QWalk: Simulador de Caminhadas Quânticas. In: Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do 2o Workshop-Escola de Computação e Informação Quântica. Campina Grande: EUFCG, 2007. v. 1. p. 123-132.

28.
Fábio Borges ; Portugal, R. ; Jauvane C. Oliveira . Steganography with Public-Key Cryptography for Videoconference. In: XXX Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. Anais do XXX CNMAC, 2007. v. 1. p. 1-6.

29.
Jean Faber Ferreira de Abreu ; Renato Portugal ; L. P. Rosa . Quantum Channels as Quantum Games. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIQ2006, 2006. v. 1. p. 219-228.

30.
Michael Ferreira de Souza ; Carlile Campos Lavor ; Renato Portugal . O problema do cálculo da informação acessível. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIQ2006, 2006. v. 1. p. 255-264.

31.
Amanda Castro Oliveira ; Renato Portugal ; R. J. Donangelo . Two-Dimensional Quantum Walks with Boundaries. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIQ2006, 2006. v. 1. p. 211-218.

32.
Renato Portugal; Carlos Magno Martins Cosme ; Demerson Nunes Gonçalves . Algoritmos Quânticos. In: Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do WECIC2006, 2006. v. 1. p. 67-100.

33.
C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Quantum Computing and Database Search. In: Workshop em Grade Computacional e Aplicações, 2003, Petrópolis. Proceedings do Workshop em Grade Computacional e Aplicações, 2003. v. 1.

34.
J. Faber ; L. P. Rosa ; Renato Portugal . Information processing in brain microtubules. In: Quantum Mind 2003 - Consciousness, Quantum Physics and the Brain, 2003, Tucson. Proceedings of Quantum Mind 2003, 2003. v. 1.

35.
C. C. Lavor ; N. Maculan ; Renato Portugal . O Algoritmo de Brüschweiler. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais da SBPO, 2003. v. 22.

36.
C. C. Lavor ; N. Maculan ; Renato Portugal . O Algoritmo de Grover. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais da SBPO, 2003. v. 22.

37.
F. Haas ; Renato Portugal . Computacao Algébrica e Simetrias de Lie. In: XXIV CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2001, Belo Horizonte. Minicurso do XXIV CNMAC, 2001.

Resumos expandidos publicados em anais de congressos
1.
Renato Portugal; Carlile Campos Lavor ; L. M. Carvalho . Quantum Algorithms for the Graph Isomorphism Problem. In: CNMAC, 2005, São Paulo, 2005.

2.
L. M. Carvalho ; Carlile Campos Lavor ; Renato Portugal . Representações de um q-bit: propriedades e visualização. In: XXVIII CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2005, São Paulo, 2005.

Resumos publicados em anais de congressos
1.
D. G. G. Souza ; R. Portugal ; D. N. Gonçalves . Sieve Algorithm for the Hidden Subgroup Problem on Semidirect Product Groups. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 152.

2.
Melo, N. ; D. F. G. Santiago ; R. Portugal . Detecting Errors In a Non Binary Quantum Code. In: IV Workshop-school on Quantum Computation and Information (WECIQ 2012), 2012, Fortaleza. Proceeding of WECIQ 2012, 2012. v. 1. p. 156.

3.
D. G. G. Souza ; D. N. Gonçalves ; Renato Portugal . Algoritmo quântico com espaço de dados polinomial para o problema do subgrupo oculto sobre grupos metacíclicos. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 213-214.

4.
D. F. G. Santiago ; Renato Portugal . ?Codeword Stabilized Quantum Codes? e Algoritmos com Inspiração Genética. In: III Workshop-Escola de Computação e Informação Quântica, 2010, Petrópolis. Anais do WECIQ 2010. Petrópolis: LNCC, 2010. v. 1. p. 203-204.

5.
Amanda Castro Oliveira ; R. J. Donangelo ; Renato Portugal . Simulation of the Double Slit Experiment with Quantum Walkers. In: Quantum Optics IV, 2008, Florianópolis. Program and Book of Abstracts, 2008. v. 1.

6.
Amanda Castro Oliveira ; Franklin de Lima Marquezino ; Renato Portugal ; R. J. Donangelo . Comparative behavior of the two-dimensional quantum walker with diferent sources of noise. In: XXXI Encontro nacional de Física da Matéria Condensada, 2008, Águas de Lindóia. Resumos do XXXI Encontro nacional de Física da Matéria Condensada, 2008. v. 1.

7.
Demerson Nunes Gonçalves ; Carlos Magno Martins Cosme ; Renato Portugal . Um Algoritmo Quântico Eficiente para o PSE em Zm semidireto Zp. In: CNMAC, 2006, Campinas, 2006.

8.
Demerson Nunes Gonçalves ; Renato Portugal . Transformada de Fourier em Grupos Não-comutativos. In: XXVII Congresso Nacional de Matemática Aplicada e Computacional, 2004, Porto Alegre, 2004.

9.
C. C. Lavor ; N. Maculan ; Renato Portugal . Shor's Algorithms and Applications to Break the Protocols of Classical Cryptography. In: XXVI Congresso Nacional de Matemática Aplicada e Computacional, 2003, São José do Rio Preto. Anais do XXVI CNMAC, 2003. v. 1. p. 1-10.

10.
L. R. U. Manssur ; Renato Portugal . Group-theoretic approach for symbolic tensor manipulation. In: Encontro Nacional de Partículas e Campos, 2002, São Lourenço, 2002.

11.
Renato Portugal; L. R. U. Manssur ; R. S. Silva ; F. L. Marquezino . Simulação de Computação Quântica. In: XXV CNMAC, 2002, Nova Friburgo, 2002.

12.
Renato Portugal. Application of Computational Group Theory for Tensor Simplification. In: 6th IMACS Conference on Applications of Computer Algebra, 2000, Saint Petersburg. Proceedings of the 6th IMACS Conference on Applications of Computer Algebra, 2000. v. 1. p. 18.

13.
Renato Portugal; S. Sautú . O Pacote Riemann. In: XVI Encontro Nacional de Física de Partículas e Campos, 1995, Caxambú, 1995.

Apresentações de Trabalho
1.
Portugal, R.. A matemática da computação quântica. 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
Franklin de Lima Marquezino ; PORTUGAL, RENATO ; S. Boettcher . Quantum Walks in Hierarchical Regular Networds. 2011. (Apresentação de Trabalho/Congresso).

3.
Portugal, R.. DESAFIOS DA COMPUTAÇÃO QUÂNTICA. 2009. (Apresentação de Trabalho/Conferência ou palestra).


Produção técnica
Programas de computador sem registro
1.
J. M. Martín-García ; Renato Portugal ; L. R. U. Manssur . The Invar Tensor Package. 2007.

2.
L. R. U. Manssur ; Renato Portugal . The Canon Package. 2003.

3.
D. Frenkel ; Renato Portugal ; E. Cheb-Terrab . Mathieu Functions. 2003.

4.
Renato Portugal; S. F. Rutz . The Finsler Package. 2003.

5.
Renato Portugal. The Riegeom Package. 2000.

6.
Renato Portugal; S. Sautú . The Riemann Package. 1997.

7.
Renato Portugal. Zeros of Bessel and Related Functions. 1997.


Demais tipos de produção técnica
1.
R. Portugal. Códigos Quânticos Corretores de Erros. 2012. (Curso de curta duração ministrado/Outra).

2.
R. Portugal. Quantum Computing: Concepts and Applications. 2012. (Curso de curta duração ministrado/Outra).

3.
R. Portugal. Códigos Quânticos Corretores de Erros. 2012. (Curso de curta duração ministrado/Outra).

4.
Portugal, R.. Algoritmos Quânticos de Busca. 2010. (Curso de curta duração ministrado/Outra).

5.
Portugal, R.. Códigos Quânticos. 2010. (Curso de curta duração ministrado/Outra).

6.
Antonio Carlos da Rocha Costa ; Renato Portugal . Anais do Workshop-Escola de Computação e Informação Quântica. 2006. (Editoração/Anais).

Demais trabalhos
1.
C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Grover's Algorithm: Quantum Database Search. 2003 (Relatório Técnico) .

2.
C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Stochastic Simulation of Quantum Computation. 2003 (Relatório Técnico) .

3.
C. C. Lavor ; L. R. U. Manssur ; Renato Portugal . Shor's Algorithm for Factoring Large Integers. 2003 (Relatório Técnico) .

4.
Renato Portugal. Algorithms To Find Zeros Of Bessel And Airy Functions. 1997 (SOFTWARE) .

5.
Renato Portugal. Introducao Ao Maple. 1996 (APOSTILA DIDATICA) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Outros; R Portugal. Participação em banca de Miguel Barbosa Brandão. Algoritmo quântico para encontrar a moda estatística. 2018. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

2.
R Portugal; Outros. Participação em banca de André L. F. Albuquerque. High-Performance Simulation of Interacting Multiparticle Quantum Walks with Apache Spark. 2018. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

3.
R Portugal; Outros. Participação em banca de Talita H. G. Frinzi. Método DIMAIC para aumento da confiabilidade de resultados em projetos. 2018. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis.

4.
R Portugal; Outros. Participação em banca de Geane Fayer. Análise de Riscos Aplicada aos Aspectos Hídricos de Siderúgicas. 2018. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis.

5.
Portugal, R.; Outros. Participação em banca de Alexandre Santiago de Abreu. Tesselações em Grafos e suas Aplicação em Computação Quântica. 2017. Dissertação (Mestrado em Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

6.
Portugal, R.; Outros. Participação em banca de Marcos de ANdrade Lopes. Evolução do rouge no aço inoxidável AISI 316L utulizado em sistemas industriais.. 2017. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis.

7.
N. Nedjah; Renato Portugal; Outros. Participação em banca de Sérgio de Souza Raposo. Coprocessador para operações quânticas. 2012. Dissertação (Mestrado em Engenharia Eletrônica) - Universidade do Estado do Rio de Janeiro.

8.
S. F. Rutz; Renato Portugal; Outros. Participação em banca de Carlos Eduardo Hirakawa. Modelando Evolução por Endossimbiose. 2010. Dissertação (Mestrado em Curso de Mestrado e Doutorado da UERJ) - Universidade do Estado do Rio de Janeiro.

9.
Marcelo Fragoso; João B. R. do Val; Jack Baczynski; Renato Portugal. Participação em banca de Marcos Garcia Todorov. Controle H-infinito de Sistemas Lineares com Infinitos Saltos Markovianos via Realimentação de Saída. 2007. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

10.
A. G. M. Neves; Renato Portugal; Outros. Participação em banca de Flávio Almeida Lemos. Modos de vibração da membrana elíptica e problemas de Sturm-Liouville acoplados. 2007. Dissertação (Mestrado em Matemática) - Universidade Federal de Minas Gerais.

11.
Marco A. C. Pacheco; Carlos Roberto Hall Barbosa; Renato Portugal; Maurício Pamplona Pires; Rodrigo Prioli Menezes. Participação em banca de Omar Paranaiba Vilela Neto. Simulação e Síntese Automática de Circuitos de Autômatos Celulares com Pontos Quânticos Através de Técnicas Inteligentes. 2006. Dissertação (Mestrado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

12.
Celina Miraglia Herrera de Figueiredo; Renato Portugal; Carlos Martinhon. Participação em banca de Rafael Bernardo Teixeira. Cortes-Estrela e Cortes-Clique Sanduíche. 2003. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Teses de doutorado
1.
Portugal, R.; Outros. Participação em banca de Edmar José do Nascimento. Contribuição para a Distribuição Quântica de Chaves com Variáveis Contínuas. 2017. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

2.
Portugal, R.; Outros. Participação em banca de Sebastián Alberto Grillo. A Reformulation of Quantum Query Model. 2017. Tese (Doutorado em Programa de Engenharia da COPPE - UFRJ) - Universidade Federal do Rio de Janeiro.

3.
Renato Portugal; Outros. Participação em banca de Fernando V. Mendes. Teleportação de Portas Quânticas. 2015. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

4.
Costa, S.; Renato Portugal; Outros. Participação em banca de Antonio Campello. Lattices, Projections and Applications to Information Theory. 2014. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

5.
Marco A. C. Pacheco; Renato Portugal; Outros. Participação em banca de Iury Steiner de Oliveira Bezerra. Investigação de um Modelo ab Initio para Cálculos de Estrutura Eletrônica de Átomos por Algoritmos Evolutivos, Wavelets e Polinômios de Laguerre. 2014. Tese (Doutorado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

6.
Marco A. C. Pacheco; Renato Portugal; Outros. Participação em banca de Cleomar Pereira da Silva. Programação Genética Maciçamente Paralela em GPUs. 2014. Tese (Doutorado em Doutorado em Engenharia Elétrica - Pontifícia Universidade Católica, RJ) - Pontifícia Universidade Católica do Rio de Janeiro.

7.
Ruggiero, M. G.; C. C. Lavor; Renato Portugal; Outros. Participação em banca de Douglas Soares Conçalves. Métodos Matemáticos em Tomografia de Estados Quânticos. 2013. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

8.
Francisco Marcos de Assis; Renato Portugal; Outros. Participação em banca de Elloá Barreto Guedes da Costa. Capacidade Quântica deSigilo Erro-zero e Informação Acessível Erro-zero de Fontes Quânticas. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Campina Grande.

9.
Rubens Viana Ramos; Renato Portugal; Outros. Participação em banca de David Sena Oliveira. Entrelaçamento de estados puros de 4 e 6 qubits via negatividade. 2012. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

10.
Francisco Marcos de Assis; Renato Portugal; Outros. Participação em banca de Gilson Oliveira dos Santos. Proteção da Informação Contra a Ocorrência de Erros Computacionais e Apagamentos. 2012. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

11.
Carlile Campos Lavor; Renato Portugal; Outros. Participação em banca de Nolmar Melo de Souza. Uma Álgebra de Clifford de Assinatura (n,3n) e os Operadores Densidade da Teoria da Informação Quântica. 2011. Tese (Doutorado em Doutorado em Matemática) - Universidade Estadual de Campinas.

12.
Marco A. C. Pacheco; Renato Portugal; Outros. Participação em banca de Douglas Mota Dias. Programação Genética Linear com Inspiração Quântica. 2010. Tese (Doutorado em Doutorado) - Pontifícia Universidade Católica do Rio de Janeiro.

13.
Carlile Campos Lavor; Renato Portugal; Outros. Participação em banca de Tatiane da Silva Evangelista. Discriminação de estados quânticos via programação semidefinida. 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

14.
Marley M. B. R. Vellasco; Marco A. C. Pacheco; Valmir C. Barbosa; Renato Portugal; Leandro dos Santos Coelho; Karla T. F. Leite; Carlos R. H. Barbosa; Yvan J. T. Valdivia. Participação em banca de André Vargas Abs da Cruz. Algoritmos Evolutivos com Inspiração Quântica para Problemas com Representação Numérica. 2007. Tese (Doutorado em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

15.
J. Koiller; Renato Portugal; Outros. Participação em banca de Gerusa Alexsandra de Araújo. Um Modelo para o Movimento Flagelar. 2004. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

16.
L. Mota; J. Koiller; Renato Portugal; Raul Oscar Vallejos; Maria Eulalia Vares. Participação em banca de Sérgio Eduardo Silva Duarte. Abordagem não classificatória para solução e análise de equações diferenciais ordinárias. 2003. Tese (Doutorado em Física) - Centro Brasileiro de Pesquisas Físicas.

Qualificações de Doutorado
1.
Marco A. C. Pacheco; Renato Portugal; Outros. Participação em banca de Cleomar Pereira da Silva. Investigação da Convergência em Programação Genética com Inspiração Quântica. 2013. Exame de qualificação (Doutorando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
Renato Portugal; Outros. Participação em banca de Elloá B. Guedes. Capacidade Quântica de Sigilo Erro-Zero e Informação Acessível de Fontes Quânticas Erro-Zero. 2012. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Federal de Campina Grande.

3.
Renato Portugal; Outros. Participação em banca de Gilson Oliveira dos Santos. Construção de Decodificadores para Correção de Erros Computacionais e Apagamentos Quânticos. 2011. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

4.
Rubens Viana Ramos; Renato Portugal; Outros. Participação em banca de David Sena Oliveira. Estudos sobre Entrelaçamento com Quatro Qubits. 2009. Exame de qualificação (Doutorando em Engenharia de Teleinformática) - Universidade Federal do Ceará.

5.
Rubens Viana Ramos; Renato Portugal; Outros. Participação em banca de João Luzeilton de Oliveira. Ferramentas Algébricas para o Estudo de Emaranhamento de Estados Quânticos. 2009. Exame de qualificação (Doutorando em Engenharia de Teleinformática) - Universidade Federal do Ceará.

6.
G. A. R. Leal; Renato Portugal; Outros. Participação em banca de Susan Wouters. Grupos Nilpotentes. 2009. Exame de qualificação (Doutorando em Doutorado em Matemática) - Universidade Federal do Rio de Janeiro.

7.
Francisco Marcos de Assis; Renato Portugal; Outros. Participação em banca de Rex Antonio da Costa Medeiros. Zero-Error Capacity of Quantum Channels. 2007. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Campina Grande.

8.
Antonio Carlos da Rocha Costa; Alvaro Freitas Moreira; Renata Hax Sander Reiser; Edward Hermann Haeusler; Renato Portugal. Participação em banca de Juliana Kaizer Vizzotto. An Algebra of Quantum Programming. 2005. Exame de qualificação (Doutorando em Computação) - Universidade Federal do Rio Grande do Sul.

9.
Celina Miraglia Herrera de Figueiredo; Renato Portugal; Valmir C. Barbosa; R. J. Donangelo; Carlile Campos Lavor. Participação em banca de Luis Antonio Brasil Kowada. Computação Reversível e Quântica. 2004. Exame de qualificação (Doutorando em Sistemas de Computação) - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia.

Trabalhos de conclusão de curso de graduação
1.
Gerson Nunes da Cunha; Renato Portugal; Gustavo Haubrich; José Carlos Tavares da Silva; José Abdalla Helayël Neto. Participação em banca de Franklin de Lima Marquezino.Simulação da Transformada de Fourier Quântica Utilizando Computação Distribuída. 2004. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Católica de Petrópolis.

2.
Gerson Nunes da Cunha; Renato Portugal; Gustavo Haubrich; José Carlos Tavares da Silva; José Abdalla Helayël Neto. Participação em banca de Rui Rodrigues de Mello Júnior.Simulação da Transformada de Fourier Quântica Utilizando Computação Distribuída. 2004. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Católica de Petrópolis.



Participação em bancas de comissões julgadoras
Professor titular
1.
Renato Portugal; Outros. Banca de Avaliação de Promoção ao Nível de Professor Titular da Coppe. 2015. Universidade Federal do Rio de Janeiro.

Concurso público
1.
Portugal, R.; Outros. Concurso público para professor de carreira superior. 2016. Universidade Federal de Juiz de Fora.

2.
Renato Portugal; Outros. Concurso de Professor Adjunto da Área de Ciência da Computação. 2013. Universidade Federal de São Paulo.

3.
Renato Portugal; Outros. Paralelização e Otimização de Software Científico. 2012. Laboratório Nacional de Computação Científica.

4.
Raul Antonino Feijóo; Renato Portugal; Maurício Vieira Kritz; Luiz Carlos Trevelin; Luiz Marcos Garcia Gonçalves; G. L. Souza Filho. Pesquisa e desenvolvimento em ambiente virtual, sistemas multimídia e sistemas distribuídos. 2004. Laboratório Nacional de Computação Científica.

5.
Renato Portugal; A. E. Xavier; L. M. Carvalho. Concurso Público para Professor Adjunto UERJ na área de Computação Quâtica e Otimização. 2003. Universidade do Estado do Rio de Janeiro.

6.
Renato Portugal; Outros. Pesquisa e Desenvolvimento em Reconstrução de Geometrias e Visualização Científica.. 2002. Laboratório Nacional de Computação Científica.

Outras participações
1.
Renato Portugal; Outros. Coordenador do Premio de Tese de Doutorado Odelar Leite Linhares da SBMAC. 2014. Sociedade Brasileira de Matemática Aplicada e Computacional.

2.
Renato Portugal; Outros. Prêmio Gilberto Velho de Teses. 2013. Universidade Federal do Rio de Janeiro.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Conference on Computational Interdisciplinary Sciences. Quantum Search on Two-dimensional Lattice with the Staggered Model. 2016. (Congresso).

2.
Conference on the Theory of Quantum Computation, Communication and Cryptography. Moments of Coinless Quantum Walks. 2015. (Congresso).

3.
V Workshop-school on Quantum Computation and Information (WECIQ 2015). Quantum Walks. 2015. (Congresso).

4.
Quantum Information Processing. Spatial Search on Grids with Minimum Memory. 2014. (Congresso).

5.
Primeiro Encontro Temático de Computação Quântica.Spatial Quantum Search with Minimal Memory. 2013. (Encontro).

6.
Quantum Information Processing. Discrete-Time Quantum Walks on Fractals. 2013. (Congresso).

7.
XIII Semana de Matemática.Códigos Quânticos Corretores de Erros. 2013. (Encontro).

8.
Conference on Computational Interdisciplinary Sciences (CCIS). Quantum Computing: Concepts and Applications. 2012. (Congresso).

9.
IV Workshop-school on Quantum Computation and Information (WECIQ 2012).Quantum Algorithms. 2012. (Oficina).

10.
XXXIV Congresso Nacional de Matemática Aplicada e Computacional. Decoherence in Szegedy's Quantum Walk. 2012. (Congresso).

11.
Conference on the Theory of Quantum Computation, Communication and Cryptography. Quantum Walks in Hierarchical Regular Networks. 2011. (Congresso).

12.
Quantum Information Processing (QIP).Decoherence in Szegedy's Quantum Walk. 2011. (Oficina).

13.
1o Encontro em Teoria dos Códigos e Criptografia.Códigos Quânticos. 2010. (Encontro).

14.
Conference on Computational Interdisciplinary Sciences (CCIS). Search Problems in Quantum Computation. 2010. (Congresso).

15.
III Workshop-Escola de Computação e Informação Quântica. Spatial quantum search in a triangular network. 2010. (Congresso).

16.
XXXIII Congresso Nacional de Matemática Aplicada e Computacional. Algoritmos Quânticos de Busca. 2010. (Congresso).

17.
IX Workshop do Curso de Computação Aplicada.DESAFIOS DA COMPUTAÇÃO QUÂNTICA. 2009. (Oficina).

18.
Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular. 2009. (Simpósio).

19.
XXIX Congresso da Sociedade Brasileira de Computação. Decoherence in Search Algorithms. 2009. (Congresso).

20.
Quantum Information and Graph Theory: Emerging Connections. 2008. (Encontro).

21.
II Workshop on Nanotechnology and Biologically Inspired Computing - NanoBio2007.Quantum Computing and Reversible Computing. 2007. (Oficina).

22.
Workshop-Escola de Computação e Informação Quântica.Computação Quântica. 2007. (Encontro).

23.
2nd LNCC Meeting on Computational Modelling. 2006. (Encontro).

24.
Workshop-Escola de Computação e Informação Quântica. Algoritmos Quânticos. 2006. (Congresso).

25.
Congresso Nacional de Matemática Aplicada e Computacional. Quantum Algorithms for the Graph Isomorphism Problem. 2005. (Congresso).

26.
Algebraic Graph Theory Journey. 2004. (Encontro).

27.
Congresso Nacional de Matemática Aplicada e Computacional. Uma Introdução à Computação Quântica. 2004. (Congresso).

28.
IV Encontro Regional de Matematica Aplicada e Computacional.Computação Quântica. 2004. (Encontro).

29.
NanoBio2004. Computação Quântica. 2004. (Congresso).

30.
Congresso Nacional de Matemática Aplicada e Computacional. Shor's Algorithms and Applications to Break the Protocols of Classical Crytography. 2003. (Congresso).

31.
Physics of Information. Algorithms based on Quantum Random Walk. 2003. (Congresso).

32.
Tenth Marcel Grossmann Meeting on General Relativity. Calculation of Riemann Invariants via Group Theory Techniques. 2003. (Congresso).

33.
Workshop em Grade Computacional e Aplicações. Quantum Computation and Database Search. 2003. (Congresso).

34.
Congresso Nacional de Matemática Aplicada e Computacional. Simulação de Computador Quântico. 2002. (Congresso).

35.
6th IMACS Conference on Applicatins of Computer Algebra ACA 2000. Application of Computational Group Theory for Tensor Simplification. 2000. (Congresso).


Organização de eventos, congressos, exposições e feiras
1.
Renato Portugal; S. Malta . Jornada de Iniciação Científica do LNCC. 2011. (Outro).

2.
Renato Portugal. Jornada de Iniciação Científica do LNCC. 2010. (Outro).

3.
Renato Portugal. III Workshop-Escola de Computação e Informação Quântica. 2010. (Congresso).

4.
Renato Portugal. Jornada de Iniciação Científica do LNCC. 2009. (Outro).

5.
Francisco Marcos de Assis ; Bernardo Lula Junior ; Aércio Ferreira de Lima ; Renato Portugal ; Outros . II Workshop-Escola de Computação e Informação Quântica. 2007. (Congresso).

6.
Antonio Carlos da Rocha Costa ; Renato Portugal . I Workshop-Escola de Computação e Informação Quântica. 2006. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Paulo Ricardo Borré. Passeios quânticos em grafos com simetrias. Início: 2018. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica. (Orientador).

2.
Matheus Aranha. Criptografia Pós-quântica. Início: 2017. Dissertação (Mestrado profissional em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

Tese de doutorado
1.
Cauê Teixeira. Passeio Quânticos Escalonados em Grafos Gridlines. Início: 2018. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Bruno Chagas. Algoritmos Quânticos. Início: 2014. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Felipe Soares. Modelo de manutenção baseada na condição para os trocadores de calor de um sistema de compressão de ar. 2018. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis, . Orientador: Renato Portugal.

2.
Cauê Teixeira. Standard deviation of a staggered quantum walk on a line of diamonds. 2018. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

3.
Natasha do Nascimento Paiva. Análise da Conversão de Algoritmos Criptográficos para a Forma Normal Conjuntiva. 2017. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

4.
Jorge Varella. Playout em Cloud Usando Criptografia de Curva Elíptica. 2017. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis, . Orientador: Renato Portugal.

5.
Boaz Ramos de Avellar Junior. Aplicação de Métodos Bayesianos e Redes Neurais Artificiais na Inferência Probabilística de Insuficiência Cardíaca. 2016. Dissertação (Mestrado em Mestrado Profissional de Gestão de Sistemas de Engenharia) - Universidade Católica de Petrópolis, . Orientador: Renato Portugal.

6.
Aaron Bruno Leão. Um novo simulador de caminhadas quânticas. 2015. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

7.
Daniel Gaspar Gonçalves de Souza. Passeios Aleatórios Clássicos e Quânticos em Tapetes de Sierpiński. 2014. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

8.
Juan del Carmen Grados Vásquez. Estudo Comparativo de Algoritmos de Decodifição para Códigos de Goppa Aplicados no McEliece. 2012. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

9.
Pedro Carlos da Silva Lara. Paralelização Eficiente para o Algoritmo de Exponenciação Modular. 2011. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

10.
Raqueline Azevedo Medeiros Santos. Cadeias de Markov Quânticas. 2010. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, . Orientador: Renato Portugal.

11.
Edinelço Dalcumune. Algoritmos Quânticos para o Problema de Isomorfismo de Grafos. 2008. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

12.
Tharso Dominisini Fernandes. O Problema do Subgrupo Oculto em Grupos Nilpotentes. 2008. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

13.
Michael Ferreira de Souza. Uma Nova Metodologia para o Cálculo da Informação Acessível. 2007. 45 f. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

14.
Fábio Borges de Oliveira. Análise da Segurança de Criptografia e Esteganografia em Sequências de Imagens. 2007. 100 f. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, . Orientador: Renato Portugal.

15.
Franklin de Lima Marquezino. A Transformada de Fourier Quântica Aproximada e sua Simulação. 2006. 115 f. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

16.
Demerson Nunes Gonçalves. Transformada de Fourier Quântica no Grupo Diedral. 2005. 90 f. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

17.
Jean Faber Ferreira de Abreu. Computação Quânticas em Sistemas Abertos e uma Aplicação ao Modelo Biológico de Fröhlich. 2004. 76 f. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

Tese de doutorado
1.
Juan del Carmen Grados Vásquez. Post-Quantum Cryptography: An Efficient Differential Fault Analysis Attack and a New One-Time Signature Scheme. 2018. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

2.
Tharso Dominisini Fernandes. Modelo de Caminhadas Quânticas Escalonado. 2017. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, . Orientador: Renato Portugal.

3.
Pedro Carlos da Silva Lara. Algoritmo Quânticos para Otimização. 2015. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

4.
Raqueline Azevedo Medeiros Santos. Algoritmos Baseados em Cadeias de Markov Quânticas. 2014. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

5.
Douglas Frederico Guimarães Santiago. Códigos Quânticos de Correção de Erros do Tipo CWS. 2013. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

6.
Jalil Khatibi Moqadam. Análise da Implementação da Porta Toffoli em Sistemas com Imperfeições. 2013. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

7.
Susan Wouters. Unidades em Álgebras de Octônios. 2011. Tese (Doutorado em Matemática) - Universidade Federal do Rio de Janeiro, . Coorientador: Renato Portugal.

8.
Franklin de Lima Marquezino. Análise, simulalações e aplicações algorítmicas de Caminhadas Quânticas. 2010. 0 f. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

9.
Demerson Nunes Gonçalves. Algoritmos Quânticos para Problemas em Teoria de Grupos Computacional. 2009. 0 f. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

10.
Carlos Magno Martins Cosme. Transformada de Fourier em Grupos Não Comutativos. 2008. 0 f. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, . Orientador: Renato Portugal.

11.
Amanda Castro Oliveira. Simulação de Caminhos Quânticos em Redes Bidimensionais. 2007. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.

12.
Luis Antonio Brasil Kowada. Construção de Algoritmos Reversíveis e Quânticos. 2006. 149 f. Tese (Doutorado em Engenharia de Sistemas e Computação) - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de Engenharia, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Coorientador: Renato Portugal.

13.
Jean Faber Ferreira de Abreu. Jogos Quânticos a Partir de Hamiltonianos Biofísicos e um Critério de Otimização Sub-neuronal da Informação. 2005. 175 f. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Renato Portugal.

Supervisão de pós-doutorado
1.
Pedro Contino da Silva Costa. 2018. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

2.
Pascal Philipp. 2016. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

3.
Luis Tarrataca. 2016. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

4.
Raqueline Azevedo Medeiros Santos. 2015. Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Renato Portugal.

5.
Luís Tarrataca. 2014. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

6.
Jalil Kathibi Moqadam. 2014. Laboratório Nacional de Computação Científica, Ministério da Ciência, Tecnologia e Inovação. Renato Portugal.

7.
Franklin de Lima Marquezino. 2011. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

8.
Nolmar Melo de Souza. 2011. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

9.
Amanda Castro Oliveira. 2007. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

10.
Jean Faber Ferreira de Abreu. 2006. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

11.
Fernando Deeke Sasse. 2006. Laboratório Nacional de Computação Científica, Fundação de Amparo à Pesquisa e Inovação do Estado de Santa Catarina. Renato Portugal.

12.
Leon Ricardo Ururahy Manssur. 2003. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

13.
Carlile Campos Lavor. 2003. Laboratório Nacional de Computação Científica, . Renato Portugal.

14.
Gino J. Añaños. 2001. Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Renato Portugal.

Trabalho de conclusão de curso de graduação
1.
Carolina Coelho. Passeios aleatórios clássicos e quânticos. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Católica de Petrópolis. Orientador: Renato Portugal.

2.
Franklin de Lima Marquezino. Simulação da Transformada de Fourier Quântica Utilizando Computação Distribuída. 2004. 60 f. Trabalho de Conclusão de Curso. (Graduação em Computação) - Universidade Católica de Petrópolis. Orientador: Renato Portugal.

3.
Rui Rodrigues de Mello Júnior. Simulação da Transformada de Fourier Quântica Utilizando Computação Distribuída. 2004. 60 f. Trabalho de Conclusão de Curso. (Graduação em Computação) - Universidade Católica de Petrópolis. Orientador: Renato Portugal.

Iniciação científica
1.
Paulo Ricardo Borré Reis. Introdução à Computação Quântica. 2017. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

2.
Edgard Winter da Costa. Computação Quântica. 2015. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

3.
Igor de Souza Costa. Computação Quântica e Geração de Números Aleatórios. 2014. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

4.
Daniel Gaspar Gonçalves de Souza. Algoritmos Quânticos. 2012. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

5.
Debora Carolina Kreischer. Implementação em Maple para Geometria Analítica. 2011. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

6.
Guilherme de Oliveira Ferreira. O Código Quântico de Shor para Correção de Erros. 2011. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

7.
Jorge Luiz Ferreira da Silva Junior. Algoritmos Quânticos de Busca. 2011. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

8.
Vitor Pires de Castro. Análise da Oscilação de Membranas e Placas no Maple. 2011. Iniciação Científica. (Graduando em Engenharia) - Universidade Católica de Petrópolis, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

9.
Silas Pereira Lima Filho. Algoritmo de Grover. 2010. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

10.
André da Silva Leite. Protocolos Quânticos para troca segura de chaves. 2007. Iniciação Científica - Laboratório Nacional de Computação Científica, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

11.
Alexandre Souza. Computação Algébrica. 1995. 0 f. Iniciação Científica. (Graduando em Física) - Centro Brasileiro de Pesquisas Físicas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

12.
Emir Debastiani. Computação Algébrica. 1995. 0 f. Iniciação Científica. (Graduando em Física) - Centro Brasileiro de Pesquisas Físicas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Renato Portugal.

Orientações de outra natureza
1.
Marcos Vinicius Carvalho Ramos Dias. Jovens Talentos: Computação e Física. 2017. Orientação de outra natureza - Universidade Católica de Petrópolis, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Orientador: Renato Portugal.



Inovação



Projetos de pesquisa


Educação e Popularização de C & T



Cursos de curta duração ministrados
1.
R. Portugal. Códigos Quânticos Corretores de Erros. 2012. (Curso de curta duração ministrado/Outra).



Outras informações relevantes


Atuação Institucional no LNCC: Membro do conselho de pesquisa e formação de recursos humanos; Membro da comissão interna de avaliação de desempenho de pesquisadores e tecnologistas; Membro do comitê de pós-graduação; Representante no conselho curador da fundação de apoio ao desenvovimento da computação científica; Suplente no conselho técnico científico; coordenador adjunto da coordenação de ciência da computação;



Página gerada pelo Sistema Currículo Lattes em 18/11/2018 às 21:24:06