Hugo de Holanda Cunha Nobrega

É professor do Instituto de Computação da Universidade Federal do Rio de Janeiro. Fez doutorado em Lógica no Institute for Logic, Language and Computation da Univesiteit van Amsterdam, sob orientação de Benedikt Löwe e Arno Pauly, com bolsa do programa Ciência sem Fronteiras. Foi pesquisador visitante no Isaac Newton Institute for Mathematical Sciences, em Cambridge (Reino Unido) entre agosto e dezembro de 2015, participando do programa "Mathematical, Foundational and Computational Aspects of the Higher Infinite". Fez mestrado em Lógica no Institute for Logic, Language and Computation da Univesiteit van Amsterdam, sob orientação de Benedikt Löwe, com bolsa da Evert Willem Beth Stichting (Países Baixos) e tendo obtido a distinção cum laude. Fez mestrado no Programa de Engenharia de Sistemas e Computação da Universidade Federal do Rio de Janeiro, sob orientação de Márcia R. Cerioli e coorientação de Petrucio Viana, com bolsas CNPq e FAPERJ Nota 10. Sua dissertação de mestrado foi selecionada entre as 10 melhores dissertações de mestrado na área de computação no Brasil em 2011 pela Sociedade Brasileira de Computação. Bacharel em Matemática pela Universidade Federal Fluminense, tendo sido bolsista de iniciação científica PIBIC, sob a orientação de Petrucio Viana no Departamento de Análise do Instituto de Matemática da Universidade Federal Fluminense. Vencedor do prêmio Vasconcellos Torres de Ciência e Tecnologia em 2008. Faz parte do Grupo de Lógica Matemática da UFF. Atua principalmente em jogos infinitos e suas aplicações à Teoria Descritiva dos Conjuntos, além de temas relacionados a Teoria dos Grafos, em especial a caracterizações de classes de grafos por subestruturas proibidas, e à Fundamentação da Matemática e da Computação, em especial Teoria de Categorias, Lógicas e Semântica de Programas, semântica relacional e representação do conhecimento.

Informações coletadas do Lattes em 10/12/2025

Acadêmico

Formação acadêmica

Doutorado em Lógica

2014 - 2018

Universiteit van Amsterdam, UvA
Título: Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks
Orientador: Benedikt Löwe
Coorientador: Arno Pauly. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Teoria descritiva dos conjuntos; Jogos infinitos; Análise computável.

Mestrado em Lógica

2011 - 2013

Universiteit van Amsterdam
Título: Game characterizations of function classes and Weihrauch degrees, Ano de Obtenção: 2013
Orientador: Benedikt Löwe
Bolsista do(a): Evert Willem Beth Stichting, E W BETH, Holanda. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Teoria dos conjuntos.

Mestrado em Engenharia de Sistemas e Computação

2009 - 2011

Universidade Federal do Rio de Janeiro
Título: Decomposição por cliques maximais e subgrafos proibidos para grafos de caminho
, Ano de Obtenção: 2011.Márcia Rosana Cerioli, Jorge Petrúcio Viana.Bolsista do(a): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ, FAPERJ, Brasil. Palavras-chave: classes de grafos; subestruturas proibidas; caracterização.

Graduação em Matemática

2005 - 2008

Universidade Federal Fluminense

Pós-doutorado

2018 - 2018

Pós-Doutorado. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.

Italiano

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.

Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Pouco.

Holandês

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Teoria Descritiva dos Conjuntos.

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Jogos Infinitos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Análise Computável.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Grafos.

Organização de eventos

Brech, C. ; da Silva, S. G. ; Haeusler, E. H. ; Hirschfeldt, D. ; Kamareddine, F. ; Lopes, B. ; Löwe, B. ; NOBREGA, H. . Conference on Mathematical Logic. 2018. (Congresso).

KHOMSKII, Y. ; BLOCK, A. C. ; NOBREGA, H. . Mini-symposium in Set Theory. 2015. (Congresso).

LAGUZZI, G. ; LOEWE, B. ; NOBREGA, H. ; SHARANKOU, I. . Amsterdam Workshop on Set Theory 2014. 2014. (Congresso).

NOBREGA, H. . XVI EBL - 16th Brazilian Logic Conference. 2011. (Congresso).

Participação em eventos

British Logic Colloquium 2015. 2015. (Congresso).

Independence Results in Mathematics and Challenges in Iterated Forcing. 2015. (Congresso).

Mini-workshop on Wadge theory and automata. 2015. (Congresso).

The 5th European Set Theory Conference. 2015. (Congresso).

The Role of the Higher Infinite in Mathematics and Other Disciplines. 2015. (Congresso).

INFTY Final conference. 2014. (Congresso).

Logic Colloquium. 2014. (Congresso).

Young Set Theory Workshop. 2014. (Congresso).

YSTW 2013 - 6th Young Set Theory Workshop. 2013. (Oficina).

10-th CTW - Cologne-Twente Workshop on graphs and combinatorial optimization.A partial characterization by forbidden subgraphs of edge path graphs. 2011. (Oficina).

LAGOS'11 - VI Latin-American Algorithms, Graphs and Optimization Symposium. 2011. (Congresso).

XVI EBL - 16th Brazilian Logic Conference.Characterizations by nice forbidding sets. 2011. (Encontro).

4th Latin American Workshop on Cliques in Graphs (LawCliques'10).Decompositions by maxclique separators. 2010. (Oficina).

V Escuela de Verano en Matemáticas Discretas. 2010. (Outra).

LAGOS'09 - V Latin-American Algorithms, Graphs and Optimization Symposium. 2009. (Congresso).

XV Encontro Brasileiro de Lógica/XIV Simpósio Latino-Americano de Lógica Matemática. 2008. (Simpósio).

XVIII Seminário de Iniciação Científica.Independência dos Axiomas de Dedekind-Peano. 2008. (Seminário).

XVII Seminário de Iniciação Científica.Cálculos Relacionais: equações, inclusões e pontos. 2007. (Seminário).

Participação em bancas

Aluno: Arthur Gonçalves Fidalgo

NOBREGA, HugoMARTINS, TaisaTANUSHEVSKI, Slobodan. On combinatorial differential operators on species of structures. 2023. Dissertação (Mestrado em Matemática) - Universidade Federal Fluminense.

Aluno: Matheus Fontoura Milhazes

Francesco Noseda;Hugo de Holanda Cunha Nobrega; Stefano Nardulli; Isaia Nisoli. Cofinality Spectrum Problems and Applications in Model Theory and Set Theory. 2021. Dissertação (Mestrado em Matemática) - Universidade Federal do Rio de Janeiro.

Aluno: Luiz Henrique Silva Hoffmann

BOTLER, F. H.SOUZA, U. S.NOBREGA, H.. Decomposition of (2k+1)-regular graphs containing special spanning 2k-regular Cayley graphs into paths of length 2k+1. 2020. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Raquel Marcolino de Souza

PINTO, P. E. D.;OLIVEIRA, F. S.SZWARCFITER, J. L.; MARKENZON, L.;NOBREGA, H.. Análise de Complexidade de Pior Caso do ShellSort por Algoritmos. 2019. Dissertação (Mestrado em Ciências Computacionais) - Universidade do Estado do Rio de Janeiro.

Aluno: Lorenzo Galeotti

BALTAG, A.; LOEWE, B.;NOBREGA, H.; van den BERG, B.; KHOMSKII, Y.; PAULY, A.; RIN, B.. Computable Analysis Over the Generalized Baire Space. 2015. Dissertação (Mestrado em Logic) - Universiteit van Amsterdam.

Aluno: Vitor dos Santos Ponciano

Mitre Costa Dourado; Jayme Luiz Swarcfiter;Hugo de Holanda Cunha Nobrega; Simone Dantas de Souza; Ronaldo Malheiros Gregório. Explorando Convexidade e Dominação em Grafos: Caracterização, Complexidade e Algoritmos. 2023. Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Sergio Henrique Nogueira

GOMES, G. C. M.; LACERDA, A. M.; MARTINS, F. V. C.; MOURA, P. F. S.;NOBREGA, H.SANTOS, V. F.. Alguns resultados sobre separadores de vértices em grafos. 2020. Tese (Doutorado em Modelagem Matemática e Computacional) - Centro Federal de Educação Tecnológica de Minas Gerais.

Aluno: Sergio Henrique Nogueira

MARTINS, F. V. C.;NOBREGA, H.SANTOS, V. F.. Separadores de vértices em grafos cordais. 2018. Exame de qualificação (Doutorando em Modelagem Matemática e Computacional) - Centro Federal de Educação Tecnológica de Minas Gerais.

Aluno: Rodrigo Côrtes Nogueira da Rocha Pita

PAIXÃO, J. A. R.; CARVALHO, Hugo Tremonte de;Hugo de Holanda Cunha Nobrega; ALMADA, Carlos de Lemos. Identificação de Acordes Via Modelos de Markov Ocultos Musicalmente Informados. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Thierry Pierre Dutoit

Anamaria Martins Moreira; Hugo Musso Gualandi; Carla Amor Divino Moreira Delgado;Hugo de Holanda Cunha Nobrega. Criação Automática de Testes em Python para Plataformas de Aprendizado com o Uso de Critérios de Cobertura Baseados em Grafos. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Thales de Freitas Magalhães

Hugo de Holanda Cunha Nobrega; Hugo Musso Gualandi; João Antonio Recio da Paixão. Uma introdução à interpretação abstrata de linguagens funcionais. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Daniel Kiyoshi Hashimoto Vouzella de Andrade

Hugo Musso Gualandi; Daniel Chicayban Bastos;Hugo de Holanda Cunha Nobrega; João Antonio Recio Paixão. From Combinators to Concatenative and Back Again. 2024. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Lucas Rufino Martelotte

PAIXÃO, J. A. R.FREITAS, I. L.NOBREGA, H.. Relational Graphical Linear Algebra. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: João Victor Pacheco Sobral

COUTINHO, S. C.PAIXÃO, J. A. R.NOBREGA, H.. On the security of multivariate encryption schemes. 2022. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Alexandre Costard Soares

Hugo de Holanda Cunha Nobrega; Severino Collier Coutinho; João Antonio Recio da Paixão. Uma construção categórica de um modelo do cálculo lambda. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Ian de Castro de Miranda

COUTINHO, S. C.NOBREGA, H.; SCHECHTER, L. M.. Criptografia Digital: Implementação do OpenPGP. 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Bas Cornelissen

LOEWE, B.;NOBREGA, H.; van MILL, J.. Non-measurable sets. 2014. Trabalho de Conclusão de Curso (Graduação em Bèta-gamma) - Universiteit van Amsterdam.

PINA, A. C.;VIGO, D. G. A.NOBREGA, H.. Banca de Processo Seletivo para Professor Substituto. 2019. Universidade Federal do Rio de Janeiro.

Orientou

Gustavo de Mendonça Freire

Aspectos de coindução e correcursão; Início: 2023; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);

Matheus Fontoura Milhazes

Cofinality Spectrum Problems and Applications in Model Theory and Set Theory; 2021; Dissertação (Mestrado em Matemática) - Universidade Federal do Rio de Janeiro, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ; Coorientador: Hugo de Holanda Cunha Nobrega;

Lorenzo Galeotti

Computable Analysis Over the Generalized Baire Space; 2015; Dissertação (Mestrado em Logic) - Universiteit van Amsterdam, ; Orientador: Hugo de Holanda Cunha Nobrega;

Thales de Freitas Magalhães

Uma introdução à interpretação abstrata de linguagens funcionais; 2024; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Hugo de Holanda Cunha Nobrega;

Alexandre Costard Soares

Uma construção categórica de um modelo do cálculo lambda; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Hugo de Holanda Cunha Nobrega;

Bas Cornelissen

Non-measurable sets; 2014; Trabalho de Conclusão de Curso; (Graduação em Bèta-gamma) - Universiteit van Amsterdam; Orientador: Hugo de Holanda Cunha Nobrega;

Leonardo Ribeiro Santiago

Conexões entre Graphical Linear Algebra e Interaction Nets; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Universidade Federal do Rio de Janeiro; Orientador: Hugo de Holanda Cunha Nobrega;

Gustavo Morais Tarabal

Estudo básico de lógica matememática; 2022; Iniciação Científica; (Graduando em Matemática) - Universidade Federal do Rio de Janeiro; Orientador: Hugo de Holanda Cunha Nobrega;

Daniel Kiyoshi Hashimoto Vouzella de Andrade

Monad Não É um Burrito; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Universidade Federal do Rio de Janeiro; Orientador: Hugo de Holanda Cunha Nobrega;

Daniel Kiyoshi Hashimoto Vouzella de Andrade

COMP: Composição, Computação, Compreensão; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Hugo de Holanda Cunha Nobrega;

Produções bibliográficas

CERIOLI, MÁRCIA R. ; NOBREGA, Hugo ; SILVEIRA, GUILHERME ; VIANA, PETRUCIO . On the (In)Dependence of the Peano Axioms for Natural Numbers. HISTORY AND PHILOSOPHY OF LOGIC , v. 43, p. 1-19, 2021.
NOBREGA, Hugo ; Pauly, Arno . Game characterizations and lower cones in the Weihrauch degrees. Logical Methods in Computer Science , v. 15, p. 5670, 2019.
NOBREGA, Hugo . Games for Functions: Baire Classes, Weihrauch Degrees, Transfinite Computations, and Ranks. BULLETIN OF SYMBOLIC LOGIC , v. 25, p. 451-452, 2019.
NOBREGA, H. ; PAULY, A. . Game characterizations and lower cones in the Weihrauch degrees. Lecture Notes in Computer Science , v. 10307, p. 327-337, 2017.
Galeotti, Lorenzo ; NOBREGA, H. . Towards computable analysis on the generalised real line. Lecture Notes in Computer Science , v. 10307, p. 246-257, 2017.
CERIOLI, MÁRCIA R. ; NOBREGA, Hugo ; VIANA, PETRUCIO . Decomposition by maxclique separators. DISCRETE MATHEMATICS , v. 337, p. 119-126, 2014.
CERIOLI, MÁRCIA R. ; NOBREGA, Hugo ; VIANA, PETRUCIO . On characterizations by nice forbidding sets. ELECTRONIC NOTES IN DISCRETE MATHEMATICS , v. 38, p. 233-238, 2011.
CERIOLI, MÁRCIA R. ; NOBREGA, Hugo ; VIANA, PETRUCIO . Decomposition by maxclique separators. MATEMATICA CONTEMPORANEA , v. 39, p. 69-76, 2010.
NOBREGA, Hugo . Games for functions: Baire classes, Weihrauch degrees, transfinite computations, and ranks. 1. ed. Enschede: Ipskamp Printing BV, 2018. v. 1. 129p .
CERIOLI, MA'RCIA ; NOBREGA, Hugo ; SILVEIRA, GUILHERME ; VIANA, PETRUCIO . On the (in)dependence of the Dedekind-Peano axioms for natural numbers. In: CNMAC 2016 XXXVI Congresso Nacional de Matemática Aplicada e Computacional, 2017, 2016. v. 5.
CERIOLI, M. ; NOBREGA, H. ; VIANA, P. . Decomposições por cliques maximais e subgrafos proibidos para grafos de caminho. In: XXXII Congresso da Sociedade Brasileira de Computação, 2012, Curitiba. XXXII Congresso da Sociedade Brasileira de Computação - Concurso de Teses e Dissertações, 2012.
CERIOLI, M. ; NOBREGA, H. ; VIANA, P. . A partial characterization by forbidden subgraphs of edge path graphs. In: 10-th Cologne-Twente Workshop on graphs and combinatorial optimization, 2011, Frascati. 10-th Cologne-Twente Workshop on graphs and combinatorial optimization - Abstracts, 2011. v. 1.
Galeotti, Lorenzo ; NOBREGA, Hugo . Towards computable analysis on the generalised real line. In: Computability in Europe 2017, 2017, Turku. TUCS General Publication. Turku, Finlância: TUCS, 2017. v. 64. p. 31-31.
NOBREGA, Hugo ; Pauly, Arno . Game Characterizations and Lower Cones in the Weihrauch Degrees. In: Computability in Europe 2017, 2017, Turku. TUCS General Publication. Turku, Finlância: TUCS, 2017. v. 64. p. 42-42.
LOEWE, B. ; NOBREGA, H. ; PAULY, A. . Game characterizations and Weihrauch degrees. In: Twelfth International Conference on Computability and Complexity in Analysis, CCA 2015, 2015, Tóquio. Proceedings of The Twelfth International Conference on Computability and Complexity in Analysis, CCA 2015, 2015. p. 42-43.
NOBREGA, H. . Game characterizations of functions of finite Baire class. In: Annual Meeting 2015 of the Deutsche Mathematiker-Vereinigung, 2015, Hamburgo. Annual Meeting 2015 of the Deutsche Mathematiker-Vereinigung, 2015. p. 118-118.
CERIOLI, M. ; NOBREGA, H. ; VIANA, P. . Characterizations by nice forbidding sets. In: Brazilian Logic Conference, 2011, Petrópolis. XVI EBL - 16th Brazilian Logic Conference - Abstracts, 2011. v. 1. p. 102-102.
CERIOLI, M. ; NOBREGA, H. ; VIANA, P. . Decompositions by maxclique separators. In: 4th Latin American Workship on Cliques in Graphs (LawCliques'10), 2010, Petrópolis. 4th Latin American Workship on Cliques in Graphs (LawCliques'10) - Abstracts, 2010.
NOBREGA, H. . Games for functions in descriptive set theory. 2019. (Apresentação de Trabalho/Congresso).
NOBREGA, H. . 'Infinito mais um' e outras curiosidades: uma breve introdução à teoria dos conjuntos. 2019. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Jogos para funções em teoria descritiva dos conjuntos. 2018. (Apresentação de Trabalho/Seminário).
GALEOTTI, L. ; NOBREGA, H. . Towards computable analysis on the generalised real line. 2017. (Apresentação de Trabalho/Congresso).
NOBREGA, H. . Games for functions in descriptive set theory. 2016. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Games for Baire classes and partition classes. 2016. (Apresentação de Trabalho/Congresso).
NOBREGA, H. . Games in Descriptive Set Theory, or: it's all fun and games until someone loses the axiom of choice. 2015. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Game characterizations of functions of finite Baire class. 2015. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Jogos infinitos em teoria descritiva dos conjuntos. 2015. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Computable analysis and games in descriptive set theory. 2015. (Apresentação de Trabalho/Seminário).
LOEWE, B. ; NOBREGA, H. ; PAULY, A. . Game characterizations and Weihrauch degrees. 2015. (Apresentação de Trabalho/Congresso).
NOBREGA, H. . Some Weihrauch completeness results for classes of functions in descriptive set theory. 2014. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Game characterizations of function classes and Weihrauch degrees. 2014. (Apresentação de Trabalho/Congresso).
NOBREGA, H. . Obtaining Weihrauch-complete functions and relations from sets of real numbers. 2014. (Apresentação de Trabalho/Congresso).
NOBREGA, H. . Connecting computable analysis and descriptive set theory via games. 2014. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Characterizations by nice forbidding sets. 2012. (Apresentação de Trabalho/Seminário).
CERIOLI, M. ; NOBREGA, H. ; VIANA, P. . Characterizations by nice forbidding sets. 2011. (Apresentação de Trabalho/Congresso).
CERIOLI, M. ; NOBREGA, H. ; VIANA, P. . A partial characterization by forbidden subgraphs of edge path graphs. 2011. (Apresentação de Trabalho/Congresso).
CERIOLI, M. ; NOBREGA, H. ; VIANA, P. . Decompositions by maxclique separators. 2010. (Apresentação de Trabalho/Congresso).
NOBREGA, H. . Independência dos Axiomas de Dedekind-Peano. 2008. (Apresentação de Trabalho/Seminário).
NOBREGA, H. . Cálculos Relacionais: equações, inclusões e pontos. 2007. (Apresentação de Trabalho/Seminário).

Projetos de pesquisa

2023 - Atual

Complexidade Computacional da Convexidade em Grafos, Descrição: Chamada CNPq/MCTI No 10/2023 - Universal Faixa B - Grupos ConsolidadosProcesso: 403601/2023-1. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Hugo de Holanda Cunha Nobrega - Integrante / Hugo Musso Gualandi - Integrante / Daniel Chicayban Bastos - Integrante / João Antonio Recio Paixão - Integrante / Severino Collier Coutinho - Integrante / Daniel Sadoc Menasché - Integrante / Mauro Antonio Rincon - Integrante / Lucia Draque Penso Rautenbach - Integrante / Mitre Costa Dourado - Coordenador.
2015 - 2017

Infinite games in logic and Weihrauch degrees, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Hugo de Holanda Cunha Nobrega - Integrante / Anuj Dawar - Coordenador / Arno Pauly - Integrante / Benedikt Löwe - Integrante., Financiador(es): Royal Society - Auxílio financeiro.

Prêmios

2017

Best Student Paper Award, Computability in Europe 2017.

2015

Visiting Fellowship, Isaac Newton Institute for Mathematical Sciences, Cambridge, UK.

2013

Distinção "Cum Laude" para dissertação de mestrado, Universiteit van Amsterdam.

2012

Finalista (10 melhores) - concurso de dissertações de mestrado da área de Computação em 2011, Sociedade Brasileira de Computação.

2010

Bolsa FAPERJ Nota 10, Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro - FAPERJ.

2008

1º Lugar - Seminário de Iniciação Científica e Prêmio Vasconcellos Torres de Ciência e Tecnologia - Ciências Exatas e da Terra, Universidade Federal Fluminense.

Histórico profissional

Endereço profissional

Universidade Federal do Rio de Janeiro, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação. , CCNM - Centro de Ciências Matemáticas e Natureza, Cidade Universitária, 21941916 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 39389521, URL da Homepage:

Experiência profissional

2021 - Atual

Universidade Federal do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Instituto de Computação

2021 - 2021

Universidade Federal do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto A, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Instituto de Computação

2018 - 2021

Universidade Federal do Rio de Janeiro

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto A, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Departamento de Ciência da Computação, Instituto de Matemática

Atividades

12/2024
Direção e administração, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação.Cargo ou função, Chefe do Departamento de Computação.
08/2023
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação.Cargo ou função, Membro eleito da Congregação do Instituto de Computação.
09/2018
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação.Cargo ou função, Membro da Comissão de Transferências e Mudança de Curso do Bach. em Ciência da Computação.
09/2018
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação.Cargo ou função, Membro da Comissão de Equivalência de Disciplinas do Instituto de Computação.
12/2022 - 11/2024
Direção e administração, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação.Cargo ou função, Substituto Eventual do Chefe do Departamento de Computação.
04/2023 - 07/2023
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica e Computabilidade (60h), Números Inteiros Criptografia (60h)
08/2021 - 07/2023
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação.Cargo ou função, Membro eleito (suplente) da Congregação do Instituto de Computação.
08/2022 - 01/2023
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros Criptografia (60h), Tópicos Especiais em Teoria da Computação (60h)
04/2022 - 08/2022
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Turma 1 - Números Inteiros e Criptografia (60h), Turma 2 - Números Inteiros e Criptografia (60h)
04/2022 - 06/2022
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza, Instituto de Computação.Cargo ou função, Presidente da Comissão Eleitoral para escolha da Direção Executiva do Instituto de Computação.
11/2021 - 03/2022
Ensino, Engenharia Naval e Oceânica, Nível: GraduaçãoDisciplinas ministradas, Computação 1 (60h)
11/2021 - 03/2022
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros e Criptografia (90h)
07/2021 - 10/2021
Ensino, Matemática Aplicada, Nível: GraduaçãoDisciplinas ministradas, Computação 1 (30h)
07/2021 - 10/2021
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros e Criptografia (90h)
05/2021 - 07/2021
Ensino, Informática, Nível: Pós-GraduaçãoDisciplinas ministradas, Teoria da Computação/Linguagens Formais (15h)
03/2021 - 06/2021
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros e Criptografia (90h)
11/2020 - 03/2021
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros e Criptografia (90h)
11/2020 - 03/2021
Ensino, Matemática, Nível: GraduaçãoDisciplinas ministradas, Computação 1 (60h)
08/2020 - 11/2020
Ensino, Matemática Aplicada, Nível: GraduaçãoDisciplinas ministradas, Computação I (30h)
08/2020 - 11/2020
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros e Criptografia (45h)
08/2019 - 12/2019
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros e Criptografia (90h)
08/2019 - 12/2019
Ensino, Ciências Matemáticas e da Terra, Nível: GraduaçãoDisciplinas ministradas, Computação 1 (60h)
03/2019 - 07/2019
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Números Inteiros e Criptografia (90h)
03/2019 - 07/2019
Ensino, Engenharia Elétrica, Nível: GraduaçãoDisciplinas ministradas, Computação I (60h)
03/2019 - 03/2019
Conselhos, Comissões e Consultoria, Centro de Ciências Matemáticas e da Natureza, Instituto de Matemática.Cargo ou função, Membro de comissão para homologação de candidaturas ao concurso público para professor adjunto do Departamento de Ciência da Computação.
09/2018 - 12/2018
Ensino, Ciências Matemáticas e da Terra, Nível: GraduaçãoDisciplinas ministradas, Computação I (60h)
09/2018 - 12/2018
Ensino, Matemática, Nível: GraduaçãoDisciplinas ministradas, Computação I (60h)

2014 - 2018

Universiteit van Amsterdam, UvA

Vínculo: Monitor de disciplina, Enquadramento Funcional: Monitor, Carga horária: 8

Outras informações:
Monitoria dos cursos: "Axiomatic Set Theory", abril e maio 2014; "Capita Selecta: Set Theory", novembro e dezembro 2014; "Axiomatic Set Theory", abril a junho 2015; "Axiomatic Set Theory", fevereiro a maio 2015; "Capita Selecta: Set Theory", setembro e outubro 2016

2016 - 2016

Universiteit van Amsterdam, UvA

Vínculo: Ministrante de curso, Enquadramento Funcional: Ministrante de curso, Carga horária: 7

Outras informações:
Curso de 4 semanas sobre "Measurable cardinals", em conjunto com Lorenzo Galeotti

2015 - 2015

Universiteit van Amsterdam, UvA

Vínculo: Ministrante de curso, Enquadramento Funcional: Ministrante de curso, Carga horária: 7

Outras informações:
Curso de 4 semanas sobre "Forcing"

2015 - 2015

Isaac Newton Institute for Mathematical Sciences

Vínculo: Pesquisador visitante, Enquadramento Funcional: Pesquisador visitante

Outras informações:
Participação no programa "Mathematical, Foundational and Computational Aspects of the Higher Infinite"

2007 - 2008

Universidade Federal Fluminense

Vínculo: Bolsista CNPq, Enquadramento Funcional: Iniciação Científica

Outras informações:
Projeto: Cálculos relacionais atômicos e completos, com operadores de paralelismo. Orientador: Jorge Petrucio Viana.