Luis Menasché Schechter

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


Professor Adjunto do Departamento de Ciência da Computação da Universidade Federal do Rio de Janeiro. 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). (Texto informado pelo autor)


Identificação


Nome
Luis Menasché Schechter
Nome em citações bibliográficas
SCHECHTER, L. M.;MENASCHÉ SCHECHTER, L.;SCHECHTER, L. MENASCHÉ;SCHECHTER, LUIS MENASCHE;SCHECHTER, LUIS MENASCHÉ

Endereço


Endereço Profissional
Universidade Federal do Rio de Janeiro, Departamento de Ciência da Computação / Instituto de Matemática.
Avenida Athos da Silveira Ramos 274
Cidade Universitária
21941916 - Rio de Janeiro, RJ - Brasil - Caixa-postal: 68530
Telefone: (21) 39383311
Fax: (21) 39389515
URL da Homepage: www.dcc.ufrj.br/~luisms


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


2007 - 2010
Doutorado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes, Ano de obtenção: 2010.
Orientador: 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 Terra
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.
2005 - 2007
Mestrado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Soluções Algébricas de Campos de Vetores Planares: Métodos Algorítmicos,Ano de Obtenção: 2007.
Orientador: 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 Terra
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.
2001 - 2005
Graduação em Bacharelado em Ciência da Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
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.


Atuação Profissional



Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Vínculo institucional

2010 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Professor do Departamento de Ciência da Computação / Instituto de Matemática. Posse em 20/07/2010.

Atividades

10/2015 - Atual
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 - Atual
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 - Atual
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 - Atual
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 - Atual
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 - Atual
Ensino, Informática, Nível: Pós-Graduação

Disciplinas ministradas
Estrutura de Dados e Algoritmos
Linguagens Formais
Computação Numérica
08/2010 - Atual
Pesquisa e desenvolvimento , Departamento de Ciência da Computação / Instituto de Matemática, .

08/2010 - Atual
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.


Linhas de pesquisa


1.
Lógicas Modais

Objetivo: Estudo da expressividade e complexidade computacional de diversas classes de lógicas modais, como lógicas temporais, lógicas dinâmicas, lógicas epistêmicas e lógicas híbridas. Utilização de lógicas modais para o estudo de propriedades de grafos. Estudo de lógicas modais multi-dimensionais. Estudo de lógicas dinâmicas com operadores de concorrência. Estudo de algoritmos de verificação de modelos para lógicas temporais, lógicas dinâmicas, lógicas híbridas e lógicas modais multi-dimensionais. Aplicação de lógicas modais para o estudo de sistemas multi-agentes..
Grande área: Ciências Exatas e da Terra
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.
2.
Verificação de Modelos

Objetivo: Estudo de algoritmos de verificação de modelos para diversas lógicas modais, como lógicas temporais, lógicas dinâmicas, lógicas híbridas e lógicas modais multi-dimensionais..
Grande área: Ciências Exatas e da Terra
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.
3.
Linguagens Formais e Teoria de Autômatos

Objetivo: Estudo das diversas classes de autômatos e de seus respectivos poderes expressivos. Estudo das noções de computabilidade e complexidade. Estudo dos modelos formais de computação, como Máquinas de Turing e Funções Recursivas. Estudo de autômatos que trabalham com entradas infinitas, como autômatos de Büchi por exemplo. Aplicação de autômatos com entradas infinitas ao estudo de lógicas com operadores de ponto-fixo..
Grande área: Ciências Exatas e da Terra
4.
Criptografia

Objetivo: Estudo de algoritmos criptográficos e de sua fundamentação matemática. Estudo da complexidade computacional de resolver os problemas matemáticos envolvidos na decodificação de mensagens criptografadas, como o problema da fatoração de números inteiros (no caso da criptografia RSA, por exemplo) e o problema do logaritmo discreto em grupos cíclicos (no caso da criptografia El Gamal e da criptografia por Curvas Elípticas, por exemplo)..
Grande área: Ciências Exatas e da Terra
5.
Matemática Simbólica

Objetivo: Estudo e desenvolvimento de algoritmos simbólicos para lidar com problemas de lógica matemática, álgebra, geometria algébrica e teoria de grafos..
Grande área: Ciências Exatas e da Terra
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.


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.
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): Universidade Federal do Rio de Janeiro - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.Número de orientações: 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: 1 / Número de orientações: 5
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


Projetos de extensão


2015 - Atual
Segurança em Sistemas Eletrônicos de Votação
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Luis Menasché Schechter - Coordenador / Luziane Ferreira de Mendonça - Integrante / Charles Figueredo de Barros - Integrante / Nelson Quilula Vasconcelos - Integrante.


Revisor de projeto de fomento


2013 - Atual
Agência de fomento: Conselho Nacional de Desenvolvimento Científico e Tecnológico


Á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.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Criptografia.
3.
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.
4.
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.
5.
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


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


Prêmios e títulos


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.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
1SCHECHTER, L. MENASCHÉ2015 SCHECHTER, L. MENASCHÉ. A logic of plausible justifications. Theoretical Computer Science, v. 603, p. 132-145, 2015.

2.
3FERREIRA, F.M.2014FERREIRA, 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.

3.
2BENEVIDES, M. R. F.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.

4.
4Benevides, Mario R.F.2011 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.

5.
6COUTINHO, S. C.2009COUTINHO, S. C. ; SCHECHTER, L. M. . Algebraic solutions of plane vector fields. Journal of Pure and Applied Algebra (Print), v. 213, p. 144-153, 2009.

6.
5Benevides, M. R. F.2009SCHECHTER, 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.

7.
7COUTINHO, S. C.2006COUTINHO, S. C. ; SCHECHTER, L. M. . Algebraic solutions of holomorphic foliations: An algorithmic approach. Journal of Symbolic Computation, v. 41, p. 603-618, 2006.

Livros publicados/organizados ou edições
1.
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 .

Textos em jornais de notícias/revistas
1.
SCHECHTER, L. M.. Alan Turing nos Cinemas. Ciência Hoje, São Paulo, p. 52 - 53, 16 mar. 2015.

Trabalhos completos publicados em anais de congressos
1.
SCHECHTER, LUIS MENASCHÉ; DE MENDONÇA, LUZIANE F. . Uma Aplicac a o da Metodologia de Sala de Aula Invertida no Bacharelado em Cie ncia da Computac a o da UFRJ.. In: CNMAC 2016 XXXVI Congresso Nacional de Matemática Aplicada e Computacional, 2017, Gramado, 2016. v. 5.

2.
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.

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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

12.
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.

13.
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.

14.
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.

Resumos publicados em anais de congressos
1.
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.

2.
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.

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.

4.
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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
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.

11.
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.

Apresentações de Trabalho
1.
SCHECHTER, L. M.. As Contribuições Científicas de Diffie e Hellman - Prêmio Turing 2015. 2016. (Apresentação de Trabalho/Seminário).

2.
SCHECHTER, L. M.. A Vida e o Legado de Alan Turing para a Ciência. 2015. (Apresentação de Trabalho/Seminário).

3.
SCHECHTER, L. M.. A Vida e as Contribuições Científicas de Alan Turing. 2015. (Apresentação de Trabalho/Seminário).

4.
SCHECHTER, L. M.. Alan Turing: Vida e Contribuições Científicas. 2015. (Apresentação de Trabalho/Seminário).

5.
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).

6.
SCHECHTER, L. M.. Criptografia: o uso de matemática para a segurança de informações. 2014. (Apresentação de Trabalho/Seminário).

7.
SCHECHTER, L. M.. As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2014. (Apresentação de Trabalho/Seminário).

8.
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).

9.
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).

10.
SCHECHTER, L. M.. Alan Turing: Vida e Contribuições Científicas. 2012. (Apresentação de Trabalho/Seminário).

11.
SCHECHTER, L. M.. A Logic of Plausible Justifications. 2012. (Apresentação de Trabalho/Seminário).

12.
SCHECHTER, L. M.. A Quebra do Algoritmo de Assinatura Digital do PlayStation 3. 2011. (Apresentação de Trabalho/Seminário).

13.
SCHECHTER, L. M.. Uma Abordagem Lógica para o Produto Multi-Dimensional de Grafos. 2011. (Apresentação de Trabalho/Seminário).

14.
SCHECHTER, L. M.. Álgebras de Processo e Lógicas Dinâmicas com Operadores de Concorrência. 2010. (Apresentação de Trabalho/Seminário).

15.
SCHECHTER, L. M.. A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus. 2009. (Apresentação de Trabalho/Seminário).

16.
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).

Outras produções bibliográficas
1.
SCHECHTER, L. M.. Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes 2010 (Tese de Doutorado).

2.
SCHECHTER, L. M.. Soluções Algébricas de Campos de Vetores Planares: Métodos Algorítmicos 2007 (Dissertação de Mestrado).

3.
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).


Produção técnica
Assessoria e consultoria
1.
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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

15.
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.

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

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

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

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

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

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

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

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

Entrevistas, mesas redondas, programas e comentários na mídia
1.
SCHECHTER, L. M.. Entrevista para o Site da Revista Galileu sobre Alan Turing. 2016. (Programa de rádio ou TV/Entrevista).

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

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

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

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

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

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


Demais tipos de produção técnica
1.
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).

2.
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).

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

4.
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).

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



Bancas



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

2.
SCHECHTER, L. M.; COUTINHO, S. C.; MENDONCA, L. F.; Valério, J. V.. Participação em banca de 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.

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

4.
RINCON, M. A.; SCHECHTER, L. M.; Valério, J. V.; COUTINHO, S. C.; TOLEDO, R. P. R.. Participação em banca de 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.

Teses de doutorado
1.
BEDREGAL, B. R. C.; CANUTO, A. M. P.; ABREU, M. C. C.; SCHWARTZ, W. R.; SCHECHTER, L. M.. Participação em banca de Isaac de Lima Oliveira Filho. 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.

Qualificações de Doutorado
1.
SZWARCFITER, J. L.; SCHECHTER, L. M.; SA, V. G. P.; FIGUEIREDO, C. M. H.. Participação em banca de Rodrigo dos Santos Veloso Martins. Sobre Mapeamentos Aleatórios. 2013. Exame de qualificação (Doutorando em Informática) - Universidade Federal do Rio de Janeiro.

Qualificações de Mestrado
1.
RINCON, M. A.; SCHECHTER, L. M.; TEIXEIRA, M. G.; TOLEDO, R. P. R.. Participação em banca de 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. Exame de qualificação (Mestrando em Informática) - Universidade Federal do Rio de Janeiro.

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

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

Trabalhos de conclusão de curso de graduação
1.
SA, V. G. P.; PENARANDA, L. M.; SCHECHTER, L. M.. Participação em banca de Vitor Silva Costa.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.

2.
COUTINHO, S. C.; SCHECHTER, L. M.; MARQUEZINO, F. L.. Participação em banca de Júlio Zynger.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.

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

4.
COUTINHO, S. C.; SCHECHTER, L. M.; Cruz, A. J. O.. Participação em banca de 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.

5.
MENDONCA, L. F.; SILVA, J. C. P.; SCHECHTER, L. M.; COUTINHO, S. C.. Participação em banca de Igor da Fonseca Ramos.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.

6.
COUTINHO, S. C.; SCHECHTER, L. M.; MENDONCA, L. F.. Participação em banca de Rodrigo de Moura Canaan.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.

7.
SILVA, J. C. P.; SCHECHTER, L. M.; BENEVIDES, M. R. F.. Participação em banca de Rafael Souza Nader.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.



Participação em bancas de comissões julgadoras
Concurso público
1.
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.

Outras participações
1.
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.

2.
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.

3.
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.

4.
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.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Ciclo de Seminários do PESC.As Contribuições Científicas de Diffie e Hellman - Prêmio Turing 2015. 2016. (Simpósio).

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

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

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

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

6.
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).

7.
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).

8.
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).

9.
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).

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

11.
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).

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

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

14.
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).

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

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

17.
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).

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

19.
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).

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

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

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

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

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

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

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

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

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

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

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

31.
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).



Orientações



Orientações e supervisões em andamento
Iniciação científica
1.
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).

2.
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).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
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.

2.
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.

Tese de doutorado
1.
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.

2.
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.

Trabalho de conclusão de curso de graduação
1.
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.

2.
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.

Iniciação científica
1.
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.

2.
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.

3.
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.

4.
Vinicius 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.

5.
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.

6.
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.

7.
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.

8.
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.

9.
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.

10.
Vinicius 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.

11.
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.

12.
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.

13.
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.

14.
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.



Inovação



Projeto de extensão


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



Livros e capítulos
1.
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 .


Textos em jornais de notícias/revistas
1.
SCHECHTER, L. M.. Alan Turing nos Cinemas. Ciência Hoje, São Paulo, p. 52 - 53, 16 mar. 2015.


Apresentações de Trabalho
1.
SCHECHTER, L. M.. A Quebra do Algoritmo de Assinatura Digital do PlayStation 3. 2011. (Apresentação de Trabalho/Seminário).

2.
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).

3.
SCHECHTER, L. M.. Alan Turing: Vida e Contribuições Científicas. 2012. (Apresentação de Trabalho/Seminário).

4.
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).

5.
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).

6.
SCHECHTER, L. M.. Criptografia: o uso de matemática para a segurança de informações. 2014. (Apresentação de Trabalho/Seminário).

7.
SCHECHTER, L. M.. As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012. 2014. (Apresentação de Trabalho/Seminário).

8.
SCHECHTER, L. M.. A Vida e o Legado de Alan Turing para a Ciência. 2015. (Apresentação de Trabalho/Seminário).

9.
SCHECHTER, L. M.. A Vida e as Contribuições Científicas de Alan Turing. 2015. (Apresentação de Trabalho/Seminário).

10.
SCHECHTER, L. M.. Alan Turing: Vida e Contribuições Científicas. 2015. (Apresentação de Trabalho/Seminário).

11.
SCHECHTER, L. M.. As Contribuições Científicas de Diffie e Hellman - Prêmio Turing 2015. 2016. (Apresentação de Trabalho/Seminário).


Cursos de curta duração ministrados
1.
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).


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

2.
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).

3.
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).


Entrevistas, mesas redondas, programas e comentários na mídia
1.
SCHECHTER, L. M.. Programa 'Globo Ciência' Episódio 1338 - 'O Mundo Digital. 2010.

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

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

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

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

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


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



Outras informações relevantes


1o colocado no Vestibular 2001 para o curso de Bacharelado em Informática da UFRJ com uma pontuação de 37,75 pontos de um total de 50.

Concluiu o curso de graduação com coeficiente de rendimento acumulado 9.3 / 10.0 (Magna Cum Laude).

Concluiu o curso de mestrado com coeficiente de rendimento 3.0 / 3.0.

Concluiu o curso de doutorado com coeficiente de rendimento 3.0 / 3.0.



Página gerada pelo Sistema Currículo Lattes em 22/10/2018 às 24:27:38