Mário Leston Rey

possui graduação em Ciência da Computação pela Universidade de São Paulo (1996), mestrado em Ciência da Computação pela Universidade de São Paulo (1999) e doutorado em Ciência da Computação pela Universidade de São Paulo (2012). Atualmente é professor visitante da Universidade Federal do ABC. Tem experiência na área de Ciência da Computação, com ênfase em Otimização Combinatória e Teoria dos Grafos.

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciências da Computação

2008 - 2012

Universidade de São Paulo
Título: Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias
Yoshiko Wakabayashi. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Ramificações; Arboreescências; Funções submodulares e supermodulares; Laminaridade.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: Teoria dos Grafos.

Mestrado em Ciências da Computação

1997 - 1999

Universidade de São Paulo
Título: T-junções, T-cortes e funções conservativas,Ano de Obtenção: 1999
Paulo Feofiloff.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

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

1993 - 1996

Universidade de São Paulo

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Português

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

Seção coletada automaticamente pelo Escavador

Á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: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

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: Otimização Combinatória.

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

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Rafael Santos Coelho

Wakabayashi, YLeston-Rey, M; GRUBER, A. B. G.;Lee, Orlando; CAMPELO NETO, M.. The k-hop connected dominating set problem: approximation algorithms and hardness results.. 2017. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Lucas Costa Beyeler

MACHION, A. C. G.; RODRIGUES, E. M.;LESTON-REY, MARIO. Sistemas de Arquivos. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.

LESTON-REY, MARIO; MACHION, A. C. G.; RODRIGUES, E. M.. Mendonça, D. Clemente, F. Cancio, J.M Junior, R. Silva.O Problema do Emparelhamento Estável. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Centro Universitário FIEO.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Paulo Feofiloff

FEOFILOFF, P.CARVALHO, M. H.FERNANDES, C. G.. T-junções, T-cortes e Funções Conservativas. 1999. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo.

Gordana Manic

WAKABAYASHI, Yoshiko; FERREIRA, Carlos Eduardo;MANIC, Gordana. Partição Equilibrada de um Grafo em Subgrafos Conexos. 2011. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

Sóstenes Luiz Soares Lins

WAKABAYASHI, Y.; PINA JUNIOR, J. C.; LEE, O.; CARVALHO, M. H.;LINS, S.. Um Arcabouço Generalizado para Empacotamento de Ramificações e Outras Estruturas Combinatórias. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

MARCELO HENRIQUES DE CARVALHO

CARVALHO, M. H.; Feofiloff, P.; Fernandes, C.G.. T-junções, T-cortes e funções conservativas. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

MARCELO HENRIQUES DE CARVALHO

Wakabayashi, Y.; Coelho, J. P. J.; Lee, O.;CARVALHO, M. H.; Lins, S. L. S.. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Carlos Eduardo Ferreira

WAKABAYASHI, Y.FERREIRA, C. E.; Manic, G. Partição equilibrada de um grafo em subgrafos conexos. 2011. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade de São Paulo.

Orlando Lee

WAKABAYASHI, Y.; PINA JR., J. C.;LEE, O.; CARVALHO, Marcelo Henriques de; LINS, Sóstenes. Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias. 2012. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Cristina Gomes Fernandes

FEOFILOFF, P.Fernandes, Cristina G.; CARVALHO, M. H.. T-Junções, T-cortes e Funções Conservativas. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Orientou

André Seiti Murasaki

Jogos Estratégicos; Início: 2016; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do ABC; (Orientador);

A

Mendonça, D; Clemente, F; Cancio, J; M Junior, R; Silva; O Problema do Emparelhamento Estável; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Centro Universitário FIEO; Orientador: Mario Leston Rey;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Yoshiko Wakabayashi

Um arcabouço generalizado para empacotamento de ramificações e outras estruturas combinatórias; 2012; Tese (Doutorado em Ciência da Computação) - Instituto de Matemática e Estatística da USP, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Yoshiko Wakabayashi;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • 2015 Lee, Orlando ; LESTON-REY, MARIO . A faster algorithm for packing branchings in digraphs. Discrete Applied Mathematics , v. 194, p. 121-131, 2015.

  • 2015 LESTON-REY, MARIO ; Lee, Orlando . Stronger bounds and faster algorithms for packing in generalized kernel systems. Mathematical Programming , v. 159, p. 31-80, 2015.

  • 2014 LESTON-REY, MARIO . Integral packing of branchings in capacitaded digraphs. Journal of Combinatorial Optimization , v. 31, p. 506-514, 2014.

  • 2014 LESTON-REY, MARIO ; WAKABAYASHI, YOSHIKO . Packing in generalized kernel systems: a framework that generalizes packing of branchings. Mathematical Programming , v. 149, p. 209-251, 2014.

  • Leston-Rey, M ; Wakabayashi, Y . Packing entering sets in kernel systems. 2012. (Apresentação de Trabalho/Congresso).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2014 - Atual

    Estudos Teóricos e Práticos de Problemas e Técnicas de Otimização, Descrição: O principal objetivo do projeto é a aplicação de técnicas de otimização a diversos problemas, teóricos e práticos, com destaque ao uso de ferramentas de programação semidefinida, programação mista, combinatória poliédrica e algoritmos de aproximação. Nossas investigações contribuirão para avançar o estado-da-arte em otimização combinatória e em áreas correlatas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Mario Leston Rey - Coordenador / Yoshiko Wakabayashi - Integrante / Carlos Eduardo Ferreira - Integrante / Alexandre Freire da Silva - Integrante / Alvaro Junio Pereira Franco - Integrante / Andrea Jiménez - Integrante / Cristina Fernandes - Integrante / César Israel Hernández-Vélez - Integrante / Fernando Mário de Oliveira Filho - Integrante / José Coelho de Pina Jr - Integrante / Karla R. Lima - Integrante / Marcel Kenji de Carli Silva - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

2016 - 2018

Universidade Federal do ABC

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

Atividades

  • 06/2016

    Ensino, Ciência e Tecnologia, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial - Diurno, Inteligência Artificial - Noturno, Bases Computacionais da Ciência - Diurno, Bases Computacionais da Ciência - Noturno

  • 05/2017 - 09/2017

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores - 2 turmas

  • 02/2016 - 05/2016

    Ensino, Ciência e Tecnologia, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estrutura de Dados I - Diurno, Algoritmos e Estrutura de Dados I - Noturno

2003 - Atual

Centro Universitário Fieo

Vínculo: , Enquadramento Funcional: Professor, Carga horária: 12

Atividades

  • 01/2004

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Pesquisa Operacional, Sistemas Distribuídos

  • 02/2003

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial, Programação de Computadores II, Sistemas Distribuídos, Teoria dos Grafos, Tópicos Avançados em Ciência da Computação, Paradigmas de Linguagens de Programação

  • 02/2003

    Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação II, Análise de Algoritmos, Compiladores e Linguagens Formais, Sistemas Distribuídos I, Sistemas Distribuídos II, Teoria da Computação

2000 - 2000

Universidade de São Paulo

Vínculo: Docência, Enquadramento Funcional: Professor, Carga horária: 16

Outras informações:
Curso de verão

Atividades

  • 01/2000 - 02/2000

    Ensino, Computacao, Nível: Aperfeiçoamento,Disciplinas ministradas, Tópicos de programação

2007 - 2013

Etapa Ensino e Cultura S/C LTDA

Vínculo: , Enquadramento Funcional: Professor, Carga horária: 16

Atividades

  • 02/2007

    Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Laboratório de Programação Orientada ao Objeto, Inteligência Artificial, Álgebra Booleana, Algoritmos e Programção, Estrutura de Dados, Teoria da Computação

2002 - 2005

Universidade Metropolitana de Santos

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

Atividades

  • 02/2002 - 12/2005

    Ensino, Ciencia da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Inteligência Artificial, Linguagens Formais e Autômatos, Projeto e Análise de Algoritmos

2001 - 2002

Centro Universitário Sant'Anna

Vínculo: Celetista, Enquadramento Funcional: Professor

Atividades

  • 08/2001 - 12/2002

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Sistemas Operacionais, Teoria da Computação, Estrutura de Dados

1997 - 1997

Itau Tecnologia S/A

Vínculo: Celetista, Enquadramento Funcional: Programador

2001 - 2003

Universidade Anhembi Morumbi

Vínculo: Celetista, Enquadramento Funcional: Professor

Atividades

  • 08/2001 - 07/2003

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Álgebra para a Computação, Estrutura de Dados, Análise de Algoritmos, Teoria dos Grafos

1993 - 1993

Centro Educacional Objetivo

Vínculo: Celetista, Enquadramento Funcional: Professor

1991 - 1992

Centro Educacional Objetivo

Vínculo: Celetista, Enquadramento Funcional: Professor

Atividades

  • 02/1991 - 12/1992

    Ensino,,Disciplinas ministradas, Física