Luis Menasché Schechter

Professor Associado do Departamento de Ciência da Computação (posteriormente Instituto de Computação) da Universidade Federal do Rio de Janeiro entre 07/2010 e 11/2021. Possui Bacharelado em Ciência da Computação pela UFRJ (01/2005), Mestrado em Engenharia de Sistemas e Computação pela COPPE/UFRJ (02/2007) e Doutorado em Engenharia de Sistemas e Computação pela COPPE/UFRJ (03/2010).

Informações coletadas do Lattes em 26/08/2025

Acadêmico

Formação acadêmica

Doutorado em Engenharia de Sistemas e Computação

2007 - 2010

Universidade Federal do Rio de Janeiro
Título: Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes
Mario Roberto Folhadela Benevides. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Lógicas Modais; Teoria de Grafos; Sistemas Concorrentes; Verificação de Modelos; Sistemas Axiomáticos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.

Mestrado em Engenharia de Sistemas e Computação

2005 - 2007

Universidade Federal do Rio de Janeiro
Título: Soluções Algébricas de Campos de Vetores Planares: Métodos Algorítmicos,Ano de Obtenção: 2007
Severino Collier Coutinho.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Campo de Retas; Algoritmo; Solução Algébrica; Plano Afim; Computação Algébrica; Geometria Algébrica. Grande área: Ciências Exatas e da TerraGrande Á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.

Graduação em Bacharelado em Ciência da Computação

2001 - 2005

Universidade Federal do Rio de Janeiro
Título: Soluções Algébricas de Folheações Holomorfas: Uma Abordagem Algorítmica
Orientador: Severino Collier Coutinho
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2006 - 2006

Conceitos Básicos de Computação Gráfica. (Carga horária: 48h). , Instituto Nacional de Matemática Pura e Aplicada, IMPA, Brasil.

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: Ciência da Computação / Subárea: Teoria da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Criptografia.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

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.

Participação em eventos

Ciclo de Seminários do PESC.As Contribuições Científicas de Diffie e Hellman - Prêmio Turing 2015. 2016. (Simpósio).

Ciclo de Seminários do PESC.A Vida e as Contribuições Científicas de Alan Turing. 2015. (Seminário).

Seminário do IMPA.A Vida e o Legado de Alan Turing para a Ciência. 2015. (Seminário).

Sextas Matemáticas - IM/UFRJ.Alan Turing: Vida e Contribuições Científicas. 2015. (Seminário).

17o Encontro Brasileiro de Lógica (EBL 2014). Plausibility and Justification. 2014. (Congresso).

Seminário da Escola de Matemática Aplicada EMAp / FGV-RJ.As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2014. (Seminário).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2014. (Seminário).

Seminário para alunos do Bacharelado em Matemática Aplicada do IM/UFRJ.Criptografia: o uso de matemática para a segurança de informações. 2014. (Seminário).

XXXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC 2014). Uma Introdução à Criptografia de Chave Pública através do Método El Gamal. 2014. (Congresso).

4th World Congress and School on Universal Logic. Multi-Dimensional Products of Graphs and Hybrid Logics & Plausibility and Justification. 2013. (Congresso).

Seminário no Departamento de Ciência da Computação da UFRJ.As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2013. (Seminário).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Alan Turing: Vida e Contribuições Científicas. 2012. (Seminário).

Seminário na Universidad Nacional de Córdoba.A Logic of Plausible Justifications. 2012. (Seminário).

Seminário no Departamento de Ciência da Computação da UFRJ.A Vida e o Legado de Alan Turing para a Ciência após Cem Anos de seu Nascimento. 2012. (Seminário).

XIX Workshop on Logic, Language, Information and Computation. A Logic of Plausible Justifications. 2012. (Congresso).

Seminário do Grupo de Grafos e Algoritmos da UFRJ.Uma Abordagem Lógica para o Produto Multi-Dimensional de Grafos. 2011. (Seminário).

Seminário no Departamento de Ciência da Computação da UFRJ.A Quebra do Algoritmo de Assinatura Digital do PlayStation 3. 2011. (Seminário).

XVI Encontro Brasileiro de Lógica. A logical approach to multi-dimensional products of graphs. 2011. (Congresso).

Seminário no Departamento de Computação da Universidade Federal do Ceará.Álgebras de Processo e Lógicas Dinâmicas com Operadores de Concorrência. 2010. (Seminário).

VI Workshop on Methods for Modalities. A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus. 2010. (Congresso).

IV Workshop on Logical and Semantic Frameworks, with Applications. Product of Graphs and Hybrid Logic. 2009. (Congresso).

Seminário no IRIT / Université Paul Sabatier.A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus. 2009. (Seminário).

III Workshop on Logical and Semantic Frameworks, with Applications. A Logical Approach to Hamiltonian Graphs. 2008. (Congresso).

I Workshop on Modal Fixpoint Logics. An Analysis of Syntactic Fragments of Hybrid CTL with the Downarrow Binder. 2008. (Congresso).

XV Encontro Brasileiro de Lógica. Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator. 2008. (Congresso).

XV International Workshop on Logic, Language, Information and Computation. A Propositional Dynamic Logic for CCS Programs. 2008. (Congresso).

II Workshop on Logical and Semantic Frameworks, with Applications. Modal Expressiveness of Graph Properties. 2007. (Congresso).

XIV Workshop on Logic, Language, Information and Computation. 2007. (Congresso).

XXVII Jornada de Iniciação Científica da UFRJ.Campos de Direção sem Solução Algébrica. 2005. (Outra).

XXVI Jornada de Iniciação Científica da UFRJ.Um Algoritmo para Detectar Campos de Retas sem Solução Algébrica. 2004. (Outra).

XXV Jornada de Iniciação Científica da UFRJ.Um Método Efetivo para a Determinação do Grupo Simétrico como Grupo de Galois. 2003. (Outra).

Participação em bancas

Aluno: Jheyne Nayara Ortiz

DAHAB, R.;SCHECHTER, L. M.; HERNANDEZ, J. C. L.. Amostragem Gaussiana Aplicada à Criptografia Baseada em Reticulados. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Charles Figueredo de Barros

SCHECHTER, L. M.COUTINHO, S. C.; MENDONCA, L. F.; Valério, J. V.. Autenticação e Criptografia Pós-Quântica Baseada em Reticulados. 2014. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Isaque Maçalam Saab Lima

BENEVIDES, M. R. F.; ZAVERUCHA, G.;SCHECHTER, L. M.. Evolução do Conhecimento. 2013. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rodrigo Lopes Rangel Madureira

RINCON, M. A.;SCHECHTER, L. M.; Valério, J. V.;COUTINHO, S. C.; TOLEDO, R. P. R.. Algoritmos de Interseções de Curvas de Bézier com uma Aplicação à Localização de Raízes de Equações. 2013. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Isaac de Lima Oliveira Filho

BEDREGAL, B. R. C.; CANUTO, A. M. P.; ABREU, M. C. C.; SCHWARTZ, W. R.;SCHECHTER, L. M.. Algoritmo Papílio como Método de Proteção de Templates para Aumentar a Segurança em Sistemas de Identificação Biométricos. 2014. Tese (Doutorado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: RODRIGO DOS SANTOS VELOSO MARTINS

SZWARCFITER, J. L.;SCHECHTER, L. M.; SA, V. G. P.; FIGUEIREDO, C. M. H.. Sobre Mapeamentos Aleatórios. 2013. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Charles Figueredo de Barros

SCHECHTER, L. M.COUTINHO, S. C.; MENDONCA, L. F.. Autenticação e Criptografia Pós-Quântica. 2013. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Rodrigo Lopes Rangel Madureira

RINCON, M. A.;SCHECHTER, L. M.; TEIXEIRA, M. G.; TOLEDO, R. P. R.. Algoritmos de Interseções de Curvas de Bézier com uma Aplicação à Localização de Raízes de Equações. 2013. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Daniel Freitas dos Santos

MENDONCA, L. F.; TEIXEIRA, M. G.;SCHECHTER, L. M.; SAMPAIO, J. O.. Recomendação de Grupos Heterogêneos. 2013. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.

Aluno: Vitor Silva Costa

SA, V. G. P.; PENARANDA, L. M.;SCHECHTER, L. M.. Cripto-esteganografia: proposta de um método original de simples implementação. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Júlio Zynger

COUTINHO, S. C.SCHECHTER, L. M.; MARQUEZINO, F. L.. Algoritmo Quântico para Equações Lineares. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Gabriel Pires da Silva

COUTINHO, S. C.; MENDONCA, L. F.;SCHECHTER, L. M.. Criptografia Homomórfica. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Igor da Fonseca Ramos

MENDONCA, L. F.; SILVA, J. C. P.;SCHECHTER, L. M.COUTINHO, S. C.. Ajuste de Imagens Cerebrais via Otimização Numérica. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Pedro Mendonça Pinto Rocha

COUTINHO, S. C.SCHECHTER, L. M.; Cruz, A. J. O.. Implementação Paralela do Método dos Cangurus para a Resolução do Problema do Logaritmo Discreto. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rodrigo de Moura Canaan

COUTINHO, S. C.SCHECHTER, L. M.; MENDONCA, L. F.. Arranjos de Retas Invariantes por Campos Vetoriais. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

Aluno: Rafael Souza Nader

SILVA, J. C. P.;SCHECHTER, L. M.BENEVIDES, M. R. F.. Aprendizado por Reforço: Uma Aplicação do Algoritmo de Aprendizado Q. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro.

SCHECHTER, L. M.; VELLASCO, M. M. B. R.; BARRETO, P. S. L. M.. Concurso Público para Professor Auxiliar do Departamento de Ciência da Computação (DCC) da UFRJ - Área Inteligência Artificial / Segurança da Informação. 2013. Universidade Federal do Rio de Janeiro.

BORNSTEIN, C. F.; DELGADO, C. A. D. M.;SCHECHTER, L. M.. Banca da Sessão IM - XI da Jornada de Iniciação Científica da UFRJ. 2015. Universidade Federal do Rio de Janeiro.

BORNSTEIN, C. F.; BENEVIDES, M.R.F.;SCHECHTER, L. M.. Banca da Sessão IM - Comp I da Jornada de Iniciação Científica da UFRJ. 2014. Universidade Federal do Rio de Janeiro.

COELHO, G. V. S.; SA, V. G. P.;SCHECHTER, L. M.; Valério, J. V.. Banca da Sessão IM2 da Jornada de Iniciação Científica da UFRJ. 2012. Universidade Federal do Rio de Janeiro.

SCHECHTER, L. M.; LIMA, J. C. M.; KLEIN, S.. Banca da Sessão Mat03 da Jornada de Iniciação Científica da UFRJ. 2011. Universidade Federal do Rio de Janeiro.

Orientou

Matheus Souza Moraes Feitosa

Estudo de Métodos Modernos de Criptografia; Início: 2018; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; (Orientador);

Lucca Martins Felix

Estudo de Métodos Modernos de Criptografia; Início: 2016; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Universidade Federal do Rio de Janeiro; (Orientador);

Charles Figueredo de Barros

Autenticação e Criptografia Pós-Quântica Baseada em Reticulados; 2014; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luis Menasché Schechter;

Rodrigo Lopes Rangel Madureira

Algoritmos de Interseções de Curvas de Bézier com uma Aplicação à Localização de Raízes de Equações; 2013; Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Luis Menasché Schechter;

RODRIGO DOS SANTOS VELOSO MARTINS

Random Mappings and Polynomials over Finite Fields; 2016; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro,; Coorientador: Luis Menasché Schechter;

Charles Figueredo de Barros

A New Proposal for Post-Quantum Lattice-Based Cryptographic Primitives; 2016; Tese (Doutorado em Informática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luis Menasché Schechter;

Yaissa Campos Siqueira

Criptoanálise do Método Oil-Vinegar com o Uso de Bases de Gröbner; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Pedro Mendonça Pinto Rocha

Implementação Paralela do Método dos Cangurus para a Resolução do Problema do Logaritmo Discreto; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

IGOR CARPANESE FIGUEIREDO

Estudo de Métodos Modernos de Criptografia; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Thiago Henrique Neves Coelho

Estudo de Métodos Modernos de Criptografia; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Vinícius Berbat Paula

Estudo de Métodos Modernos de Criptografia; 2016; Iniciação Científica; (Graduando em Licenciatura em Matemática) - Universidade Federal do Rio de Janeiro, Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Hugo Faria Rezende Narcizo

Estudo de Métodos Modernos de Criptografia; 2016; Iniciação Científica; (Graduando em Ciências Matemáticas e da Terra) - Universidade Federal do Rio de Janeiro, Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Jéssica Provenciano Silvério

Estudo de Métodos Modernos de Criptografia; 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Yaissa Campos Siqueira

Estudo de Métodos Modernos de Criptografia; 2014; 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: Luis Menasché Schechter;

Leon Augusto de Araujo Pereira

O Problema do Logaritmo Discreto e Sua Importância para a Criptografia; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Hector Nieva Melo

Estudo de Métodos Modernos de Criptografia; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Hugo de Mello Dantas

Estudo de Métodos Modernos de Criptografia; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Annanda Dandi de Freitas Sousa

Estudo de Métodos Modernos de Criptografia; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Vinícius Berbat Paula

Um Estudo do Método de Criptografia RSA; 2013; Iniciação Científica; (Graduando em Ensino Médio) - Colégio Pedro II, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luis Menasché Schechter;

Jonathan Rangel Porto

Algoritmos para a Manipulação de Números de Tamanho Arbitrário; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Matheus Henrique Klem Galvez

Algoritmos para a Manipulação de Números de Tamanho Arbitrário; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro, Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Daniele Braga Peçanha

Algoritmos para a Manipulação de Números de Tamanho Arbitrário; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Luis Menasché Schechter;

Produções bibliográficas

SCHECHTER, L. MENASCHÉ . A logic of plausible justifications. Theoretical Computer Science , v. 603, p. 132-145, 2015.
FERREIRA, F.M. ; FREIRE, C.M. ; BENEVIDES, M.R.F. ; MENASCHÉ SCHECHTER, L. ; MARTINS, A.T. . Polynomial hierarchy graph properties in hybrid logic. Journal of Computer and System Sciences (Print) , v. 80, p. 1087-1101, 2014.
BENEVIDES, M. R. F. ; SCHECHTER, L. M. . Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator. Journal of Logic and Computation (Print) , v. 24, p. 919-951, 2014.
Benevides, Mario R.F. ; SCHECHTER, L. M. . A study on multi-dimensional products of graphs and hybrid logics. Theoretical Computer Science , v. 412, p. 4946-4966, 2011.
COUTINHO, S. C. ; SCHECHTER, L. M. . Algebraic solutions of plane vector fields. Journal of Pure and Applied Algebra (Print) , v. 213, p. 144-153, 2009.
SCHECHTER, L. M. ; Benevides, M. R. F. ; Using modal logics to express and check global graph properties. Logic Journal of the IGPL (Print) , v. 17, p. 559-587, 2009.
COUTINHO, S. C. ; SCHECHTER, L. M. . Algebraic solutions of holomorphic foliations: An algorithmic approach. Journal of Symbolic Computation , v. 41, p. 603-618, 2006.
SCHECHTER, L. M. . Uma Introdução à Criptografia de Chave Pública através do Método El Gamal. 1. ed. São Carlos: Sociedade Brasileira de Matemática Aplicada e Computacional, 2014. v. 1. 124p .
SCHECHTER, L. M. . Alan Turing nos Cinemas. Ciência Hoje, São Paulo, p. 52 - 53, 16 mar. 2015.
SCHECHTER, LUIS MENASCHÉ ; DE MENDONÇA, LUZIANE F. . Uma Aplicacao da Metodologia de Sala de Aula Invertida no Bacharelado em Ciencia da Computacao da UFRJ.. In: CNMAC 2016 XXXVI Congresso Nacional de Matemática Aplicada e Computacional, 2017, Gramado, 2016. v. 5.
BARROS, CHARLES F. DE ; SCHECHTER, L. MENASCHÉ . GGH may not be dead after all. In: XXXV CNMAC Congresso Nacional de Matemática Aplicada e Computacional, 2015, Natal, 2014. v. 3.
BARROS, C. F. ; SCHECHTER, L. M. . A New Design for Lattice-Based Cryptographic Constructions. In: XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG 2015), 2015, Florianópolis. Anais do XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSEG 2015), 2015.
BARROS, C. F. ; SCHECHTER, L. M. . Uma Análise do Sistema de Criptografia GGH-YK. In: Congresso de Matemática Aplicada e Computacional Sudeste 2013, 2013, Bauru. Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013. São Carlos: Sociedade Brasileira de Matemática Aplicada e Computacional, 2013. p. 138-143.
MADUREIRA, R. L. R. ; RINCON, M. A. ; SCHECHTER, L. M. . Algoritmos de Interseções de Curvas de Bézier com Uma Aplicação à Localização de Raízes de Funções. In: Congresso de Matemática Aplicada e Computacional Sudeste 2013, 2013, Bauru. Anais do Congresso de Matemática Aplicada e Computacional CMAC Sudeste 2013. São Carlos: Sociedade Brasileira de Matemática Aplicada e Computacional, 2013. p. 153-158.
MADUREIRA, R. L. R. ; RINCON, M. A. ; SCHECHTER, L. M. . Algoritmos de Interseções de Curvas de Bézier com uma Aplicação à Localização de Raízes de Equações. In: Iberian Latin American Congress on Computational Methods in Engineering (CILAMCE) 2013, 2013, Pirenópolis. Proceedings of the Iberian Latin American Congress on Computational Methods in Engineering (CILAMCE) 2013, 2013.
SCHECHTER, L. M. . A Logic of Plausible Justifications. In: 19th International Workshop on Logic, Language, Information and Computation (WoLLIC 2012), 2012, Buenos Aires. Lecture Notes in Computer Science. Heidelberg: Springer, 2012. v. 7456. p. 306-320.
Ferreira, F. M. ; Freire, C. M. ; Benevides, M. R. F. ; SCHECHTER, L. M. ; Martins, A. T. . Hybrid Logics and NP Graph Properties. In: 18th International Workshop on Logic, Language, Information and Computation (WoLLIC 2011), 2011, Philadelphia. Lecture Notes in Computer Science. Heidelberg: Springer, 2011. v. 6642. p. 123-134.
Benevides, M. R. F. ; SCHECHTER, L. M. . A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus. In: VI Workshop on Methods for Modalities, 2010, Copenhague. Electronic Notes in Theoretical Computer Science, 2010. v. 262. p. 49-64.
SCHECHTER, L. M. . A Logical Approach to Hamiltonian Graphs. In: III Workshop on Logical and Semantic Frameworks, with Applications, 2009, Salvador. Electronic Notes in Theoretical Computer Science. v. 247. p. 123-138.
Benevides, M. R. F. ; SCHECHTER, L. M. . Product of Graphs and Hybrid Logic. In: IV Workshop on Logical and Semantic Frameworks, with Applications, 2009, Brasília. Electronic Notes in Theoretical Computer Science. v. 256. p. 103-118.
Benevides, M. R. F. ; SCHECHTER, L. M. . Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator. In: XV Encontro Brasileiro de Lógica, 2008, Paraty. XV Encontro Brasileiro de Lógica. Campinas, 2008.
BENEVIDES, M ; SCHECHTER, L. M. . Modal Expressiveness of Graph Properties. In: II Workshop on Logical and Semantic Frameworks, with Applications, 2008, Ouro Preto. Electronic Notes in Theoretical Computer Science. v. 205. p. 31-47.
BENEVIDES, M.R.F. ; SCHECHTER, L. M. . A Propositional Dynamic Logic for CCS Programs. In: 15th International Workshop on Logic, Language, Information and Computation (WoLLIC 2008), 2008, Edimburgo. Lecture Notes in Computer Science. Heidelberg: Springer, 2008. v. 5110. p. 83-97.
BARROS, C. F. ; SCHECHTER, L. M. . A New Mathematical Problem and its Application to the Construction of a Lattice-Based Cryptosystem. In: 30o Colóquio Brasileiro de Matemática, 2015, Rio de Janeiro. Anais do 30o Colóquio Brasileiro de Matemática, 2015.
BARROS, CHARLES F. DE ; SCHECHTER, LUIS MENASCHE . A new design for lattice-based cryptosystems. In: III CMACSE Congresso de Matemática Aplicada e Computacional Sudeste, 2015. v. 3.
SCHECHTER, L. M. . Plausibility and Justification. In: 17o Encontro Brasileiro de Lógica (EBL 2014), 2014, Petrópolis. Anais do 17o Encontro Brasileiro de Lógica, 2014. p. 96-96.
BENEVIDES, M. R. F. ; SCHECHTER, L. M. . Multi-Dimensional Products of Graphs and Hybrid Logics. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Proceedings of the 4th World Congress and School on Universal Logic, 2013. p. 245-245.
SCHECHTER, L. M. . Plausibility and Justification. In: 4th World Congress and School on Universal Logic, 2013, Rio de Janeiro. Proceedings of the 4th World Congress and School on Universal Logic, 2013. p. 187-188.
BARROS, C. F. ; SCHECHTER, L. M. . O algoritmo LLL de Redução de Base em Reticulados. In: 29o Colóquio Brasileiro de Matemática (CBM 2013), 2013, Rio de Janeiro. Anais do 29o Colóquio Brasileiro de Matemática, 2013.
Benevides, M. R. F. ; SCHECHTER, L. M. . A Logical Approach to Multi-Dimensional Products of Graphs. In: XVI Encontro Brasileiro de Lógica, 2011, Petrópolis. Anais do XVI Encontro Brasileiro de Lógica, 2011.
Benevides, M. R. F. ; SCHECHTER, L. M. . Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator. In: XIV Latin American Symposium on Mathematical Logic, 2009, Paraty. Bulletin of Symbolic Logic, 2009. v. 15. p. 346-347.
SCHECHTER, L. M. . Campos de Direção sem Solução Algébrica. In: XXVII Jornada de Iniciação Científica da UFRJ, 2005, Rio de Janeiro. Catálogo da XXVII Jornada de Iniciação Científica da UFRJ, 2005.
SCHECHTER, L. M. . Um Algoritmo para Detectar Campos de Retas sem Solução Algébrica. In: XXVI Jornada de Iniciação Científica da UFRJ, 2004, Rio de Janeiro. Catálogo da XXVI Jornada de Iniciação Científica da UFRJ, 2004.
SCHECHTER, L. M. . Um Método Efetivo para a Determinação do Grupo Simétrico como Grupo de Galois. In: XXV Jornada de Iniciação Científica da UFRJ, 2003, Rio de Janeiro. Catálogo da XXV Jornada de Iniciação Científica da UFRJ, 2003.
SCHECHTER, L. M. . As Contribuições Científicas de Diffie e Hellman - Prêmio Turing 2015. 2016. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . A Vida e o Legado de Alan Turing para a Ciência. 2015. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . A Vida e as Contribuições Científicas de Alan Turing. 2015. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . Alan Turing: Vida e Contribuições Científicas. 2015. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. ; BARROS, C. F. . As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2014. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2014. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . Criptografia: o uso de matemática para a segurança de informações. 2014. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. ; BARROS, C. F. . As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2013. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . A Vida e o Legado de Alan Turing para a Ciência após Cem Anos de seu Nascimento. 2012. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . Alan Turing: Vida e Contribuições Científicas. 2012. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . A Logic of Plausible Justifications. 2012. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . A Quebra do Algoritmo de Assinatura Digital do PlayStation 3. 2011. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . Uma Abordagem Lógica para o Produto Multi-Dimensional de Grafos. 2011. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . Álgebras de Processo e Lógicas Dinâmicas com Operadores de Concorrência. 2010. (Apresentação de Trabalho/Seminário).
SCHECHTER, L. M. . A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus. 2009. (Apresentação de Trabalho/Seminário).
Benevides, M. R. F. ; SCHECHTER, L. M. . An Analysis of Syntactic Fragments of Hybrid CTL with the Downarrow Binder. 2008. (Apresentação de Trabalho/Congresso).
SCHECHTER, L. M. . Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes 2010 (Tese de Doutorado).
SCHECHTER, L. M. . Soluções Algébricas de Campos de Vetores Planares: Métodos Algorítmicos 2007 (Dissertação de Mestrado).
SCHECHTER, L. M. . Soluções Algébricas de Folheações Holomorfas: Uma Abordagem Algorítmica 2005 (Monografia de Conclusão de Curso de Graduação).

Outras produções

SCHECHTER, L. M. . Produção de um vídeo sobre Alan Turing para alunos participando da Feira das Ciências da Escola Dr. Brunilo Jacó (Redenção/CE). 2015.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o 36o Congresso Nacional de Matemática Aplicada e Computacional. 2016.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o congresso I ETC (CSBC 2016). 2016.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o periódico ?Anais da Academia Brasileira de Ciências?. 2016.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o 35o Congresso Nacional de Matemática Aplicada e Computacional. 2014.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o periódico Information Processing Letters. 2013.

SCHECHTER, L. M. . Membro do Comitê de Programa do congresso 7th Workshop on Logical and Semantic Frameworks, with Applications. 2012.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o congresso 10th Conference on Logic and the Foundations of Game and Decision Theory. 2012.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o congresso 7th Workshop on Logical and Semantic Frameworks, with Applications. 2012.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o congresso 14th Conference on Theoretical Aspects of Rationality and Knowledge. 2012.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para a RECEN - Revista Ciências Exatas e Naturais. 2012.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o congresso 6th Workshop on Logical and Semantic Frameworks, with Applications. 2011.

SCHECHTER, L. M. . Membro do Comitê de Programa do congresso 6th Workshop on Logical and Semantic Frameworks, with Applications. 2011.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o congresso V International Joint Conference on Automated Reasoning. 2010.

SCHECHTER, L. M. . Parecer a respeito de artigo submetido para o periódico Fundamenta Informaticae. 2009.

SCHECHTER, L. M. . Entrevista para o Site da Revista Galileu sobre Alan Turing. 2016. (Programa de rádio ou TV/Entrevista).

SCHECHTER, L. M. . Entrevista para o Blog da TV UVA sobre o Bitcoin. 2014. (Programa de rádio ou TV/Entrevista).

SCHECHTER, L. M. . Entrevista para o Portal de Internet 'Labirinto' sobre o aprendizado de programação. 2013. (Programa de rádio ou TV/Entrevista).

SCHECHTER, L. M. . Entrevista para o Portal de Internet 'Labirinto' sobre Alan Turing. 2013. (Programa de rádio ou TV/Entrevista).

SCHECHTER, L. M. . Entrevista para a Revista 'Mundo Estranho'. 2011. (Programa de rádio ou TV/Entrevista).

SCHECHTER, L. M. . Programa 'Globo Ciência' Episódio 1338 - 'O Mundo Digital. 2010.

SCHECHTER, L. M. . Página sobre Alan Turing. 2012; Tema: Divulgação das Contribuições Científicas de Alan Turing. (Site).

SCHECHTER, L. M. . Canal do Youtube com Vídeo-Aulas e Palestras de Divulgação Científica. 2015. (Desenvolvimento de material didático ou instrucional - vídeo educacional).

SCHECHTER, L. M. . Uma Introdução à Criptografia de Chave Pública através do Método El Gamal. 2014. (Curso de curta duração ministrado/Outra).

COUTINHO, S. C. ; SCHECHTER, L. M. . Autômatos, Linguagens Formais e Computabilidade. 2014. (Desenvolvimento de material didático ou instrucional - Apostila).

SCHECHTER, L. M. . Uma Introdução à Criptografia de Chave Pública através do Método El Gama. 2014. (Desenvolvimento de material didático ou instrucional - Livro).

SCHECHTER, L. M. ; MOTA, T. C. . A Biblioteca Gráfica Allegro. 2002. (Desenvolvimento de material didático ou instrucional - Apostila).

Projetos de pesquisa

2013 - 2016

Lógicas Modais e Suas Aplicações à Computação e à Inteligência Artificial, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luis Menasché Schechter - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 4
2013 - 2013

Os Fundamentos Matemáticos da Criptografia RSA, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Luis Menasché Schechter - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 1
2013 - Atual

Estudo dos Métodos Modernos de Criptografia de Chave Pública, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) . , Integrantes: Luis Menasché Schechter - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Universidade Federal do Rio de Janeiro - Bolsa., Número de produções C, T & A: 7
2011 - 2013

Aplicações de Matemática Discreta à Computação: Modelos Formais de Computabilidade, Verificação Formal de Sistemas de Computação e Computação Algébrica, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Luis Menasché Schechter - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Universidade Federal do Rio de Janeiro - Bolsa., Número de produções C, T & A: 6
2011 - 2012

Um Estudo de Lógicas de Justificativa para a Modelagem de Argumentação e Debate em Sistemas Multi-Agentes, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Luis Menasché Schechter - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro., Número de produções C, T & A: 2

Prêmios

2006

Magna Cum Laude - Dignidade Acadêmica de Graduação, UFRJ.

2004

Melhor Trabalho da Sessão - XXVI Jornada de Iniciação Científica da UFRJ, CNPq / UFRJ.

2004

Melhor Trabalho do Instituto de Matemática - XXVI Jornada de Iniciação Científica da UFRJ, CNPq / UFRJ.

2004

Menção Honrosa - XXVI Jornada de Iniciação Científica da UFRJ, CNPq / UFRJ.

2003

Menção Honrosa - XXV Jornada de Iniciação Científica da UFRJ, CNPq / UFRJ.

Histórico profissional

Experiência profissional

2010 - 2021

Universidade Federal do Rio de Janeiro

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

Outras informações:
Professor do Departamento de Ciência da Computação, transformado, em 2021, no Instituto de Computação. Posse em 20/07/2010. Exoneração a pedido em 16/11/2021.

Atividades

10/2015
Conselhos, Comissões e Consultoria, Associação de Docentes da UFRJ (ADUFRJ).,Cargo ou função, Membro do Conselho de Representantes da ADUFRJ.
01/2015
Conselhos, Comissões e Consultoria, Reitoria, Centro de Ciências Matemáticas e da Natureza.,Cargo ou função, Membro Suplente do Conselho de Coordenação do CCMN.
09/2013
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação / Instituto de Matemática.,Cargo ou função, Membro da Comissão de Equivalência de Disciplinas do Departamento de Ciência da Computação (DCC).
10/2012
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação / Instituto de Matemática.,Cargo ou função, Membro da Comissão de Acompanhamento Acadêmico (CAA) do Programa de Pós-Graduação em Informática (PPGI).
08/2012
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação / Instituto de Matemática.,Cargo ou função, Membro da Comissão Organizadora do Colóquio em Ciência da Computação do Departamento de Ciência da Computação (DCC).
03/2011
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Estrutura de Dados e Algoritmos, Linguagens Formais, Computação Numérica
08/2010
Pesquisa e desenvolvimento, Departamento de Ciência da Computação / Instituto de Matemática.,Linhas de pesquisa
08/2010
Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computação 2 (Escola Politécnica), Linguagens Formais, Números Inteiros e Criptografia, Tópicos em Criptografia
01/2011 - 12/2012
Conselhos, Comissões e Consultoria, Reitoria, Centro de Ciências Matemáticas e da Natureza.,Cargo ou função, Membro do Conselho de Coordenação do CCMN.
12/2010 - 12/2012
Direção e administração, Departamento de Ciência da Computação / Instituto de Matemática.,Cargo ou função, Substituto Eventual do Coordenador do Curso de Bacharelado em Ciência da Computação.
02/2011 - 10/2012
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação / Instituto de Matemática.,Cargo ou função, Membro da Comissão de Infraestrutura do Programa de Pós-Graduação em Informática (PPGI).
11/2010 - 12/2011
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação / Instituto de Matemática.,Cargo ou função, Membro da Comissão de Avaliação Docente (CAD) do Departamento de Ciência da Computação.
10/2010 - 10/2010
Conselhos, Comissões e Consultoria, Departamento de Ciência da Computação / Instituto de Matemática.,Cargo ou função, Membro da Comissão Eleitoral para escolha do Chefe de Departamento, mandato 2010-2012.