Prof. Marcus Ramos

Marcus Vinicius Midena Ramos

Professor Associado II
Engenheiro Eletricista (USP 1982)
Mestre em Sistemas Digitais (USP 1991)
Doutor em Ciência da Computação (UFPE 2016)
UNIVASF - Universidade Federal do Vale do São Francisco

Contato | Lattes | Áreas | Disciplinas | Publicações | Palestras | Entrevistas | Administração

CONTATO

marcus.ramos (at) univasf.edu.br
www.univasf.edu.br/~marcus.ramos (esta página)
Colegiado do Curso de Engenharia de Computação
Avenida Antonio Carlos Magalhães, 510 – Santo Antônio
Juazeiro - BA
48.902-300
Tel: (74) 2102.7636
Fax: (74) 2102.7635

ÁREAS

Atuação profissional:
- Compiladores.
- Adaptatividade.
- Teoria da computação.
- Linguagens e programação.
- Linguagens formais e autômatos.
Interesses:

Cálculo lambda.
Lógica clássica/intuicionística.
Teoria da prova.
Teoria dos tipos.
Assistentes de provas.
Formalização matemática.
Prova interativa de teoremas.
Desenvolvimento de programas certificados.
Coq.
Formalização da teoria de linguagens.

DISCIPLINAS (por nome)

Algoritmos e Programação:
- 2008.1 | 2009.2 | 2018.2 | 2019.2 | 2021.2 | 2022.1 | 2023.1 | 2024.1
Compiladores
- 2009.2 | 2010.2 | 2011.2 | 2012.2 | 2016.2 | 2017.2 | 2018.2 | 2019.2 | 2021.2 | 2022.1 | 2023.1 | 2024.1
Informática Aplicada à Zootecnia:
- 2009.1
Introdução à Programação:
- 2010.2 | 2011.2 | 2012.2
Linguagens Formais e Autômatos:
- 2008.1 | 2010.1 | 2011.1 | 2012.1 | 2013.1 | 2016.1 | 2017.1 | 2017.2 | 2018.1 | 2019.1 | 2020.1 | 2020.3 | 2021.1 | 2021.3 | 2022.2 | 2023.2 | 2024.2
Programação para Computação:
- 2008.2
Teoria da Computação:
- 2010.1 | 2011.1 | 2012.1 | 2013.1 | 2016.1 | 2016.2 | 2017.1 | 2018.1 | 2019.1 | 2020.1 | 2020.3 | 2021.1 | 2021.3 | 2022.2 | 2023.2 | 2024.2

DISCIPLINAS (por período)

2008.1:
- Linguagens Formais e Autômatos | Algoritmos e Programação
2008.2:
- Programação para Computação
2009.1:
- Informática Aplicada à Zootecnia
2009.2
- Compiladores | Algoritmos e Programação
2010.1
- Linguagens Formais e Autômatos | Teoria da Computação
2010.2
- Compiladores | Introdução à Programação
2011.1
- Linguagens Formais e Autômatos | Teoria da Computação
2011.2
- Compiladores | Introdução à Programação
2012.1
- Linguagens Formais e Autômatos | Teoria da Computação
2012.2
- Compiladores | Introdução à Programação
2013.1
- Linguagens Formais e Autômatos | Teoria da Computação
2013.2
- Afastado para doutoramento
2014.1
- Afastado para doutoramento
2014.2
- Afastado para doutoramento
2015.1
- Afastado para doutoramento
2015.2
- Afastado para doutoramento
2016.1
- Linguagens Formais e Autômatos | Teoria da Computação
2016.2
- Compiladores | Teoria da Computação
2017.1
- Linguagens Formais e Autômatos | Teoria da Computação
2017.2
- Linguagens Formais e Autômatos | Compiladores
2018.1
- Linguagens Formais e Autômatos | Teoria da Computação
2018.2
- Compiladores | Algoritmos e Programação
2019.1
- Linguagens Formais e Autômatos | Teoria da Computação
2019.2
- Compiladores | Algoritmos e Programação
2020.1
- Linguagens Formais e Autômatos | Teoria da Computação
2020.3
- Linguagens Formais e Autômatos | Teoria da Computação
2021.1
- Linguagens Formais e Autômatos | Teoria da Computação
2021.2
- Compiladores | Algoritmos e Programação
2021.3
- Linguagens Formais e Autômatos | Teoria da Computação
2022.1
- Compiladores | Algoritmos e Programação
2022.2
- Linguagens Formais e Autômatos | Teoria da Computação
2023.1
- Compiladores | Algoritmos e Programação
2023.2
- Linguagens Formais e Autômatos | Teoria da Computação
2024.1
- Compiladores | Algoritmos e Programação
2024.2
- Linguagens Formais e Autômatos | Teoria da Computação

GRUPOS DE ESTUDOS

Provadores de Teoremas e suas Aplicações

PUBLICAÇÕES

Livros:
- Linguagens Formais: Teoria e Conceitos
  Em co-autoria com os Profs. João José Neto e Ítalo Santiago Vega
  Editora Blucher, 2023, ISBN 9786555067163, 608 páginas
- Linguagens Formais - Exercícios e Soluções
  Marcus Vinicius Midena Ramos
  Novatec Editora, 2021, ISBN 978-65-86057-59-1, 336 páginas
- Linguagens Formais: Teoria, Modelagem e Implementação
  Em co-autoria com os Profs. João José Neto e Ítalo Santiago Vega
  Editora Bookman, 2009, ISBN 978-85-7780-453-5, 656 páginas (fora de catálogo)
Thesis abstract:
- Formalization of Context-Free Language Theory
  Bulletin of Symbolic Logic, Volume 25, Issue 2, June 2019, page 214
  Cambridge University Press.
Tese de doutorado:
- Formalization of Context-Free Language Theory
  Orientador: Prof. Dr. Ruy José Guerra Barretto de Queiroz
  Centro de Informática, UFPE, 2016.
Dissertação de mestrado:
- LIA - Uma Linguagem Orientada à Implementação de Especificações SDL
  Orientador: Prof. Dr. João José Neto
  Escola Politécnica da USP, 1991.
Artigos:
- Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
  LSFA'18
- Formalization of the Pumping Lemma for Context-Free Languages
  JFR (2016)
- On the Formalization of Some Results of Context-Free Language Theory
  WoLLIC'16
- Formalization of simplification for context-free grammars
  LSFA'15
- Formalization of closure properties for context-free grammars
  LSFA'14
- Ensino de linguagens formais e autômatos em cursos superiores de computação
  ReCeT - Revista de Computação e Tecnologia da PUC-SP (site da revista), Vol. 1, Nº1, 2009
- Software tools for SDL systems
  International Telecommunications Symposium, 1990, Rio de Janeiro.

Considerações sobre o projeto de um compilador para uma linguagem de programação de alto-nível
1988, Anais EPUSP - vol. 1 - série B.
Uma linguagem de alto-nível baseada na SDL
XVII Congresso Nacional de Informática, 1984, Rio de Janeiro.

PALESTRAS E MINI-CURSOS

2008-04-25 II Encontro de Software Livre de Pernambuco (Recife-PE), Introdução ao sistema LaTeX
2008-05-25 Colégio GEO (Petrolina-PE), Engenharia da Computação
2008-07-28 XXVI Encontro Nacional dos Estudantes de Computação (Campina Grande-PB), Introdução ao sistema LaTeX
2008-08-13 e 14 II Feira das Profissões da UNIVASF (Petrolina-PE), Engenharia de Computação
2008-09-08 a 11 I Semana Científica, Tecnológica e Cultural da UNIVASF (Juazeiro-BA), Introdução ao sistema LaTeX
2009-01-24 Curso de extensão para alunos de pós-graduação do IBPEX (Juazeiro-BA), Introdução ao sistema LaTeX
2009-04-27 Lançamento do livro "Linguagens Formais" na Livraria Cultura de São Paulo (público variado)
2009-04-30 Lançamento do livro "Linguagens Formais" na PUC de São Paulo (público especializado)
2009-05-14 Colégio GEO (Petrolina - PE), Engenharia de Computação
2009-05-30 Colégio N. S. Auxiliadora (Petrolina - PE), Engenharia de Computação
2009-10-21 e 22 II Semana de Ensino, Pesquisa e Extensão da UNIVASF (Juazeiro-BA), Introdução ao sistema LaTeX
2010-06-08 a 11 Semana Universitária de Artes da UNIVASF (Juazeiro-BA), Oficina de Fotografia
2010-06-17 Colégio GEO (Petrolina - PE), Engenharia de Computação
2010-08-09 Festival Aldeia do Velho Chico SESC (Petrolina - PE), Oficina de Fotografia de Espetáculos
2010-10-19 e 20 III Semana de Ensino, Pesquisa e Extensão da UNIVASF (Juazeiro-BA), Introdução ao sistema LaTeX
2010-10-21 III Semana de Ensino, Pesquisa e Extensão da UNIVASF (Juazeiro-BA), Introdução à fotografia digital
2010-11-18 IV Feira das Profissões da UNIVASF (Juazeiro-BA), Engenharia de Computação
2011-10-18 IV Semana de Ensino, Pesquisa e Extensão da UNIVASF (Juazeiro-BA), Introdução à fotografia digital
2011-10-18 IV Semana de Ensino, Pesquisa e Extensão da UNIVASF (Juazeiro-BA), Introdução ao sistema LaTeX
2011-11-18 II Encontro de Comunicação do Vale do São Francisco - Ecovale na UNEB (Juazeiro-BA), Jornadas Fotográficas do Vale do São Francisco
2012-05-23 e 24 Semana Acadêmica de História da UPE (Universidade de Pernambuco, em Petrolina-PE), História da Fotografia
2012-11-06 Viva Servidor (Comemoração do Dia do Servidor Público, UNIVASF, Juazeiro-BA), Descobrindo a Fotografia
2012-11-22 a 24 V Semana de Ensino, Pesquisa e Extensão (SCIENTEX) da UNIVASF (Juazeiro-BA), Fluxo de Trabalho com Lightroom 4
2012-11-22 a 24 V Semana de Ensino, Pesquisa e Extensão (SCIENTEX) da UNIVASF (Juazeiro-BA), História da Fotografia
2012-12-04 Palestra para alunos da disciplina de artes do ensino médio do IF-Sertão (Petrolina-PE), Descobrindo a Fotografia
2012-12-05 a 06 II Escola Regional de Informática (Petrolina-PE), Introdução ao sistema LaTeX
2012-12-11 Recepção aos calouros da UNIVASF (Juazeiro-BA), Engenharia de Computação
2013-04-11 Colégio GEO (Petrolina - PE), Engenharia de Computação
2013-05-28 Colégio Dom Bosco (Petrolina - PE), Engenharia de Computação
2014-02-06 a 07 WTA'14/EPUSP (São Paulo, SP) Mechanized program verification and interactive development
2014-09-09 LSFA'14/UnB (Brasília, DF) Formalization of closure properties for context-free grammars
2015-07-10 DCC/FC/UP (Porto, Portugal) Formalization of context-free language theory
2015-09-01 LSFA'15/UFRN (Natal, RN) Formalization of simplification for context-free grammars
2016-08-18 WoLLIC'16/BUAP (Puebla, México) On the Formalization of Some Results of Context-Free Language Theory
2018-09-26 LSFA'18/UFC (Fortaleza, CE) Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
2018-11-27 XI Semana de Ensino, Pesquisa e Extensão (SCIENTEX) da UNIVASF (Juazeiro-BA), Provadores de Teoremas e suas Aplicações
2019-04-16 PUC/GEMS 348 (São Paulo-SP), Provadores de Teoremas e suas Aplicações
2019-09-10 a 13 e 20 UNIVASF (Juazeiro, BA), Introdução ao Cálculo Lambda
2019-10-07 22º CBFPO e 9º CBCTP, UNIVASF (Juazeiro, BA), Fotografia voltada para a pesquisa com o uso de celulares
2019-11-112 a 13 I ERMAC (Juazeiro, BA), Introdução ao Assistente de Provas Coq
2020-10-21 PUC/ECET (São Paulo-SP), Introdução ao Assistente de Provas Coq
2022-09-02 a 04 IF-Salgueiro (Salgueiro, PE), Antes, Durante e Depois

ORIENTAÇÕES DE TRABALHO DE CONCLUSÃO DE CURSO

2017-05-02, Raymundo César Bezerra Saraiva, Curso de Engenharia de Computação, UNIVASF - TeCeCê, Uma Solução Distribuída para Edição, Colaboração e Publicação de Monografias.

BANCAS DE TRABALHO DE CONCLUSÃO DE CURSO

2012-03-28, Ilana Copque, Curso de Comunicação Social, UNEB - A Linha, Memórias de Juazeiro e a Estrada de Ferro.
2019-08-16, Weverton Bruno de Souza Santos, Curso de Engenharia de Computação, UNIVASF - Análise de Métricas de Avaliação de Desempenho em Modelos de Mineração de Dados, TCC I.
2019-08-16, Ruan de Medeiros Bahia, Curso de Engenharia de Computação, UNIVASF - Avaliação de Desempenho da Criação de Atributos Oriundos de Recuperação de Informação para Tarefas de Mineração de Textos: Função de Ranqueamento BM25 Utilizada no Treinamento, TCC I.
2019-08-28, Samuel Amorim Vieira, Curso de Engenharia de Computação, UNIVASF - Teste dos Descritores Brisk e Kaze no Desempenho do FAB-MAP, TCC I.
2020-01-31, Weverton Bruno de Souza Santos, Curso de Engenharia de Computação, UNIVASF - Análise de Métricas de Avaliação de Desempenho em Modelos de Mineração de Dados, TCC II.
2020-01-31, Ruan de Medeiros Bahia, Curso de Engenharia de Computação, UNIVASF - Estudo Investigativo sobre o Desempenho de Atributos de Recuperação de Informação em Tarefas de Mineração de Textos, TCC II.
2022-09-05, Henrique Alves de França, Curso de Engenharia de Computação, UNIVASF - Desenvolvimento de um Aplicativo para Comunicação Interprofissional na Atenção Primária à Saúde, TCC I.
2023-12-19, Marcos Filipe Carvalho Costa, Curso de Engenharia de Computação, UNIVASF - Investigando o desempenho do Random Forest em pequenas amostras, TCC I.
2024-06-20, Marcos Filipe Carvalho Costa, Curso de Engenharia de Computação, UNIVASF - Investigando o desempenho do Random Forest em pequenas amostras, TCC II.

BANCAS DE CONCURSO DOCENTE

2012-11-12 e 13, Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº 41/2012 UNIVASF) - Algoritmos e Programação.
2013-01-15, Comissão Examinadora do Concurso Público do Magistério Superior, Centro de Ciências Exatas e Tecnológicas, UFRB, Campus Cruz das Almas (BA) (Edital nº 02/2012) - Membro titular e Presidente - Teoria da Computação, Linguagens Formais e Autômatos.
2013-03-21 e 22, Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº 10/2013 UNIVASF) - Algoritmos e Programação.
2018-12-07 e 08, Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº 24/2018 UNIVASF) - Sistemas Distribuídos e Sistemas Operacionais.
2019-04-26 e 27, Processo Seletivo Simplificado para Contratação de Professor Substituto (Edital nº 04/2019 UNIVASF) - Sistemas Distribuídos e Sistemas Operacionais.
2019-06-07 a 09, Concurso Público para Professor de Magistério Superior (Edital nº 07/2019 UNIVASF) - Computação Teórica.

BANCAS DE MESTRADO E DOUTORADO

2016-09-12, (mestrado) Arturo Ernesto Machado Ortega, Programa de Pós-Graduação em Modelagem Computacional em Ciência e Tecnologia, UESC - Linguagens Formais para Geração, Reconhecimento e Diferenciação de 6 Famílias de Seqüências ALU.
2022-02-18, (doutorado) Djalma Padovani, Programa de Pós-Graduação em Engenharia de Computação da Engenharia Elétrica da Escola Politécnica, USP - Um método adaptativo para análise sintática do Português Brasileiro.
2023-01-31, (doutorado) Rosalia Edith Caya Carhuanina, Programa de Pós-Graduação em Engenharia de Computação da Engenharia Elétrica da Escola Politécnica, USP - Adaptatividade - Visão holística e ferramenta de projeto.

AULAS MINISTRADAS EM OUTROS CURSOS DA UNIVASF

2012-10-25 a 11-08, Curso de Licenciatura em Artes Visuais (Fluxo de Trabalho com Lightrom 4, 10 horas);
2013-02-25 a 03-02, Curso de Psicologia (História da Fotografia, 8 horas)
2020-02 a 08, Curso de Licenciatura em Ciência da Computação (Linguagens Formais e Autômatos, 60 horas, UAB/EAD)

HOMENAGENS

2012-02-03, Professor homenageado da turma de formandos do curso de Engenharia de Computação da UNIVASF.
2015-09-04, Paraninfo da turma de formandos do curso de Engenharia de Computação da UNIVASF.
2019-09-19, Paraninfo da turma de formandos do curso de Engenharia de Computação da UNIVASF.
2023-04-06, Paraninfo da turma de formandos do curso de Engenharia de Computação da UNIVASF.

CITAÇÕES

ENTREVISTAS

2010-09-17 Programa Multicultura, Rádio Tropicalsat FM (Juazeiro - BA), sobre o 52º Prêmio Jabuti.
2010-10-15 Programa Multicultura, Rádio Tropicalsat FM (Juazeiro - BA), sobre a exposição Soils & Art e o 52º Prêmio Jabuti.
2010-10-27 Jornal do Meio-Dia, TV Grande Rio (Petrolina - PE), sobre o 52º Prêmio Jabuti.
2010-10-27 Jornal do Meio-Dia, TV Grande Rio (Petrolina - PE), sobre a exposição Soils & Art.

ADMINISTRAÇÃO

Coordenador das Atividades de Monitoria e Tutoria da Pró-Reitoria de Ensino (janeiro de 2009 a julho de 2010), sendo responsável, entre outras, pelas seguintes áreas:

Monitoria;
Tutoria de nivelamento;
Projetos PET;
Mobilidade estudantil.

Subcoordenador do Colegiado de Engenharia de Computação (maio de 2012 a julho de 2013).
Vice-coordenador do Colegiado de Engenharia de Computação (novembro de 2023 a outubro de 2025).

COMITÊS, CONSELHOS, COMISSÕES E BANCAS

Comissão Gestora de Avaliação e Concurso Docente (Edital 53/2008).
Comissão Gestora de Avaliação e Concurso Docente (Edital 59/2008).
Comissão Gestora de Avaliação e Concurso Docente (Edital 60/2008).
Comissão Gestora de Avaliação e Concurso Docente (Edital 04/2009, presidente).
Conselho Editorial da Revista de Educação do Vale do São Francisco (REVASF, membro desde 03/2009, presidente de 11/2010 até 04/2012).
Comissão de Elaboração de Normas de Utilização dos Laboratórios (presidente).
Comissão de Elaboração de Normas para Concurso Público Docente.
Comissão de Elaboração do Plano de Desenvolvimento Institucional (PDI).
Comissão de Elaboração do Projeto Pedagógico do Curso (PPC) de Engenharia da Computação (2008-2010, presidente).
Comissão de Elaboração do catálogo alusivo aos 7 anos da UNIVASF (Portaria Nº 397 de 30/05/2011).
Núcleo Docente Estruturante (NDE) do Colegiado de Engenharia de Computação (06/2010 até 06/2013).
Núcleo Docente Estruturante (NDE) do Colegiado de Engenharia de Computação (de 07/2016 até 11/2017).
Comitê de Avaliação do Colegiado (CAC) de Engenharia de Computação (Portaria 04/2010-CECOMP, de 05/2010 até ?).
Comitê de Ensino do Colegiado de Engenharia de Computação (Membro, desde 05/2016).
Comissão Própria de Avaliação do Colegiado (CPAC) de Engenharia de Computação (Presidente, desde 11/2017).
Comissão para Revisão do Regimento do TCC do Curso de Engenhara de Computação (Membro, de 04/11/2022 a 30/11/2022).
Núcleo Docente Estruturante (NDE) do Colegiado de Engenharia de Computação (de 11/2023 até 10/2025).
Banca Examinadora da CCPD (Membro, de 06/06/2024 até 20/06/2024).

PROJETOS DE EXTENSÃO

Membro colaborador do projeto de extensão 'Arts on Soils' coordenado pela Professora Carmem Masutti do colegiado de Engenharia Agrícola e Ambiental (de 2009 até ?);
Membro colaborador do projeto 'Grandes Sertões' coordenado pelo Professor Afonso Henrique Novaes Menezes do colegiado de Psicologia (de 2010 até ?);
Editor-chefe da 'REVASF - Revista de Educação do Vale do São Francisco' de 04/2012 até ?
Avaliador de projetos de extensão do edital PIpBEX 060/2018 do IF Sertão em Petrolina (março de 2019);

EVENTOS

WTA 2008 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
WTA 2009 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
Comissão organizadora do II SCIENTEX - Semana de Ensino, Pesquisa e Extensão da UNIVASF, em 2009.
WTA 2010 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
WTA 2011 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
Comissão organizadora da II Escola Regional de Informática de Pernambuco (FACAPE/UNIVASF/IF-Sertão), 5 e 6 de dezembro de 2012.
WTA 2013 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
WTA 2014 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
WTA 2017 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
WTA 2018 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
WTA 2019 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
WAT 2018 (Workshop on Adaptive Technology), Membro da Comissão de Programa.
CLEI/SLTC 2018, Membro da Comissão de Programa.
CLEI/SLTC 2019, Membro da Comissão de Programa.
22º CBFPO e 9º CBCTP (2019), Membro da Comissão Sócio-Cultural.

OUTRAS ATIVIDADES

Desenvolvimento do CD da III Mostra de Integração (2008) da Pró-Reitoria de Integração.
Desenvolvimento e manutenção do sítio da Pró-Reitoria de Ensino (http://www.univasf.edu.br/~proen), de março de 2009 até julho de 2010.
Plano Nacional de Formação de Professores da Educação Básica (disciplina Informática).
Avaliação de obra como parecerista ad hoc da EDUTFPR (Editora da Universidade Tecnológica Federal do Paraná) - Janeiro de 2018.

PROFESSORES VISITANTES

2008-07-22 Prof. Dr. João José Neto - USP (link / slides)
2008-08-12 Prof. Dr. Fernando da Fonseca de Souza - UFPE (link / slides)
2008-08-29 Prof. Dr. Alex Sandro Gomes - UFPE (link / slides)
2013-03-21 Prof. Dr. Ruy de Queiroz - UFPE (link / slides)
2013-04-05 Prof. Dr. Ruy de Queiroz - UFPE (link / slides)

CONTATO

ÁREAS

DISCIPLINAS (por nome)

DISCIPLINAS (por período)

GRUPOS DE ESTUDOS

PUBLICAÇÕES

PALESTRAS E MINI-CURSOS

ORIENTAÇÕES DE TRABALHO DE CONCLUSÃO DE CURSO

BANCAS DE TRABALHO DE CONCLUSÃO DE CURSO

BANCAS DE CONCURSO DOCENTE

BANCAS DE MESTRADO E DOUTORADO

AULAS MINISTRADAS EM OUTROS CURSOS DA UNIVASF

HOMENAGENS

CITAÇÕES

ENTREVISTAS

ADMINISTRAÇÃO

COMITÊS, CONSELHOS, COMISSÕES E BANCAS

PROJETOS DE EXTENSÃO

EVENTOS

OUTRAS ATIVIDADES

PROFESSORES VISITANTES

VEJA TAMBÉM