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 09/05/2026

Acadêmico

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

Idiomas

Inglês

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

Espanhol

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

Português

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

Francê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/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.

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;

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.

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.

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

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:

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.