Marcus Vinícius Midena Ramos
Professor Assistente
Engenharia de Computação
UNIVASF - Universidade Federal do Vale do São Francisco
Contato | Lattes | Áreas | Disciplinas | Publicações | Palestras | Entrevistas | Administração
CONTATO
ÁREAS DE INTERESSE
- Atuação profissional:
- Compiladores;
- Adaptatividade;
- Teoria da computação;
- Linguagens de programação;
- Linguagens formais e autômatos;
- Pesquisa:
- Lógica;
- Cálculo lambda;
- Teoria dos tipos;
- Lógica combinatória;
- Teoria das categorias;
- Teoria das homotopias.
DISCIPLINAS (por nome)
- Algoritmos e Programação:
- Compiladores
- Informática Aplicada à Zootecnia:
- Introdução à Programação:
- Linguagens Formais e Autômatos:
- Programação para Computação:
- Teoria da Computação:
DISCIPLINAS (por período)
- 2008.1:
- 2008.2:
- 2009.1:
- 2009.2
- 2010.1
- 2010.2
- 2011.1
- 2011.2
- 2012.1
PUBLICAÇÕES
- Livros:
- Artigos:
- 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, PDF do artigo)
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.
- 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.
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 Introdução ao LaTeX, 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
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.
HOMENAGENS
- 2012-02-03-28, Professor homenageado da turma de formandos do curso de Engenharia de Computação da UNIVASF.
ENTREVISTAS
- 2010-09-14 Programa De Andada, TV Pernambuco (Recife, PE), sobre a exposição de fotografias do Cordel Fotográfico no Festival Raiz e Remix em Petrolina - PE.
- 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.
- 2010-11-18 Jornal da Manhã. TV São Francisco (Juazeiro - BA), sobre a 3ª Jornada Fotográfica do Vale do São Francisco.
- 2010-11-20 Jornal da Noite. TV Grande Rio (Petrolina - PE), sobre a 3ª Jornada Fotográfica do Vale do São Francisco.
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 (a partir de maio de 2012).
COMITÊS, CONSELHOS E COMISSÕES
- 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 Organização do II SCIENTEX - Semana de Ensino, Pesquisa e Extensão da UNIVASF, em 2009.
- Comitê de Avaliação do Colegiado (CAC) de Engenharia de Computação (Portaria 04/2010-CECOMP, desde 05/2010).
- Núcleo Docente Estruturante (NDE) do Colegiado de Engenharia de Computação (desde 06/2010).
- Comissão de Elaboração do catálogo alusivo aos 7 anos da UNIVASF (Portaria Nº 397 de 30/05/2011).
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 (desde 2009);
- Membro colaboradordno projeto "Grandes Sertões", coordenado pelo Professor Afonso Henrique Novaes Menezes do colegiado de Psicologia (desde 2010);
- Coordenador do projeto "REVASF - Revista de Educação do Vale do São Francisco", desde 04/2012.
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.
- WTA 2010 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
- WTA 2011 (Workshop de Tecnologia Adaptativa), Membro da Comissão de Programa.
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).
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)
VEJA TAMBÉM
