João Antônio Récio da Paixão
Possui graduação em Matemática pela Virginia Tech (2007), mestrado e doutorado em Matemática Aplicada pela Pontifícia Universidade Católica do Rio de Janeiro (2010 e 2014) em Matemática Aplicada. Tem experiência em geometria e topologia computacional e combinatória, atuando principalmente nos seguintes temas: computação científica, álgebra linear computacional, teoria de categorias, ensino de álgebra linear, álgebra linear gráfica, teoria de Morse discreta, topologia de campos de vetores e tensores, e algoritmos combinatórios. Atualmente é professor adjunto da Universidade Federal do Rio de Janeiro.
Informações coletadas do Lattes em 28/05/2024
Acadêmico
Formação acadêmica
Doutorado em Matemática
2010 - 2014
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Analysis of Morse matchings
Orientador: em The University of Queensland ( Benjamin Burton)
com Thomas Maurice Lewiner. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Mestrado em Matemática
2008 - 2010
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Título: Feature-preserving vector field denoising
, Ano de Obtenção: 2010.Hélio Côrtes Vieira Lopes.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Computação Gráfica.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Discreta e Combinatória.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Topologia das Variedades.
Participação em eventos
28th Annual Symposium on Computational Geometry. 2012. (Simpósio).
Participação em bancas
Rincon, Mauro; Clark, Haroldo;Paixão, João; ALFARO, D.; Medeiros, Luiz; Darci, Maria. Estabilização, Análise e Simulação Numérica da Equação de Ondas com Condição da Acústica na Fronteira. 2015. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
Paixão, JoãoLewiner, Thomas; Penaranda, Luis; Dreux, Marcelo; Siqueira, Marcelo. Cancelamento de Singularidades em Campos de Cruzes. 2015. Tese (Doutorado em Matemática) - Pontifícia Universidade Católica do Rio de Janeiro.
SA, V. G. P.; DOURADO, M.;Paixão, João. Ferramenta para Enumeração e Reconhecimento de Grafos Arco-circulareis.. 2014.
ROSSETTO, S.; SILVA, J. C. P.;Paixão, João. Análise sobre Algoritmos de Alinhamento de Sequências Biológicas.. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
RINCON, M.; ALFARO, D.;Paixão, João. Simulação Numérica da Equação Unidimensional de Schrodinger - Caso Linear. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
TOLEDO, R.; ZIMBRAO, G.;Paixão, João. JTrace: Desenvolvimento de uma biblioteca para auxílio no ensino de algoritmos de tra. 2013 - Universidade Federal do Rio de Janeiro.
VALERIO, J.;Paixão, João; MENDONCA, L. F.. Preditor de Sucesso Cinematográco. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.
SILVA, J. C. P.; ROSSETTO, S.;Paixão, João. Concurso Professor Substituto. 2014. Universidade Federal do Rio de Janeiro.
DELGADO, C.; MASCARENHAS, F.;Paixão, João. Concurso Professor Substituto. 2014. Universidade Federal do Rio de Janeiro.
Paixão, João. Jornada de Iniciação Científica. 2013. Universidade Federal do Rio de Janeiro.
Orientou
VIsual Relations and Correct by construction algorithms in Linear Algebra; Início: 2022; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro; (Orientador);
Tracking spatio-temporal patterns in Atmospheric data through Topological Data Analysis; 2020; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: João Antonio Recio da Paixão;
Vector Field Neural Networks; 2018; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: João Antonio Recio da Paixão;
Algoritmos e Triângulações para o Gradiente Discreto; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Orientador: João Antonio Recio da Paixão;
Discrete Line Fields on Surfaces; ; 2018; Tese (Doutorado em Matemática) - Pontifícia Universidade Católica do Rio de Janeiro,; Coorientador: João Antonio Recio da Paixão;
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; Orientador: João Antonio Recio da Paixão;
Bilblioteca para exemplificação de álgebra linear: Easy LinAlg; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Generalized Eigenvalue Problems In Linear Hydrodynamic Stability; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Relacionando Geometricamente Tweets e Notícias Utilizando a Word Mover's Distance; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Sumarização Híbrida com Redes Pointer-Generator; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Um Algoritmo de Fusão de Dados para Ambientes Inteligentes; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Calculational proofs in quantales and Normal Forms in Graphical Linear Algebra; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Álgebra Linear com Diagramas; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Álgebra Linear com Diagramas; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: João Antonio Recio da Paixão;
Produções bibliográficas
-
Paixão, João ; RUFINO, LUCAS ; SOBOCI'SKI, PAWE' . High-level axioms for graphical linear algebra. SCIENCE OF COMPUTER PROGRAMMING , v. 218, p. 102791, 2022.
-
NOVELLO, TIAGO ; Paixão, João ; TOMEI, CARLOS ; LEWINER, Thomas . Discrete line fields on surfaces. TOPOLOGY AND ITS APPLICATIONS , v. 1, p. 107603, 2021.
-
SENA, CAIO ÁTILA PEREIRA ; DA PAIXÃO, JOÃO ANTÔNIO RECIO ; FRANÇA, JOSÉ RICARDO DE ALMEIDA . A Topological Data Analysis approach for retrieving Local Climate Zones patterns in satellite data. Environmental Challenges , v. 5, p. 100359, 2021.
-
BURTON, BENJAMIN A. ; LEWINER, Thomas ; Paixão, João ; SPREER, JONATHAN . Parameterized Complexity of Discrete Morse Theory. ACM Transactions on Mathematical Software , v. 42, p. 1-24, 2016.
-
PAIXÃO, J. A. R. ; Lewiner, Thomas ; Marques, Clarissa ; Botton, Scarlett ; Cabral, Allyson ; Nascimento, Renata ; Mello, VinÃcius ; Peixoto, Adelailson ; Martinez, Dimas ; Vieira, Thales ; LAGE . Stereo music visualization through manifold harmonics. The Visual Computer , v. 27, p. 905-916, 2011.
-
PAIXÃO, J. A. R. ; Baginski, Paul ; Chapman, Scott ; Hine, Natalie . On the asymptotic behavior of unions of sets of lengths in atomic monoids. Involve, a Journal of Mathematics , v. 1, p. 101-110, 2008.
-
AMOS, J. ; CHAPMAN, S. ; HINE N. ; PAIXÃO, J. A. R. . Sets of lengths and unions of sets of lengths do not characterize numerical monoids. Integers , v. 7, p. A50, 2007.
-
Paixão, João ; Sobociski, Pawe . Calculational Proofs in Relational Graphical Linear Algebra. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2020, v. , p. 83-100.
-
LEWINER, Thomas ; VIEIRA, Thales ; BORDIGNON, A. ; CABRAL, Allyson ; MARQUES, Clarissa ; PAIXÃO, J. A. R. ; CUSTODIO, Lis ; LAGE, M ; ANDRADE, Maria ; NASCIMENTO, Renata ; Botton, Scarlett ; PESCO, S. ; LOPES, H. ; MELLO, Vinícius ; PEIXOTO, Adelailson ; Martinez, Dimas . Tuning Manifold Harmonics Filters. In: Sibigrapi, 2010, Gramado. XXIII Conference on Graphics, Patterns and Images.. Los Alamitos, CA, 2010. p. 110-117.
-
NASCIMENTO, Renata ; Paixão, João ; LOPES, H. ; LEWINER, Thomas . Topology Aware Vector Field Denoising.. In: Sibgrapi, 2010, Gramado. XXIII Conference on Graphics, Patterns and Images.. Los Alamitos, CA: IEEE, 2010. p. 103-109.
-
Paixão, João ; LAGE, M ; PETRONETTO, F. ; BORDIGNON, A. ; PESCO, S. ; TAVARES, G. ; LOPES, H. ; LEWINER, Thomas . Random Walks for Vector Field Denoising. In: Sibigrapi, 2009, Rio de Janeiro. XXII Brazilian Symposium on Computer Graphics and Image Processing. Los Alamitos, CA: IEEE, 2009. p. 112-119.
-
SOUZA, TAINA ; SILVA, MONICA ; PAIXAO, JOAO ; ALVES, RENATO ; BORDALO, ROBERTA ; MOURA, WALDIR . Computational Linear Algebra to identify potential students with ADHD: pairing data compression and K-means. In: 2022 International Conference on Advanced Learning Technologies (ICALT), 2022, Bucharest. 2022 International Conference on Advanced Learning Technologies (ICALT), 2022. p. 262.
-
MARTINS, FABIANO P. ; PAIXAO, JOAO A. R. ; DE FARIAS, CLAUDIO M. ; DELICATO, FLAVIA C. . Hercules: A context-aware multiple application and multisensor data fusion algorithm. In: 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech), 2021, AB. 2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech), 2021. p. 197.
-
VIEIRA, D. ; RANGEL, F. ; FIRMINO, F. ; Paixão, João . Vector Field Based Neural Networks. In: European Symposium on Artificial Neural Networks, 2018, Bruges. The European Symposium on Artificial Neural Networks, 2018.
-
BURTON, B. ; PAIXÃO, J. A. R. ; SPREER, J. . Computational topology and normal surfaces: Theoretical and experimental complexity bounds. In: ALENEX 2013: Meeting on Algorithm Engineering & Experiments, 2013, New Orleans, Louisiana. Proceedings of the Meeting on Algorithm Engineering & Experiments, 2013. p. 78-87.
-
PAIXÃO, J. A. R. ; SPREER, J. ; BURTON, B. ; LEWINER, Thomas . Parameterized Complexity of Discrete Morse Theory. In: Symposium on Computational Geometry, 2013, Rio de Janeiro. ACM Symposium on Computational Geometry, 2013.
-
Paixão, João ; LOPES, H. ; LEWINER, Thomas . Feature-Preserving Vector Field Denoising. In: Sibgrapi 2011 - Workshop of Theses and Dissertations, 2011, Maceió. Workshops of Sibgrapi 2011 - Theses and Dissertations. Porto Alegre: SBC, 2011. v. 3. p. 115-120.
-
NASCIMENTO, Renata ; PAIXÃO, J. A. R. ; LOPES, H. ; LEWINER, Thomas . Topology Aware Vector Field Denoising. 2010. (Apresentação de Trabalho/Seminário).
-
Paixão, João ; LAGE, M ; PETRONETTO, F. ; BORDIGNON, A. ; PESCO, S. ; TAVARES, G. ; LEWINER, Thomas ; LOPES, H. . Random Walks for Vector Field Denoising. 2009. (Apresentação de Trabalho/Simpósio).
-
AMOS, J. ; CHAPMAN, S. ; Hine, Natalie ; PAIXÃO, J. A. R. . Length Sets of Numerical Monoids. 2006. (Apresentação de Trabalho/Conferência ou palestra).
Projetos de pesquisa
-
2020 - Atual
Álgebra Linear Gráfica e Computacional, Descrição: A Álgebra Linear Gráfica (ALG) é uma abordagem radicalmente nova para definir e manipular conceitos de álgebra linear. A ALG usa diagramas de cordas (string diagrams), uma sintaxe diagramática que se originou na teoria das categorias, combinada com o raciocínio diagramático. Os diagramas possuem o rigor formal da álgebra simbólica e ao mesmo tempo adicionam aspectos intuitivos e pedagógicos, abrindo novas maneiras de modelar e raciocinar sobre modelos de computação, e aproximando a matemática das aplicações na ciência da computação e campos relacionados, onde diagramas parecidos são usados rotineiramente. O projeto de pesquisa propõe amadurecer a ALG, disseminá-la efetivamente, descobrir extensões não-lineares e desenvolver aplicações abrangentes em teoria de sistemas, teoria de concorrência e teoria da linguagem formal, entre outras.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: João Antonio Recio da Paixão - Coordenador / Pawel Sobocinski - Integrante., Financiador(es): Tallinn University of Technology - Auxílio financeiro.
-
2012 - 2013
Topologia Computacional, Descrição: Auxilio concedido pela FAPERJ para efetuar um estágio de doutorado na University of Queensland.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: João Antonio Recio da Paixão - Integrante / Thomas Maurice LEWINER - Coordenador / Benjamin Burton - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa., Número de produções C, T & A: 2
-
2006 - 2006
Factorization properties of numerical monoids, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: João Antonio Recio da Paixão - Integrante / Baginski, Paul - Integrante / Chapman, Scott - Coordenador / Hine, Natalie - Integrante., Financiador(es): National Science Foundation - Bolsa., Número de produções C, T & A: 3
Prêmios
2012
Estágio de doutorando no exterior, FAPERJ.
2010
Best Paper Selection in Computer Graphics, Sibgrapi.
2010
Primeiro lugar na seleção de doutorado, PUC-Rio.
2008
Primeiro lugar na seleção de mestrado, PUC-Rio.
Histórico profissional
Endereço profissional
-
Universidade Federal do Rio de Janeiro, Instituto de Computação. , CCNM - Centro de Ciências Matemáticas e Natureza, Cidade Universitária, 21941916 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 976885728, Ramal: 21, URL da Homepage:
Experiência profissional
2013 - Atual
Universidade Federal do Rio de JaneiroVínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.
2010 - 2011
Pontifícia Universidade Católica do Rio de Janeiro, PUC-RioVínculo: Celetista formal, Enquadramento Funcional: Professor complementar, Carga horária: 8
2005 - 2006
Virginia TechVínculo: Celetista formal, Enquadramento Funcional: Instrutor, Carga horária: 10
2012 - 2012
The University of QueenslandVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 2
Outras informações:
Aula de "Introdução à Programação" para alunos do Queensland Informatics and Programmig Club.
2006 - 2006
Trinity UniversityVínculo: Bolsista, Enquadramento Funcional: Estudante, Carga horária: 40, Regime: Dedicação exclusiva.
2007 - 2008
Cambridge Educational CenterVínculo: Celetista formal, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.
2010 - 2011
Projeto 5 VisõesVínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 6
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de João Antônio Récio da Paixão e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?