Marcus Vinicius Midena Ramos

Possui graduação em Engenharia Elétrica pela Escola Politécnica da Universidade de São Paulo (USP, 1982), mestrado em Sistemas Digitais pela Escola Politécnica da Universidade de São Paulo (USP, 1991) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (UFPE, 2016). Atualmente é Professor Adjunto IV da Universidade Federal do Vale do São Francisco (UNIVASF) em Juazeiro (BA). Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: linguagens formais, autômatos, teoria da computação, compiladores, assistentes de provas e algoritmos e programação.

Informações coletadas do Lattes em 20/10/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2011 - 2016

Universidade Federal de Pernambuco
Título: Formalization of Context-Free Language Theory
, Ano de obtenção: 2016. Ruy José Guerra Barretto de Queiroz. Palavras-chave: Coq; language theory; context-free; formalization; proof assistants.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Context-free language theory. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Interactive proof assistants.

Mestrado em Sistemas Digitais

1983 - 1991

Escola Politécnica
Título: LIA - Uma linguagem orientada à implementação de especificações SDL
Orientador: Prof Dr. João José Neto
, Ano de Obtenção: 1991.

Graduação em Engenharia Elétrica

1978 - 1982

Escola Politécnica

Á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: Linguagem Formais e Autômatos.

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: 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: Metodologia e Técnicas da Computação/Especialidade: Compiladores.

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

Organização de eventos

RAMOS, Marcus Vinícius Midena . Workshop de Tecnologia Adaptativa. 2011. (Outro).

RAMOS, Marcus Vinícius Midena . Simpósio Interinstitucional de Computação do Vale do São Francisco. 2011. (Outro).

RAMOS, Marcus Vinícius Midena . Workshop de Tecnologia Adaptativa. 2010. (Outro).

RAMOS, Marcus Vinícius Midena . Workshop de Tecnologia Adaptativa. 2009. (Outro).

RAMOS, Marcus Vinícius Midena . II Semana de Ensino, Pesquisa e Extensão. 2009. (Outro).

RAMOS, Marcus Vinícius Midena . II Encontro de Software LIvre de Pernambuco. 2008. (Outro).

RAMOS, Marcus Vinícius Midena . III Mostra de Integração da UNIVASF. 2008. (Outro).

RAMOS, Marcus Vinícius Midena . Workshop de Tecnologia Adaptativa. 2008. (Outro).

Participação em bancas

Aluno: Arturo Ernesto Machado Ortega

BERNARDES, L. A. S.; PARIENTE, C. A. B.; AMBROSIO, P. E.;RAMOS, Marcus Vinícius Midena. Linguagens Formais para Geração, Reconhecimento e Diferenciação de 6 Famílias de Seqüências ALU. 2016. Dissertação (Mestrado em Modelagem Computacional em Ciência e Tecnologia) - Universidade Estadual de Santa Cruz.

Aluno: Rosalía Edith Caya Carhuanina

JOSE NETO, J.;Ramos, Marcus Vinícius Midena; PARIENTE, C. A. B.; CASTRO JUNIOR, A. A.; ROCHA, R. L. A.. Adaptatividade - Visão holística e ferramenta de projeto. 2023 - Escola Politécnica.

Aluno: Djalma Padovani

JOSE NETO, J.; ROCHA, R. L. A.; LIMA, A. M.; PARIENTE, C. A. B.;RAMOS, Marcus Vinícius Midena. Um método adaptativo para análise sintática do Português Brasileiro. 2022. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Marcos Filipe Carvalho Costa

OLIVEIRA NETO, R. F.;Ramos, Marcus Vinícius Midena; FRANCA, J. E. M.. Investigando o desempenho do Random Forest em pequenas amostras. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Vale do São Francisco.

Aluno: Henrique Alves de França

RAMOS, R. A.;Ramos, Marcus Vinícius Midena; LEAL, B. G.. Desenvolvimento de um Aplicativo para Comunicação Interprofissional na Atenção Primária à Saúde. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Vale do São Francisco.

Aluno: Ruan De Medeiros Bahia

OLIVEIRA NETO, R. F.; FRANCA, J. E. M.;Ramos, Marcus Vinícius Midena. Estudo Investigativo sobre o Desempenho de Atributos de Recuperação de Informação em Tarefas de Mineração de Textos. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Vale do São Francisco.

Aluno: Weverton Bruno De Souza Santos

Ramos, Marcus Vinícius Midena. Análise de Métricas de Avaliação de Desempenho em Modelos de Mineração de Dados. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Vale do São Francisco.

Aluno: Samuel Amorim Vieira

Ramos, Marcus Vinícius Midena. Teste dos Descritores Brisk e Kaze no Desempenho do FAB-MAP. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Federal do Vale do São Francisco.

Aluno: Ilana Copque

SANTOS, M. K.;RAMOS, Marcus Vinícius Midena; SILVA, S. N. M.. A Linha, Memórias de Juazeiro e a Estrada de Ferro. 2012. Trabalho de Conclusão de Curso (Graduação em Comunicação Social - Jornalismo em Multimeios) - Universidade do Estado da Bahia.

Ramos, Marcus Vinícius Midena. Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº 04/2019 UNIVASF) - Sistemas Distribuídos e Sistemas Operacionais. 2019.

Ramos, Marcus Vinícius Midena. Concurso Público para Professor de Magistério Superior (Edital nº 07/2019 UNIVASF) - Computação Teórica. 2019.

Ramos, Marcus Vinícius Midena. Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº 24/2018 UNIVASF) - Sistemas Distribuídos e Sistemas Operacionais. 2018. Universidade Federal do Vale do São Francisco.

RAMOS, Marcus Vinícius Midena. Comissão Examinadora do Concurso Público do Magistério Superior (Edital nº02/2012) - Teoria da Computação, Linguagens Formais e Autômatos.. 2013. Universidade Federal do Recôncavo da Bahia.

RAMOS, Marcus Vinícius Midena. Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº10/2013) - Algoritmos e Programação.. 2013. Universidade Federal do Vale do São Francisco.

RAMOS, Marcus Vinícius Midena. Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº41/2012) - Algoritmos e Programação. 2012. Universidade Federal do Vale do São Francisco.

Orientou

Raymundo Cesar Bezerra Saraiva

TeCeCê, Uma Solução Distribuída para Edição, Colaboração e Publicação de Monografias; 2017; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Vale do São Francisco; Orientador: Marcus Vinícius Midena Ramos;

Produções bibliográficas

RAMOS, Marcus Vinícius Midena . Formalization of Context-Free Language Theory (Thesis abstract). Bulletin Of Symbolic Logic , v. 25, p. 214-214, 2019.
Ramos, Marcus Vinícius Midena ; Almeida, José Carlos Bacelar ; Moreira, Nelma ; de Queiroz, Ruy J. G. B. . Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 344, p. 151-167, 2019.
Ramos, Marcus Vinícius Midena ; Almeida, José Carlos Bacelar ; Moreira, Nelma ; de Queiroz, Ruy J. G. B. . Formalization of the Pumping Lemma for Context-Free Languages. Journal of Formalized Reasoning , v. 9, p. 53-68, 2016.
RAMOS, Marcus Vinícius Midena . Ensino de linguagens formais e autômatos em cursos superiores de computação. ReCeT: Revista de Computação e Tecnologia da PUC-SP , v. 1, p. 22-34, 2009.
RAMOS, Marcus Vinícius Midena ; MARQUES, José Carlos ; BRETAS, Ney Diniz . Software tools for SDL systems. Annals Of The International Switching Symposium, Rio de Janeiro, v. 1, p. 0333-0337, 1990.
RAMOS, Marcus Vinícius Midena . Considerações sobre o projeto de um compilador para uma linguagem de alto-nível. Anais da Escola Politécnica da Usp, São Paulo, v. 1, p. 697, 1988.
RAMOS, Marcus Vinícius Midena . Uma linguagem de alto-nível baseada na SDL. Anais do XVII Congresso Nacional de Informática, Rio de Janeiro, v. 2, p. 13.6, 1984.
Ramos, Marcus Vinícius Midena ; JOSE NETO, J. ; VEGA, Ítalo Santiago . Linguagens Formais - Teoria e Conceitos. 1. ed. São Paulo: Blucher, 2023. v. 1. 608p .
RAMOS, Marcus Vinícius Midena . Linguagens Formais - Exercícios e Soluções. 202. ed. São Paulo: Novatec, 2021. v. 1. 336p .
RAMOS, Marcus Vinícius Midena ; JOSE NETO, J. ; VEGA, Ítalo Santiago . Linguagens Formais - Teoria, Modelagem e Implementação. 1. ed. Porto Alegre: Bookman Editora, 2009. v. 1. 656p .
Ramos, Marcus Vinícius Midena ; de Queiroz, Ruy J. G. B. ; Moreira, Nelma ; Almeida, José Carlos Bacelar . On the Formalization of Some Results of Context-Free Language Theory. In: Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz. (Org.). Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2016, v. 9803, p. 338-357.
RAMOS, Marcus Vinícius Midena . Introdução ao Assistente de Provas Coq. 2020. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Provadores de Teoremas e suas Aplicações. 2019. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Introdução ao Assistente de Provas Coq. 2019. (Apresentação de Trabalho/Simpósio).
RAMOS, Marcus Vinícius Midena . Provadores de Teoremas e suas Aplicações. 2018. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Some Applications of the Formalization of the Pumping Lemma for Context-Free Language. 2018. (Apresentação de Trabalho/Simpósio).
RAMOS, Marcus Vinícius Midena . On the Formalization of Some Results of Context-Free Language Theory. 2016. (Apresentação de Trabalho/Simpósio).
RAMOS, Marcus Vinícius Midena ; QUEIROZ, R. . Formalization of simplification for context-free grammars. 2015. (Apresentação de Trabalho/Simpósio).
RAMOS, Marcus Vinícius Midena . Formalization of context-free language theory. 2015. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena ; QUEIROZ, R. . Formalization of closure properties for context-free grammars. 2014. (Apresentação de Trabalho/Simpósio).
RAMOS, Marcus Vinícius Midena . Mesa redonda - Formando o professor. 2010. (Apresentação de Trabalho/Outra).
RAMOS, Marcus Vinícius Midena . Engenharia de Computação. 2010. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Introdução à Fotografia Digital. 2010. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Mesa redonda - COBENGE. 2009. (Apresentação de Trabalho/Outra).
RAMOS, Marcus Vinícius Midena . Engenharia de Computação. 2009. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Engenharia de Computação. 2009. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Lançamento do livro "Linguagens Formais". 2009. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Lançamento do livro "Linguagens Formais". 2009. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Mesa redonda - Certificação e graduação. 2008. (Apresentação de Trabalho/Outra).
RAMOS, Marcus Vinícius Midena . Engenharia de Computação. 2008. (Apresentação de Trabalho/Conferência ou palestra).
RAMOS, Marcus Vinícius Midena . Engenharia de Computação. 2008. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

RAMOS, Marcus Vinícius Midena . Prêmio Jabuti. 2010. (Programa de rádio ou TV/Entrevista).

RAMOS, Marcus Vinícius Midena . Exposição Soils & Art. 2010. (Programa de rádio ou TV/Entrevista).

RAMOS, Marcus Vinícius Midena . Antes, Durante e Depois. 2022. (Curso de curta duração ministrado/Outra).

RAMOS, Marcus Vinícius Midena . Fotografia voltada para a pesquisa com o uso de celulares. 2019. (Curso de curta duração ministrado/Outra).

RAMOS, Marcus Vinícius Midena . Introdução ao Cálculo Lambda. 2019. (Curso de curta duração ministrado/Especialização).

RAMOS, Marcus Vinícius Midena . Introdução ao sistema LaTeX. 2010. (Curso de curta duração ministrado/Especialização).

RAMOS, Marcus Vinícius Midena . Fotografia de espetáculos. 2010. (Curso de curta duração ministrado/Outra).

RAMOS, Marcus Vinícius Midena . Oficina de fotografia. 2010. (Curso de curta duração ministrado/Outra).

RAMOS, Marcus Vinícius Midena . Introdução ao sistema LaTeX. 2009. (Curso de curta duração ministrado/Extensão).

RAMOS, Marcus Vinícius Midena . Introdução ao sistema LaTeX. 2009. (Curso de curta duração ministrado/Especialização).

RAMOS, Marcus Vinícius Midena . Introdução ao sistema LaTeX. 2008. (Curso de curta duração ministrado/Especialização).

RAMOS, Marcus Vinícius Midena . Concurso de Quadrilhas de São João. 2010. Fotografia.

RAMOS, Marcus Vinícius Midena . Soils & Art. 2010. Fotografia.

RAMOS, Marcus Vinícius Midena . Caboclo. 2010. Fotografia.

RAMOS, Marcus Vinícius Midena . Admirável Mundo MTV Brasil. 2005. Fotografia.

RAMOS, Marcus Vinícius Midena . Povos de São Paulo. 2004. Fotografia.

RAMOS, Marcus Vinícius Midena . São Paulo é um Espetáculo. 2004. Fotografia.

RAMOS, Marcus Vinícius Midena . SP - Um caso de amor, 450 pontos de vista. 2004. Fotografia.

RAMOS, Marcus Vinícius Midena . Festa do Divino em São Luís do Paraitinga. 2004. Fotografia.

RAMOS, Marcus Vinícius Midena . Várias. 2003. Fotografia.

RAMOS, Marcus Vinícius Midena . Galeria do Rock. 2001. Fotografia.

Prêmios

2023

Paraninfo, Curso de Engenharia de Computação da UNIVASF.

2019

Paraninfo, Curso de Engenharia de Computação da UNIVASF.

2015

Paraninfo, Curso de Engenharia de Computação da UNIVASF.

2012

Professor homenageado, Curso de Engenharia de Computação da UNVASF.

2010

Prêmio Jabuti - 2º lugar na categoria Ciências Exatas, Tecnologia e Informática, Câmara Brasileira do Livro.

2010

Prêmio Jabuti - Voto Popular Não-Ficção, Câmara Brasileira do Livro.

Histórico profissional

Endereço profissional

Universidade Federal do Vale do São Francisco. , Av. Antônio Carlos Magalhães 510, Santo Antônio, 48902300 - Juazeiro, BA - Brasil, Telefone: (74) 21027636, URL da Homepage:

Experiência profissional

2008 - Atual

Universidade Federal do Vale do São Francisco

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

Atividades

04/2008
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Informática aplicada à zootecnia, Teoria da computação, Compiladores, Introdução à programação, Algoritmos e programação, Linguagens formais e autômatos, Programação para computação
01/2009 - 08/2010
Direção e administração, Pró-Reitoria de Ensino.Cargo ou função, Coordenador das Atividades de Monitoria e Tutoria.

2000 - 2006

Pontifícia Universidade Católica de São Paulo

Vínculo: Celetista, Enquadramento Funcional: Professor assistente mestre

Atividades

02/2000 - 02/2006
Ensino, Bacharelado Em Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 2000 - Compiladores, 2000 - Estrutura de Linguagens (para o curso de Engenharia Elétrica), 2001 - Compiladores, 2001 - Laboratório de Linguagens de Programação (3 turmas), 2002 - Compiladores, 2002 - Laboratório de Linguagens de Programação (3 turmas), 2003 - Compiladores, 2003 - Laboratório de Linguagens de Programação (3 turmas), 2004 - Compiladores (2 turmas), 2004 - Laboratório de Linguagens de Programação (2 turmas)

2001 - 2003

Serviço Nacional de Aprendizagem Comercial

Vínculo: Celetista, Enquadramento Funcional:

Atividades

02/2002 - 12/2003
Direção e administração, Faculdade de Ciências Exatas e Tecnologia.Cargo ou função, Diretor adjunto.
02/2002 - 12/2003
Ensino, Bacharelado Em Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 2002 - Semestre 1 - Compiladores (2 turmas), 2002 - Semestre 2 - Compiladores, 2003 - Semestre 1 - Compiladores, 2003 - Semestre 2 - Compiladores

2005 - 2007

Faculdades Associadas de São Paulo

Vínculo: Horista, Enquadramento Funcional: Professor

Outras informações:
Disciplinas ministradas: (i) Linguagens Formais e Autômatos (ii) Compiladores.

2000 - 2003

Faculdade SUMARÉ

Vínculo: Outro, Enquadramento Funcional: , Carga horária: 0

Atividades

02/2000 - 07/2003
Ensino, Bacharelado Em Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, 2000 - Semestre 1 - Informática Básica I (para o curso de Ciências Contábeis)., 2000 - Semestre 1 - Projeto Integrado I., 2000 - Semestre 2 - Projeto Integrado II., 2001 - Semestre 1 - Máquinas e Algoritmos., 2001 - Semestre 2 - Tecnologia e Sociedade., 2002 - Semestre 1 - Compiladores., 2002 - Semestre 1 - Linguagens Formais e Autômatos., 2003 - Semestre 1 - Linguagens Formais e Autômatos.

2007 - 2008

Centro Universitário Maurício de Nassau - Recife

Vínculo: Celetista formal, Enquadramento Funcional: Coordenador de cursos, Regime: Dedicação exclusiva.

1992 - 1995

Universidade de São Paulo

Vínculo: Servidor Público, Enquadramento Funcional: Professor assistente MS2 (RTC)

Atividades

01/1993 - 01/1994
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Linguagens Formais e Autômatos, Compiladores
01/1992 - 01/1993
Ensino, Engenharia Naval, Nível: GraduaçãoDisciplinas ministradas, Laboratório de microprocessadores

2000 - 2001

Fundação de Amparo à Pesquisa do Estado de São Paulo

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

Atividades

10/2000 - 05/2001
Serviços técnicos especializados , Fundação de Amparo à Pesquisa do Estado de São Paulo.Serviço realizado, Desenvolvimento de um sistema para avaliação de desempenho de uma rede IP.

1998 - 1999

Mappin Lojas de Departamentos S A

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

Atividades

11/1998 - 04/1999
Direção e administração, Mappin Lojas de Departamentos S A.Cargo ou função, Diretor de informática.
08/1998 - 04/1999
Direção e administração, Mappin Lojas de Departamentos S A.Cargo ou função, Diretor de recursos humanos.
01/1998 - 04/1999
Direção e administração, Mappin Lojas de Departamentos S A.Cargo ou função, Diretor de franquias.

1991 - 1998

Matel Tecnologia de Teleinformática S A

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

Atividades

01/1991 - 01/1998
Direção e administração, Matel Tecnologia de Teleinformática S A.Cargo ou função, Gerente de marketing de produtos.

1983 - 1993

Ericsson Telecomunicações S A

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

1982 - 1983

Ericsson Telecomunicações S A

Vínculo: Outro, Enquadramento Funcional: Estagiário, Carga horária: 0

Atividades

01/1986 - 01/1991
Direção e administração, Ericsson Telecomunicações S A.Cargo ou função, Gerente de desenvolvimento de software.
01/1983 - 01/1986
Serviços técnicos especializados , Ericsson Telecomunicações S A.Serviço realizado, Desenvolvimento de software para centrais telefônicas digitais.
01/1982 - 01/1983
Estágios , Ericsson Telecomunicações S A.Estágio realizado, Desenvolvimento de software.