Marcelo Rodrigues de Sousa

Possui graduação em Engenharia Elétrica pela Universidade Federal de Uberlândia (1986) e mestrado em Engenharia Eletrônica e Computação pelo Instituto Tecnológico de Aeronáutica (1993), doutor em Engenharia Elétrica na Área de Processamento da Informação (2010) na Universidade Federal de Uberlândia. Atualmente é professor da Universidade Federal de Uberlândia, desde 1988, Faculdade de Engenharia Elétrica, onde atua no curso de Engenharia de Computação. Tem experiência na área de Computação, com ênfase em Linguagens de Programação, Inovação e desenvolvimento de software, atuando principalmente nos seguintes temas: programação lógica e funcional, ensino de gramática e multimídia. Também, tem grande experiência na criação e autorização de novos cursos superiores em computação, perícias judiciais e assessoria de informatização. Criador e desenvolvedor do Software Gramaticando, comercializado pela Publifolha, do Jornal Folha de São Paulo.

Informações coletadas do Lattes em 01/07/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia Elétrica

2006 - 2010

Universidade Federal de Uberlândia
Título: Verificação Automática da Completude de Lógicas Finitas Multivalentes
Orientador: Antônio Eduardo Costa Pereira

Mestrado em Engenharia Eletrônica e Computação

1987 - 1993

Instituto Tecnológico de Aeronáutica
Título: ProS4 - Provador Automático de Teoremas para a Lógica Modal S4,Ano de Obtenção: 1993
Orientador: Francisco Eduardo Viola
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Prova Automática de Teoremas; Lógica Modal; Programação Lógica; Prolog; Sistema S4.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

Graduação em Engenharia Elétrica

1982 - 1986

Universidade Federal de Uberlândia

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Francê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/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.

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

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Cedric Luiz de Carvalho

DE CARVALHO, C. L.PEREIRA, Antonio Eduardo Costa; BARBAR, Jamil Salém; LIMA, Luciano Viera. Engenharia de Software em Linguagem Prevalente. 2011. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Uberlândia.

Seção coletada automaticamente pelo Escavador

Orientou

LUCIANE DIAS SILVA

Gramaticando; 1999; Orientação de outra natureza - Milestone Mind Software, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Marcelo Rodrigues de Sousa;

THOMAS BASTEN

Gramaticando; 1999; Orientação de outra natureza - Milestone Mind Software, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Marcelo Rodrigues de Sousa;

HUGO LEONARDO MESQUITA GUIMARÃES

Gramaticando; 1999; Orientação de outra natureza - Milestone Mind Software, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Marcelo Rodrigues de Sousa;

HUGO LEONARDO MESQUITA GUIMARÃES

Gramaticando; 1998; Orientação de outra natureza - Milestone Mind Software Ltda, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Marcelo Rodrigues de Sousa;

THOMAS BASTEN

Gramaticando; 1998; Orientação de outra natureza - Milestone Mind Software, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Marcelo Rodrigues de Sousa;

LUCIANE DIAS SILVA

Gramaticando; 1998; Orientação de outra natureza - Milestone Mind Software, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Marcelo Rodrigues de Sousa;

Seção coletada automaticamente pelo Escavador

Outras produções

Rodrigues, M. S. ; MACEDO, A. . Informatização da Câmara Municipal de Uberlândia. 1992.

Rodrigues, M. S. ; OLIVEIRA, R. C. . Gramaticando Volume 3. 2000.

Rodrigues, M. S. ; OLIVEIRA, R. C. . Gramaticando Volume I. 1999.

Rodrigues, M. S. ; OLIVEIRA, R. C. . Gramaticando Volume 2. 1999.

OLIVEIRA, R. C. . Gramaticando. 1988.

Rodrigues, M. S. . Criação do Bacharelado em Sistemas de Informação UFU. 2008.

Rodrigues, M. S. . Criação do Bacharelado em Sistemas de Informação Faculdade Politécnica. 2000.

Rodrigues, M. S. . Criação do Bacharelado em Ciência da Computação UNITRI. 1993.

Seção coletada automaticamente pelo Escavador

Projetos de desenvolvimento

  • 1998 - 2001

    Gramaticando, Descrição: Gramaticando Português Software de aprendizado da gramática da língua portuguesa através de exercícios: Volume 1 5a e 6a séries do 1o grau (34 módulos, mais de 200.000 exercícios e vocabulário de mais de 25.000 palavras) Volume 2 7a e 8a séries do 1o grau (97 módulos, mais de 300.000 exercícios e vocabulário de mais de 30.000 palavras) Volume 3 1a , 2a e 3a séries do 2o grau (99 módulos, mais de 500.000 exercícios e vocabulário de mais de 42.000 palavras) . , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Marcelo Rodrigues de Sousa - Coordenador / RONALDO CASTRO DE OLIVEIRA - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Milestone Mind Software - Auxílio financeiro / Trisoft Núcleo Softex do Triângulo - Cooperação., Número de produções C, T & A: 3 / Número de orientações: 6

  • 1998 - 2001

    Gramaticando, Descrição: Gramaticando ? Português Software de aprendizado da gramática da língua portuguesa através de exercícios: Volume 1 ? 5a e 6a séries do 1o grau (34 módulos, mais de 200.000 exercícios e vocabulário de mais de 25.000 palavras) Volume 2 ? 7a e 8a séries do 1o grau (97 módulos, mais de 300.000 exercícios e vocabulário de mais de 30.000 palavras) Volume 3 ? 1a , 2a e 3a séries do 2o grau (99 módulos, mais de 500.000 exercícios e vocabulário de mais de 42.000 palavras). , Situação: Concluído; Natureza: Desenvolvimento.

Seção coletada automaticamente pelo Escavador

Prêmios

2016

Comenda Renato de Freitas, Câmara Municipal de Uberlândia.

2012

Segundo colocado nos Testes Públicos de Segurança no Sistema Eletrônico de Votação, Tribunal Superior Eleitoral.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal de Uberlândia, Faculdade de Computação. , Av. João Naves de Ávila, 2121 - Bloco B - Sala 1B79, Santa Mônica, 38408-100 - Uberlandia, MG - Brasil, Telefone: (34) 32394144, Fax: (34) 32394392, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2000 - 2004

FACULDADE POLITECNICA DE UBERLÂNDIA

Vínculo: Celetista formal, Enquadramento Funcional: Professor - Coordenador, Carga horária: 36

Atividades

  • 02/2001 - 12/2004

    Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Oficina de Programação, Pesquisa Operacional, Auditoria e Segurança em Informática, Empreendedorismo em Informática, Lógica para Ciência da Computação, Programação Orientada a Objetos

  • 02/2000 - 12/2004

    Direção e administração, Coordenação de Sistemas de Informação, .,Cargo ou função, Coordenador do Bacharelado em Sistemas de Informação.

1988 - Atual

Universidade Federal de Uberlândia

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

Atividades

  • 02/2018

    Conselhos, Comissões e Consultoria, Reitoria, .,Cargo ou função, Membro do Comitê Gestor de Tecnologia da Informação (CGTI) da Universidade Federal de Uberlândia (UFU).

  • 06/2017

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Faculdade de Engenharia Elétrica.,Cargo ou função, Membro do Núcleo Docente Estruturante do Curso de Engenharia da Computação.

  • 05/2017

    Direção e administração, Centro de Ciências Exatas e Tecnologia, Faculdade de Engenharia Elétrica.,Cargo ou função, Coordenação do Curso Engenharia de Computação.

  • 02/2009

    Outras atividades técnico-científicas , Reitoria, Reitoria.,Atividade realizada, Parecerista ad hoc.

  • 12/1998

    Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Arquitetura de Software Aplicada, Engenharia de Software, Linguagnes Formais e Autômatos, Lógica e Matemática Discreta, Programação Funcional, Programação Lógica, Programação Orientada a Objetos, Programação Procedimental, Prometo e Implementação de Software, Resolução de Problemas, Tópicos de Engenharia de Software, Teoria da Computação

  • 02/2016 - 02/2018

    Conselhos, Comissões e Consultoria, Reitoria, .,Cargo ou função, Membro do Comitê Gestor de Tecnologia da Informação (CGTI) da Universidade Federal de Uberlândia (UFU).

  • 06/2014 - 06/2017

    Conselhos, Comissões e Consultoria, Centro de Ciências Exatas e Tecnologia, Faculdade de Engenharia Elétrica.,Cargo ou função, Membro do Núcleo Docente Estruturante do Curso de Engenharia de Computação.

  • 05/2016 - 05/2017

    Direção e administração, Centro de Ciências Exatas e Tecnologia, Faculdade de Engenharia Elétrica.,Cargo ou função, Coordenador substituto do curso de Engenharia da Computação.

  • 05/2015 - 05/2017

    Direção e administração, Faculdade de Computação, .,Cargo ou função, Coordenado do núcleo de extensão da Facom.

  • 11/2010 - 11/2011

    Direção e administração, Centro de Ciências Exatas e Tecnologia, Faculdade de Computação.,Cargo ou função, Coordenador do curso de Sistemas de Informação - Monte Carmelo.

  • 11/2008 - 11/2010

    Direção e administração, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação.,Cargo ou função, Coordenador do Curso de Sistemas de Informação.

  • 09/2006 - 09/2008

    Direção e administração, Faculdade de Computação, .,Cargo ou função, Coordenador de Curso.

  • 11/1988 - 11/1998

    Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguaguens de Programação Concorrente, Estruturas Algébricas, Lógica para Ciência da Computação 3, Lógica para Ciência da Computação 2, Lógica para Ciência da Computação 1, Introdução à Teoria das Filas, Estrutura de Dados 2, Estrutura de Dados 1

  • 04/1991 - 04/1993

    Direção e administração, Faculdade de Computação, .,Cargo ou função, Chefe de Departamento.

  • 02/1989 - 02/1991

    Direção e administração, Faculdade de Computação, .,Cargo ou função, Coordenador de Curso.

1998 - 2001

Milestone Mind Software

Vínculo: Outro, Enquadramento Funcional: Sócio Diretor, Carga horária: 40

Atividades

  • 02/1998 - 02/2001

    Direção e administração, Empresa Privada, .,Cargo ou função, Diretor de Desenvolvimento.

  • 02/1998 - 02/2001

    Pesquisa e desenvolvimento , Empresa Privada, .,Linhas de pesquisa

1994 - 2001

Centro Universitário do Triângulo

Vínculo: Celetista formal, Enquadramento Funcional: Professor - Diretor, Carga horária: 40

Outras informações:
Diretor do Centro de Ciências Exatas e Tecnológicas Criador do Bacharelado em Ciência da Computação da UNITRI Criador da Mostra de Software da UNITRI Responsável pela autorização e reconhecimento do Bacharelado em Ciência da Computação

Atividades

  • 02/1994 - 08/2001

    Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Linguagem Formais e Autômatos, Estruturas Algébricas, Empreendedorismo em Informática, Lógica para Ciência da Computação, Teoria da Computação, Programação Lógica

  • 05/1994 - 09/1999

    Direção e administração, Centro de Ciências Exatas e Tecnologia, .,Cargo ou função, Decano de Centro.