Rede de Colaboração
Diretório de grupos de pesquisa

Marcelo Finger
Bolsista de Produtividade em Pesquisa do CNPq - Nível 1C

possui graduação em Engenharia Eletronica pela Universidade de São Paulo (1988) , mestrado em Foundations of Advanced Information Technology pela Imperial College of Science, Technology and Medicine (1990) e doutorado em PhD in Computing pela Imperial College of Science and Technology, University of London (1994) . Atualmente é Professor Titular da Universidade de São Paulo, Revisor de periódico da Journal of Logic and Computation, Revisor de periódico da Logic Journal of the IGPL, Revisor de periódico da Annals of Pure and Applied Logic, Revisor de periódico da Handbook of Philosophical Logic, Revisor de periódico da Information and Computation, Revisor de periódico da Journal of the Brazilian Computer Society, Revisor de periódico da Mathematical Reviews, Revisor de periódico da Synthese (Dordrecht), Revisor de periódico da Journal of Natural Language Engineering e Revisor de periódico da Studia Logica. Tem experiência na área de Ciência da Computação , com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas: Automatic Deduction, Bancos de Dados, Combinatorial Calculus, Combining Logic Systems, Temporal Logic e Linguistica Computacional.
(Texto gerado automaticamente pela aplicação CVLattes)

Última atualização do currículo em 19/01/2012
Endereço para acessar este CV:
http://lattes.cnpq.br/0620986273710878
Dados pessoais
NomeMarcelo Finger
Nome em citações bibliográficasFINGER, M.;Finger, Marcelo;FINGER, M
SexoMasculino
Endereço profissionalUniversidade de São Paulo, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
rua do matao, 1010
Butantan
05508-090 - Sao Paulo, SP - Brasil
Telefone: (011) 30916135
URL da Homepage: http://www.ime.usp.br/~mfinger

Formação acadêmica/Titulação
2001Livre-docência.
Universidade de São Paulo, USP, Brasil.
Título: Sistematização da Obra em Lógica, Banco de Dados e Lingüística Computacional, Ano de obtenção: 2001.
Grande área: Ciências Exatas e da Terra / Área: Ciência 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: Logica e Inteligencia Artificial.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
1990 - 1994Doutorado em PhD in Computing .
Imperial College of Science and Technology, University of London.
Título: Changing the past: applications of two-dimensional temporal logic to databases, Ano de Obtenção: 1994.
Orientador: Dov Gabbay.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Automatic Deduction; Bancos de Dados; Combinatorial Calculus; Combining Logic Systems; Temporal Logic; Linguistica Computacional.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de 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: Banco de Dados.
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.
Setores de atividade: Informática.
1989 - 1990Mestrado em Foundations of Advanced Information Technology .
Imperial College of Science, Technology and Medicine.
Título: Handling Database Updates in Two-dimensional Temporal Logics, Ano de Obtenção: 1990.
Orientador: Dov Gabbay.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Palavras-chave: Database; Inteligência Artificial; Temporal Database; Two-Dimensional Temporal Logic; Logic; Modal Logic.
Grande área: Ciências Exatas e da Terra / Área: Ciência 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: Logica e Inteligencia Artificial.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
1983 - 1988Graduação em Engenharia Eletronica .
Universidade de São Paulo, USP, Brasil.

Atuação profissional
Universidade de São Paulo, USP, Brasil.
Vínculo institucional
2010 - Atual Vínculo: Servidor Público, Enquadramento Funcional: Professor Titular, Carga horária: 40, Regime: Dedicação exclusiva.
Vínculo institucional
2001 - 2010 Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado (MS5), Regime: Dedicação exclusiva.
Vínculo institucional
1996 - 2001 Vínculo: Servidor Público, Enquadramento Funcional: Professor doutor (MS3), Regime: Dedicação exclusiva.
Vínculo institucional
1995 - 1996 Vínculo: Bolsista recém-doutor, Enquadramento Funcional: PROFESSOR Bolsista (Recem-doutor), Regime: Dedicação exclusiva.
Atividades
2010 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, .
Projetos de pesquisa
Convênio Internacional no âmbito do 7º Programa Quadro de P&D (FP7) da Comissão Européia: MaToMUVI - Ferramentas Matemáticas para a Gestão da Informação Incerta e Vaga
2008 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
LOGPROB: Lógica Probabilística --- Fundamentos e Aplicações Computacionais
Grupo de Iniciação científica em Lógica Computacional
2007 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
Revisão de Especificações Formais
04/2005 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
FAPESP Temático CONSREL Logical Consequence and Combinations of Logics, Fundaments and Efficient Applications. FAPESP 2004/14107-2 (R$218.820,00)
03/2005 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
CTInfo/MCT/CNPq InteGrade2 Project Infraestrutura para Grades Oportunistas. CNPq Proc. 55.0094/2005-9 (R$ 231.777,44)
03/2005 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, .
Projetos de pesquisa
FAPESP Temático, Padrões Rítmicos, Fixação de Parâmetros e Mudança Lingüística (Fase II). Fapesp 2005/58190-3.
01/2003 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
CNPq CTInfo PDI&TI - Projeto IMPAR Infra-estrutura de Middleware Para Aproveitamento de Recursos Ociosos em Sistemas Distribuídos (R$ 396.619,00
01/2003 - AtualAtividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
FAPESP Auxílio Pesquisa -- CCC-AHIA: Knowledge Sharing and Communication among Heterogeneous Autonomous Intelligent Agents. FAPESP 03/00312-0 (R$ 102.888,00)
09/2001 - AtualDireção e administração, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Coordenador do Exame POSCOMP.
04/2001 - AtualConselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Conselheiro do Departamento.
04/1996 - AtualPesquisa e desenvolvimento , Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Linhas de pesquisa
Linguistica Computacional
Logica computacional
Bancos de Dados
Inteligência Artificial aplicada a Grades de Computadores
04/1996 - AtualEnsino, Ciencia da Computacao, Nível: Pós-Graduação.
Disciplinas ministradas
Lógicas não-clássicas
Sistemas de Bancos de Dados
Laboratório de Inteligência Artificial
Controle de Concorrencia e Distribuicao de Dados
Inteligencia Artificial
Introducao aos Sistemas de Bancos de Dados
Linguistica Computacional
Tecnicas de Programacao Declarativa
2008 - 2010Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
InteGrade 3: Gerenciamento de Recursos, Tolerância a Falhas e Escalabilidade em Grades Computacionais Autônomas.
02/2002 - 08/2004Atividades de Participação em Projeto, Instituto de Ciências Matemáticas e de Computação, .
Projetos de pesquisa
CNPq (AI) Projeto Lácio Web --- Disponibilização de Corpora do Português e Ferramentas Web de Navegação e Auxílio para a Análise Linguística. CNPq (AI) Proc. 552176/01-0 (R$ 84.663,68)
03/1999 - 12/2003Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
FAPESP Temático --- Projeto Rhythmic Patterns, Parameter Setting and Language Change. Fapesp 1999/03382-0.
08/2000 - 07/2003Direção e administração, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Representante Departamental na Comissão de Pós-Graduação.
03/1999 - 07/2003Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Comissão de Admissão e Bolsas da Pós-Graduação.
01/2000 - 12/2001Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
CNPq (APQ) Provadores de Teoremas Livres de Estrutura e Revisão de Crenças. CNPq Proc. 468765/00-0 ( R$24.767,00).
03/1999 - 12/2001Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
CAPES e The British Council, Projeto DECaFf-KB: Distributed Distributed Environment for Cooperation among Formalisms for Knowledge Bases. Apoio: passagens, visitas, estadia.
01/1999 - 12/2001Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
FAPESP Temático - Projeto SIDAM Sistemas de Informação Distribuídos para Agentes Móveis (R$ 231.562,00 e US$ 30.753,00)
03/1997 - 12/1999Conselhos, Comissões e Consultoria, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Cargo ou função
Comissão de Curso de Graduação em Ciência da Computação.
03/1996 - 12/1999Atividades de Participação em Projeto, Instituto de Matemática e Estatística, Departamento de Ciência da Computação.
Projetos de pesquisa
EPSRC Project LDS-NL: Natural Language Parsing using Labelled Deductive Systems, em colaboração com Imperial College (Dept of Computing), London, e School of Oriental and African Studies (Dept. of Linguistics), London.
03/1989 - 07/1989Ensino, Nível: Graduação.
Disciplinas ministradas
PROF. DE LABORATORIAO DE ENGENHARIA DE SOFTWARE NO DEPTO DE ENG. // ELETRICA DA ESCOLA POLITECNICA DA USP.
School of Oriental and African Studies, SOAS, Inglaterra.
Vínculo institucional
1996 - 1999 Vínculo: Colaborador, Enquadramento Funcional: Consultor de projeto
Atividades
01/1996 - 06/1999Pesquisa e desenvolvimento .
Linhas de pesquisa
Linguistica Computacional
Imperial College of Science, Technology and Medicine, IC, Inglaterra.
Vínculo institucional
1994 - 1995 Vínculo: Pesquisador temporario, Enquadramento Funcional: PESQUISADOR Assistente
Atividades
01/1996 - 01/1999Pesquisa e desenvolvimento , Imperial College of Science and Technology, University of London, .
Linhas de pesquisa
LINGUISTICA COMPUTACIONAL, NA FUNCAO DE PESQUISADOR CONSULTOR. O PROJETO E' FINANCIADO PELO GOVERNO INGLES E INCLUI TAMBEM O DEPTO DE LINGUISTICA DA SCHOOL OF ORIENTAL AND AFRICAN STUDIES.
04/1994 - 07/1995Pesquisa e desenvolvimento , Imperial College of Science and Technology, University of London, .
Linhas de pesquisa
PESQUISADOR NA AREA DE LOGICA E INTELIGENCIA ARTIFICIAL

Linhas de Pesquisa
1. Linguistica Computacional
Objetivos: Construir ferramentas para a etiquetaçao morfologica e para a analise sintatica do Portugues. Ja' temos um prototipo rodando de um etiquetador do portugues rodando com 95% de precisao, e pretendemos aumentar ainda mais estes resultados para que a saida do etiquetador morfologico possa ser usada pelo analisador sintatico sem passar por uma revisao humana. Estas ferramentas estao sendo construidas em paralelo com a construcao do Corpus Tycho Brahe do Portugues historico, disponivel em http://www.ime.usp.br/~tycho .
2. Logica computacional
Objetivos: Pesquisa em Teoria da Prova, Raciocínio Automático, Provadores de Teoremas, Verificação de Modelos, Revisão de Crenças, Lógicas Probabilísticas, Lógicas Clássicas e Não-clássicas em geral. Aplicações à Inteligência Artificial, Linguística Computacional e Ciência da Computação..
Grande área: Ciências Exatas e da Terra / Área: Ciência 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: Logica e Inteligencia Artificial.
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.
Palavras-chave: Logic; Inteligência Artificial; Automatic Deduction; Theorem Proving; Approximate Reasoning; Lógica Probabilística.
3. Bancos de Dados
Objetivos: Estamos estudando a representaçao da perda de confianca em informacoes armazenadas no banco de dados. Tal fenomeno e' chamado de obsolescencia da informaçao. A obsolescencia e'um fenomeno implicitamente temporal. Estamos estudando como tecnicas de bancos de dados temporais podem ser utilizadas para este fim. Alem das tecnicas temporais, exploramos tambem as tecnicas algebricas e analiticas..
4. Inteligência Artificial aplicada a Grades de Computadores
Objetivos: Aplicações de Aprendizado Automático e técnicas de Inteligência Artificial a problemas de escalonamento de tarefas e gerência de recursos em grades computacionais..
Grande área: Ciências Exatas e da Terra / Área: Ciência 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: Logica e Inteligencia Artificial.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Grades de Computadores.
Palavras-chave: Aprendizado Automático; clustering; Controle de Concorrencia; Lógica Clássica; Inteligência Artificial; Grade de computadores.
5. LINGUISTICA COMPUTACIONAL, NA FUNCAO DE PESQUISADOR CONSULTOR. O PROJETO E' FINANCIADO PELO GOVERNO INGLES E INCLUI TAMBEM O DEPTO DE LINGUISTICA DA SCHOOL OF ORIENTAL AND AFRICAN STUDIES.
6. PESQUISADOR NA AREA DE LOGICA E INTELIGENCIA ARTIFICIAL
7. Linguistica Computacional

Projetos de Pesquisa
2010 - AtualConvênio Internacional no âmbito do 7º Programa Quadro de P&D (FP7) da Comissão Européia: MaToMUVI - Ferramentas Matemáticas para a Gestão da Informação Incerta e Vaga
Descrição: Título: Ferramentas Matemáticas para a Gestão da Informação Incerta e Vaga Sigla: MaToMUVI Proposta Número : 247584 Painel Científico: Matemática Duração do projeto: 36 meses Universidades brasileiras participantes UNIVERSITA DEGLI STUDI DI SALERNO, a Coordenadora UNIVERSITA DEGLI STUDI DI FIRENZE, UNIVERSITA DEGLI STUDI DI MILANO, UNIVERSITA DEGLI STUDI DELL{\textquotesingle}INSUBRIA, UNIVERSITA{\textquotesingle} DEGLI STUDI DI SIENA, AGENCIA ESTATAL CONSEJO SUPERIOR DE INVESTIGACIONES CIENTIFICAS, UNIVERSITAT DE BARCELONA, UNIVERSIDAD NACIONAL DEL CENTRO DE LA PROVINCIA DE BUENOS AIRES, CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS, UNIVERSIDAD DE BUENOS AIRES, UNIVERSIDADE DE SAO PAULO, UNIVERSIDADE ESTADUAL DE CAMPINAS, UNIVERSIDADE ESTADUAL PAULISTA, SCUOLA NORMALE SUPERIORE DI PISA. Em especial, as seguintes universidades brasileiras(em ordem alfabética): Universidade Estadual de Campinas UNICAMP Universidade Estadual Paulista UNESP Universidade de Sao Paulo USP Pesquisadores brasileiros participantes (em ordem alfabética): Walter Carnielli- UNICAMP <walter.carnielli@gmail.com> Marcelo Coniglio- UNICAMP <coniglio@cle.unicamp.br> Itala D'Ottaviano UNICAMP <itala@cle.unicamp.br> Hércules Feitosa UNESP <haf@fc.unesp.br> Marcelo Finger USP <mfinger@ime.usp.br> Resumo: Impulsionada pela crescente demanda em Matemática, Filosofia e Ciência da Computação, assistimos, nas últimas duas décadas, a um crescente interesse pelas lógicas não-clássicas, e em especial polivalentes . Vistas até a poucos anos quase como uma curiosidade matemática e filosófica, as novas lógicas passaram a se constituir em ferramentas essenciais em várias áreas, e uma quantidade respeitável de aplicativos para diversos campos depende de bases lógicas . Muitos resultados importantes passaram a elucidar conexões profundas entre algumas áreas e certos campos do Matemática, como estrutura.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) / Doutorado ( 2) .
Integrantes: Marcelo Finger - Coordenador.
Financiador(es): Comissão Européia - Cooperação..
2009 - AtualLOGPROB: Lógica Probabilística --- Fundamentos e Aplicações Computacionais
Descrição: Projeto Temático Fapesp de pesquisa em Logica e Probabilidade, sob o processo 2008/03995-5, aprovado com início em 02/2009. Coordenador: Marcelo Finger. No valor de R$324324.80 mais bolsas..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 4) / Mestrado acadêmico ( 4) / Doutorado ( 4) .
Integrantes: Renata Wassermann - Integrante / Leliane Nunes de Barros - Integrante / Fabio Gagliardi Cozman - Integrante / Paulo Eduardo Santos - Integrante / Anna Helena Reali Costa - Integrante / Jerônimo Cordoni Pellegrini - Integrante / Marcelo Finger - Coordenador.
Financiador(es): Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo - Auxílio financeiro..
2008 - 2010Revisão de Especificações Formais
Descrição: Projeto Universal MCT/CNPq 15/2007. Processo: 475036/2007-7, coordenado por Renata Wassermann. Integrantes: Marcelo Finger (IME-USP), Mario Roberto Folhadela Benevides (COPPE-UFRJ) e Renata Wassermann (IME-USP). Vigência: 01/2008 a 01/2010. Valor: R\$ 44.478,30. Descrição: Durante o processo de desenvolvimento de software, inconsistências nas especificações podem surgir por diversos fatores: falha na comunicação entre o cliente e o desenvolvedor, mudanças nas funcionalidades desejadas ou erro na modelagem dos requisitos. Quanto antes as inconsistências forem descobertas, mais facilmente podem ser resolvidas e com custo mais baixo. Este projeto propõe o uso de métodos desenvolvidos na área de revisão de crenças para modificar especificações formais eliminando inconsistências..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Renata Wassermann - Integrante / Mário Benevides - Integrante / Marcelo Finger - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2008 - 2010InteGrade 3: Gerenciamento de Recursos, Tolerância a Falhas e Escalabilidade em Grades Computacionais Autônomas.
Descrição: MCT/CNPq/CT-INFO nº 07/2007. Processo: 550895/2007-8. Coordenador: Fábio Kon (IME/USP). Valor: R\$ 373.600,00. Resumo: The InteGrade project is multi-university initiative aimed at building a novel object-oriented Grid middleware that focuses on leveraging the idle computing power of commodity workstations such as PCs in shared laboratories, corporate employee workstations, and household PCs. Our goal is to allow organizations to use their existing computing infrastructure to perform useful computation, without requiring the purchase of additional hardware. Moreover, users who share the idle portion of their resources should have their quality of service preserved by the InteGrade middleware. InteGrade provides support for highly-coupled parallel applications, checkpointing, security, and an integrated development environment..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 6) / Doutorado ( 3) .
Integrantes: Fábio Kon - Integrante / Alfredo Goldman - Integrante / Jose de Ribamar Braga Pinheiro Junior - Integrante / Alexandre T. C. Vidal - Integrante / Marcelo Finger - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2008 - AtualGrupo de Iniciação científica em Lógica Computacional
Descrição: Grupo de 5 alunos de iniciação científica sob minha orientação. Este grupo foi iniciado em 2008..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 5) .
Integrantes: Marcelo Finger - Coordenador.
.
2005 - 2009FAPESP Temático CONSREL Logical Consequence and Combinations of Logics, Fundaments and Efficient Applications. FAPESP 2004/14107-2 (R$218.820,00)
Descrição: The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, algebraic and computational aspects of the resulting combined systems. From the point of view of efficient applications, approximating propositional and quantified inferences is a promising approach in the taming of the intrinsic complexities involved. Intimately related to the quest for efficiency, quantum logics and quantum computation arise as an important research area. The formidable speedup of technology requires multidisciplinary researchers involved in the hard task of providing efficient alternatives to traditional methods of inference. To cope with this challenge, the project involves 22 researchers with different backgrounds from USP and UNICAMP with the support of 8 researchers from three international research institutions. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 2) / Mestrado acadêmico ( 1) / Doutorado ( 2) .
Integrantes: Flavio Correa da Silva - Integrante / M. Angela Weiss - Integrante / Renata Wassermann - Integrante / Adolfo Gustavo Serra Seca Neto - Integrante / Walter Carnielli - Integrante / Marcelo Coniglio - Integrante / Marcelo Finger - Coordenador.
Financiador(es): Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo - Auxílio financeiro.
Número de produções C, T & A: 17 / Número de orientações: 5.
2005 - 2007CTInfo/MCT/CNPq InteGrade2 Project Infraestrutura para Grades Oportunistas. CNPq Proc. 55.0094/2005-9 (R$ 231.777,44)
Descrição: InteGrade is a Grid middleware infrastructure that enables the use of idle computing power from user workstations. The middleware should use these non-dedicated machines without compromising the quality of service from machines owners, using the machine resources only during its idleness periods. It must support the execution of long-running sequential and parallel applications that present a considerable amount of communication among application nodes. .
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 10) / Doutorado ( 6) .
Integrantes: Fábio Kon - Coordenador / Germano Capistrano Bezerra - Integrante / Marcelo Finger - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 5 / Número de orientações: 3.
2005 - 2007FAPESP Temático, Padrões Rítmicos, Fixação de Parâmetros e Mudança Lingüística (Fase II). Fapesp 2005/58190-3.
Descrição: O principal objetivo da pesquisa no projeto Padrões Rítmicos, Fixação de Parâmetros & Mudança Lingüística é modelar a relação entre prosódia e sintaxe no processo que levou do Português Clássico ao Português Europeu Moderno. Esta pesquisa se insere, assim, em duas grandes problemáticas da teoria da linguagem: * O que provoca a mudança lingüística? * Como essa mudança se dá ao longo do tempo? Em 2005, o projeto inicia sua segunda fase, na qual se pretende consolidar e expandir os resultados atingidos desde 1998..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Doutorado ( 1) .
Integrantes: Charlotte Galves - Coordenador / Fábio Natanael Kepler - Integrante / Marcelo Finger - Integrante.
Número de orientações: 1.
2003 - 2005CNPq CTInfo PDI&TI - Projeto IMPAR Infra-estrutura de Middleware Para Aproveitamento de Recursos Ociosos em Sistemas Distribuídos (R$ 396.619,00
Descrição: O projeto tem por finalidade o desenvolvimento de uma infra-estrutura de middleware genérica para o aproveitamento de recursos ociosos em sistemas distribuídos para permitir a resolução paralela de problemas computacionais. As metas específicas são: 1) desenvolver e implementar um protótipo pré-comercial da infra-estrutura de middleware; 2) desenvolver e implementar tecnologia para garantir a segurança e a qualidade de serviço dos usuários; 3) realizar experimentos a fim de analisar a eficácia e eficiência dos sistemas desenvolvidos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 6) / Mestrado acadêmico ( 12) / Doutorado ( 6) .
Integrantes: Marcelo Finger - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2003 - 2005FAPESP Auxílio Pesquisa -- CCC-AHIA: Knowledge Sharing and Communication among Heterogeneous Autonomous Intelligent Agents. FAPESP 03/00312-0 (R$ 102.888,00)
Descrição: O objetivo do projeto é estudar e desenvolver modelos para a cooperação entre agentes robóticos inteligentes heterogêneos na resolução distribuída de problemas..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) / Mestrado acadêmico ( 1) .
Integrantes: Flavio Correa da Silva - Coordenador / Renata Wassermann - Integrante / Ana Cristina Vieira de Melo - Integrante / Leliane Nunes de Barros - Integrante / Marcelo Finger - Integrante.
Financiador(es): Não informado / Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo - Auxílio financeiro..
2002 - 2004CNPq (AI) Projeto Lácio Web --- Disponibilização de Corpora do Português e Ferramentas Web de Navegação e Auxílio para a Análise Linguística. CNPq (AI) Proc. 552176/01-0 (R$ 84.663,68)
Descrição: O objetivo deste projeto é divulgar e disponibilizar livremente na Web: a) vários córpus do português brasileiro escrito contemporâneo, representando bancos de textos adequadamente compilados, catalogados e codificados em um padrão que possibilite fácil intercâmbio, navegação e análise; e b) ferramentas lingüístico-computacionais, tais como contadores de freqüência, concordanciadores e etiquetadores morfossintáticos. O público-alvo do LW é heterogêneo: de um lado lingüistas, cientistas da computação, lexicógrafos, e etc. e, de outro, não especialistas em geral. .
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 1) .
Integrantes: Marcelo Finger - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..
2000 - 2002CNPq (APQ) Provadores de Teoremas Livres de Estrutura e Revisão de Crenças. CNPq Proc. 468765/00-0 ( R$24.767,00).
Descrição: Neste trabalho investigamos a generalização da prova automática de teoremas, tratando do seguinte problema: dada uma fórmula A, descobrir em que lógica A é dedutível. O tratamento de tal problema está restrito ao âmbito da família das lógicas sub-estruturais, também chamadas de Lógicas Sensíveis a Recursos. Exploramos tanto a vertente baseada em Teoria da Prova como a vertente baseada na Semântica das Lógicas Subestruturais. Em especial, nos baseamos na Teoria da Correspondência para lógicas modais. É nosso objetivo unificar ambos os enfoques na resolução do problema acima descrito. .
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Renata Wassermann - Integrante / Marcelo Finger - Coordenador.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 4.
1999 - 2002FAPESP Temático - Projeto SIDAM Sistemas de Informação Distribuídos para Agentes Móveis (R$ 231.562,00 e US$ 30.753,00)
Descrição: O projeto tem por finalidade a pesquisa e desenvolvimento de serviços de informação descentralizados para a consulta por agentes móveis. Para atingir o tal objetivo, diversos temas de pesquisa foram tratados, incluindo o levantamento das metodologias e tecnologias existentes para agentes móveis e o desenvolvimento de novos algoritmos, teorias e métodos. O projeto contou com uma equipe de 14 pesquisadores e estudantes de graduação e pós-graduação. ..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação ( 5) / Mestrado acadêmico ( 10) / Doutorado ( 3) .
Integrantes: Siang Wun Song - Coordenador / Marcelo Finger - Integrante.
Financiador(es): Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo - Auxílio financeiro..
1999 - 2001CAPES e The British Council, Projeto DECaFf-KB: Distributed Distributed Environment for Cooperation among Formalisms for Knowledge Bases. Apoio: passagens, visitas, estadia.
Descrição: Projeto conveniado entre Fundação CAPES (Brasil) e The British Council (Inglaterra). Goals: Formal reconstruction of theories for knowledge representation, envisaging a uniform characterisation of input/output patterns for different theories Formulation of a general theory of message-passing and cooperation among knowledge representations, based on these patterns Implementation of this general theory as a system development environment to enable different systems to cooperate during problem-solving..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Flavio Correa da Silva - Coordenador / Renata Wassermann - Integrante / Ana Cristina Vieira de Melo - Integrante / Marcelo Finger - Integrante.
Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / British Council - Cooperação..
1998 - 2003FAPESP Temático --- Projeto Rhythmic Patterns, Parameter Setting and Language Change. Fapesp 1999/03382-0.
Descrição: The primary goal of the project is to model up the relationship between prosody and syntax in the process of language change which led from Classical Portuguese to Modern European Portuguese. Beyond the specific results of the linguistic and mathematical research which will be developed within this project, it will also produce : * The Tycho Brahe Parsed Corpus of Historical Portuguese, consisting of texts written by Portuguese authors born between 1550 and 1850. * a Comparative Tagged Corpus of Spoken Modern European Portuguese and Brazilian Portuguese, consisting of categorized recorded registers from speakers of both dialects. .
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Marcelo Finger - Coordenador.
Financiador(es): Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo - Auxílio financeiro..
1996 - 1999EPSRC Project LDS-NL: Natural Language Parsing using Labelled Deductive Systems, em colaboração com Imperial College (Dept of Computing), London, e School of Oriental and African Studies (Dept. of Linguistics), London.
Descrição: Este projeto foi financiado pela EPSRC do governo britânicom e tem como objetivos o desenvolvimento de um modelo para a interpretação de sentenças em linguagem natural. A interpretação é uma operação que atribui uma estrutura decorada com formas lógicas à sentença. Isto se dá através de um processo misto de dedução e controle, onde o controle é exercido através de Sistemas Dedutivos Rotulados (Labelled Deductive Systems, LDS). O sistema formal foi implementado em Prolog..
Situação: Concluído; Natureza: Pesquisa.
Integrantes: Marcelo Finger - Coordenador.
Financiador(es): Não informado / Engineering and Physical Sciences Research Council - Auxílio financeiro.
Número de produções C, T & A: 3.

Revisor de periódico
1995 - Atual Periódico: Journal of Logic and Computation
1995 - Atual Periódico: Logic Journal of the IGPL
1995 - Atual Periódico: Annals of Pure and Applied Logic
2007 - Atual Periódico: Handbook of Philosophical Logic
2007 - Atual Periódico: Information and Computation
2007 - Atual Periódico: Journal of the Brazilian Computer Society
2007 - Atual Periódico: Mathematical Reviews
2008 - Atual Periódico: Synthese (Dordrecht)
2007 - Atual Periódico: Journal of Natural Language Engineering
2007 - Atual Periódico: Studia Logica

Áreas de atuação
1. 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.
2. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Banco de Dados.
3. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguistica Computacional.
4. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Logica e Inteligencia Artificial.

Idiomas
Inglês Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Prêmios e títulos
2010Prêmio Voo Livre, categoria Desenvolvimento, Encontro Nacional do BrOffice.org ver:http://ccsl.ime.usp.br/pt-br/news/10/04/27/membro-do-ccsl-rece.
2010Prêmio da Delegação Européia pela participação no Sétimo Programa Quadro, Delegação da União Européia no Brasil.
2007Finalista como orientador de Eugênio Akihiru Nassu, Prêmio Santander de Empreendedorismo, Ciência e Inovação.
20071o lugar no Prêmio Jaboti 2007, categoria 6 - CIÊNCIAS EXATAS, TECNOLOGIA E INFORMÁTICA com o livro LÓGICA PARA COMPUTAÇÃO - FLÁVIO S. C. DA SILVA, MARCELO FINGER E ANA C. V. DE MELO, CBL - Câmara Brasileira do Livro.
2006Prêmio de Desempenho Didático, primeiro semestre de 2006, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.
2005Prêmio de Desempenho Didático (prêmio duplo), primeiro semestre de 2005, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.
2004Prêmio Desempenho Didático -- 1o semestre de 2004, Faculdade de Economia, Administração e Contabilidade (FEA/USP) Curso de Graduação em Administração.
2002Prêmio de Desempenho Didático do Curso de Graduação em Administração, Faculdade de Administração, Economia e Contabilidade FEA-USP, pelo curso de MAC-113.
2002Paraninfo da turma de Formandos de 2001, Departamento de Ciência da Computação, IME/USP.
1995The Imperial College Armstrong Prize and Medal 1995., Imperial College.
1994The Imperial College Computing Trust prize for the best PhD thesis in 1993/94., Imperial College.
1990Convocation Sesquicentenial Prize in Advanced Engineering by the Convocation Trust, University of London, 1990., Universidade de Londres.


Produção em C,T & A
Produção bibliográfica
Citações
Web of Science
Total de trabalhos24Total de citações54Fator H4
Finger, M.  Data: 12/03/2009
SCOPUS
Total de trabalhos21Total de citações115  
Finger, M.  Data: 12/03/2009
Outras
Total de trabalhos61Total de citações472  
author=Marcelo Finger. Resultado:h-Index=10, g-Index=21, obtido do Google Scholar usando o software Publish or Perish, http://www.harzing.com/pop.htm  Data: 18/03/2009
Artigos completos publicados em periódicos
1. Araujo, A ; Finger, M . Classical and quantum satisfiability. Eletronic Proceedings of Theoretical Computer Science, http://forthcoming.eptcs.org/, p. 1, 2011.
2. Finger, M. . Analytic Methods for the Logic of Proofs. Journal of Logic and Computation, v. 20, p. 167-188, 2010.
3. Finger, Marcelo ; BEZERRA, G. C. ; Danilo Mateus Rubio Conde . Resource use pattern analysis for predicting resource availability in opportunistic grids. Concurrency and Computation. Practice & Experience, v. 22, p. 295-313, 2010.
4. da Silva e Silva, Francisco José ; Kon, Fabio ; Goldman, Alfredo ; Finger, Marcelo ; de Camargo, Raphael Y. ; Filho, Fernando Castor ; Costa, Fábio M. . Application execution management on the InteGrade opportunistic grid middleware. Journal of Parallel and Distributed Computing (Print), v. 70, p. 573-583, 2010.
5. D'Agostino, M. ; Finger, M. ; GABBAY, D. . Cut-Based Abduction. Logic Journal of the IGPL, v. 16, p. 537-560, 2008.
6. Finger, M ; RABELLO, G. . Approximations of modal logics: K and beyond. Annals of Pure and Applied Logic, v. 152, p. 161-173, 2008.
7. FINGER, M. ; WASSERMANN, R. . Anytime Approximations of Classical Logic from Above. Journal of Logic and Computation, v. 17, p. 53-82, 2007.
8. FINGER, M. ; GABBAY, D. . Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Logic Journal of the IGPL, v. 15, p. 553-575, 2007.
9. Finger, M ; WASSERMANN, R . The universe of propositional approximations. Theoretical Computer Science, v. 355, n. 2, p. 153-166, 2006.
10.   Finger, Marcelo ; Gabbay, Dov . Cut and Pay. Journal of Logic, Language and Information, v. 15, p. 195-218, 2006.
11.   Finger, M. ; WASSERMANN, R. . Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control. Journal of Logic and Computation, Londres, v. 14, n. 2, p. 179-204, 2004.
12. Goldchleger, Andrei ; Kon, Fabio ; Goldman, Alfredo ; Finger, Marcelo ; Bezerra, Germano Capistrano . InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines. Concurrency and Computation. Practice & Experience, v. 16, p. 449-459, 2004.
13. BRODA, S ; DAMAS, L. ; Finger, M. ; SILVA, P. J. S. E. . The decidability of a fragment of -logic. Theoretical Computer Science, v. 318, n. 3, p. 373-408, 2004.
14. FINGER, M. ; SILVA, F. C. ; VASCONCELOS, W. ; ROBERTSON, D. ; BRILHANTE, V. ; MELO, A. C. V. . On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions. Knowledge-Based Systems, v. 15, n. 3, p. 147-167, 2002.
15.   Finger, M. ; WEISS, M. A. . The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the IGPL, v. 10, n. 1, p. 165-189, 2002.
16.   Finger, M . A logical reconstruction of temporal databases. Journal of Logic and Computation, v. 10, n. 6, p. 847-876, 2000.
17. Broda, K ; Finger, M ; RUSSO, A. . Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n. 3, p. 283-318, 1999.
18. Finger, M . Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998.
19. FINGER, M. ; GABBAY, D. ; KEMPSON, R. ; KIBBLE, R. . Parsing Natural Language Using LDS: A Prototype. LOGIC JOURNAL OF THE IGPL -- The INTEREST GROUP IN PURE AND APPLIED LOGICS, v. 5, n. 5, p. 647-671, 1997.
20. FINGER, M. ; GABBAY, D. . Combining Temporal Logic Systems. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 37, n. 2, p. 204-232, 1996.
21. FINGER, M. ; Gabbay, Dov M. . Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, v. 1, p. 203-233, 1992.
22. FINGER, M. . Handling Database Updates In Two-Dimensional Temporal Logic. JOURNAL OF APPLIED NON-CLASSICAL LOGIC, v. 2, n. 2, p. 201-224, 1992.
Livros publicados/organizados ou edições
1. SILVA, F. C. ; FINGER, M. ; MELO, A. C. V. . Lógica para Computação. 1. ed. São Paulo: Thomson Learning, 2006. v. 1. 232 p.
2. FINGER, M. (Org.) ; REYNOLDS, M. (Org.) ; DIXON, C. (Org.) ; FISHER, M. (Org.) . AMAI Journal - Special Issue on Temporal Representation and Reasoning. Kluwer, 2001. v. 1.
3.   GABBAY, D. ; FINGER, M. ; REYNOLDS, M. . Temporal Logic:Mathematical Foudations and Computtional Aspects, volume II. Oxford University Press, 2000.
4. FINGER, M. ; FERREIRA, J. E. . Controle de Concorrência e Distribuição de Dados: A teoria clássica, suas limitações e extensões modernas. Sao Paulo: Escola de Computaçao 2000, 2000. 180 p.
Capítulos de livros publicados
1. Araujo, A ; Finger, Marcelo . On the logical relativity of quantum computability. In: Jean-Yves Béziau; Marcelo Esteban Coniglio. (Org.). Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday.. London: College Publications, 2011, v. , p. 65-72.
2. FINGER, M. . DAG Sequent Proofs with a Substitution Rule. In: S. Artemov; H. Barringer; A. S. d'Avila Garcez; L.C. Lamb; and J. Woods. (Org.). We will show Them -- Essays in honour of Dov Gabbay's 60th birthday. London: Kings College Publications, 2005, v. 1, p. 671-686.
3. FINGER, M. . When is a substructural logic paraconsistent?. Paraconsistency, the Logical way to Inconsistency -- Essays in hobour of Newton da Costa's 70th birthday. : Marcel Dekker, 2002, v. , p. 353-368.
4. FINGER, M. ; REYNOLDS, M. ; GABBAY, D. . Advanced Tense Logic. In: Dov Gabbay. (Org.). Handbook of Philosophical Logic. : , 2001, v. , p. -.
5. FINGER, M. ; REYNOLDS, M. . Imperative History: Two-Dimensional Executable Temporal Logic. LOGIC, LANGUAGE AND REASONING ESSAYS IN HONOUR OF DOV GABBAY. LONDON: OXFORD UNIVERSITY PRESS, 1998, v. , p. 79-106.
Textos em jornais de notícias/revistas
1. Finger, Marcelo . Ciência da Computação e Sociedade:Imensidão, Precisão e Humanização. Revista de Sistemas de Informação da Faculdade Salesiana Maria Auxiliadora, 19 dez. 2911.
Trabalhos completos publicados em anais de congressos
1.   Finger, M ; De Bona, Glauber . Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition.. In: IJCAI 2011, 2011, Barcelona. Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 2011. p. 528-533.
2. Finger, M ; Cozman, F ; WASSERMANN, R. . Satisfiability in EL with Sets of Probabilistic ABoxes. In: 24th International Workshop on Description Logics (DL 2011), 2011, Barcelona Espanha. 24th International Workshop on Description Logics, 2011. p. 1.
3. Finger, M ; Araujo, A . Classical and quantum satisfiability. In: LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, with Applications, 2011, Belo Horizonte. LSFA 2011 - 6th Workshop on Logical and Semantic Frameworks, with Applications, 2011. p. 1.
4. Finger, M ; PATRAO, D. F. C. ; Filocomo, Fabio . Resolução da Heterogeneidade na Identificação de Pacientes. In: STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology, 2011, Cuiabá. STIL 2011 : 8th Brazilian Symposium in Information and Human Language Technology, 2011. p. 1.
5. Finger, Marcelo ; Araujo, A . A formal system for quantum communication environments. In: ENIA 2011, 2011. ENIA 2011 - VIII Encontro Nacional de Inteligência Artificial, 2011. p. 1-11.
6. Finger, Marcelo ; Firmo, Fabio . Previsão de Utilização de Recursos por Aplicações no InterGrade. In: VIII Workshop em Clouds, Grids e Aplicações, 2010, Porto Alegre. VIII Workshop em Clouds, Grids e Aplicações. Porto Alegre, 2010.
7. Finger, Marcelo ; Mauricio S. C. Hernandes . Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics. In: WoLLIC 2010 -- Workshop Logic, Language, Information and Computation, 2010, Brasilia. Lecture Notes in Computer Science. Berlin / Heidelberg : Springer, 2010. v. 6188. p. 1-18.
8. De Bona, Glauber ; Finger, Marcelo . A Refuted Conjecture on Probabilistic Satisfiability. In: SBIA2010 -- Brazilian Symposium on Artificial Intelligence, 2010, São Bernardo do Campo. SBIA2010 -- Brazilian Symposium on Artificial Intelligence, 2010.
9. Finger, Marcelo ; KEPLER, F. N. . Variable-Length Markov Models and Ambiguous Words in Portuguese. In: NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, 2010, Los Angeles. Proceedings of t he NAACL-HLT 2010 Young Investigators Workshop on Computational Approaches to Languages of the Americas, 2010. p. 15-23.
10. J. M. Nicoladelli ; JOÃO LUIZ LUGUESI ; Silva, M.E.C. ; BERNARD, J. ; Finger, Marcelo . ASA-CALCPRO: MÉTODOS DE INFERÊNCIA ATRAVÉS DE AMBIENTES DE SUPORTE AO ALUNO. In: V CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA, 2010, Canoas -- RS. V CIEM -- CONGRESSO INTERNACIONAL DE ENSINO DA MATEMÁTICA. Canoas, 2010.
11. Finger, Marcelo ; De Bona, Glauber . A Logic Based Algorithm for Solving Probabilistic Satisfiability. In: IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence, 2010, Bahia Blanca. Lecture Notes in Computer Science, 2010. v. 6433. p. 453-462.
12. Finger, Marcelo . Using Abduction to Compute Efficient Proofs. In: Third Workshop on Logical and Semantic Frameworks with Applications (LSFA 2008), 2009, Salvador. Electronic Notes in Theoretical Computer Science, 2008. v. 247. p. 39-49.
13. SECA NETO, A. G. S. ; Celso A. A. Kaestner ; Finger, Marcelo . Towards an efficient prover for the C_1-paraconsistent logic. In: LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009, Brasília. LSFA'09: Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009.
14. J. M. Nicoladelli ; Silva, M.E.C. ; BERNARD, J. ; Finger, Marcelo . Asa-Calcpro: Métodos de inferência. In: 1rst International Congress of Mathematics, Engineering and Society - ICMES 2009, 2009, Curitiba. 1rst International Congress of Mathematics, Engineering and Society - ICMES 2009, 2009.
15. FINGER, M. ; WASSERMANN, R. . Revising Specifications with CTL Properties using Bounded Model Checking. In: SBIA - Simpósio Brasileiro de Inteligência Artificial, 2008, Salvador. Brazilian Symposium on Artificial Intelligence (SBIA 2008), 2008.
16. FINGER, M. ; BEZERRA, G. C. ; Danilo Mateus Rubio Conde . Resource Use Pattern Analysis for Opportunistic Grids. In: 6th International Workshop on Middleware for Grid Computing - MGC 2008, 2008, Leuven. 6th International Workshop on Middleware for Grid Computing - MGC 2008, 2008.
17. RABELLO, G. ; Finger, Marcelo . Approximations of Modal Logic K. In: 12th Workshop on Logic, Language, Information and Computation, 2006, Florianópolis. Electronic Notes in Theoretical Computer Science. v. 143. p. 23-32.
18. SECA NETO, A. G. S. ; FINGER, M. . Effective Prover for Minimal Inconsistency Logic. In: IFIP AI 2006, 2006, Santiago, Chile. IFIP 19th World Computer Congress, TC-12 IFIP AI 2006. Santiago : IFIP International Federation for Information Processing. v. 217. p. 465-477.
19. KEPLER, F. N. ; FINGER, M. . Part-of-Speech Tagging of Portuguese Based on Variable Length Markov Chains. In: PROPOR 2006, International Workshop on the Computational Processing of Portuguese, 2006, Itatiaia. LNAI: Lecture Notes in Artificial Intelligence. Berlin : Springer, 2006. v. 3960. p. 248-251.
20. KEPLER, F. N. ; FINGER, M. . Comparing Two Markov Methods for Part-of-Speech Tagging of Portuguese. In: IBERAMIA-SBIA 2006, 2nd International Joint Conference. 10th Ibero-American Conference on AI. 18th Brazilian AI Symposium, 2006, Ribeirão Preto. LNAI: Lecture Notes in Artificial Intelligence. Berlin : Springer, 2006. v. 4140. p. 482-491.
21. Braga, Jr, J.R. ; FINGER, M. ; KON, F. ; VIDAL, A. T. C. . Trust in Large-Scale Computational Grids: An SPKI/SDSI extension for representing opinion. In: 4th International Workshop on Middleware for Grid Computing - MGC 2006, 2006, Melbourne. 4th International Workshop on Middleware for Grid Computing - MGC 2006, 2006.
22. FINGER, M. ; Fajardo . How Not to Combine Modal Logics. In: 2nd Indian International Conference on Artificial Intelligence (IICAI-05), 2005, Pune, India. Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005.
23. FINGER, M. ; SECA NETO, A. G. S. . Using Aspect-oriented Programming in the Development of a Multi-strategy Theorem Prover. In: II Jornada do Conhecimento e da Tecnologia do UNIVEM, 2005, Marília. II Jornada do Conhecimento e da Tecnologia do UNIVEM, 2005.
24. FINGER, M. ; SECA NETO, A. G. S. . Implementing a Multi-Strategy Theorem Prover. In: SBC 2005 ENIA -- V Encontro Nacional de Inteligência Artificial, 2005, São Leopoldo, RS. Anais do V Encontro Nacional de Inteligência Artificial, 2005.
25. FINGER, M. ; MELO, A. C. V. ; SILVA, F. C. ; WASSERMANN, R. ; BARROS, L. N. . Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. In: 2nd International Conference on Informatics in Control, Automation and Robotics, 2005, Barcelona. Proceedings of ICINCO - 2nd International Conference on Informatics in Control, Automation and Robotics, 2005.
26. FINGER, M. . Polynomial Approximations of Full Classical Logic via Limited Bivalence. In: Eupean Conference of Logics in Artificial Intelligence (JELIA 2004), 2004, Lisboa. Logics in Artificial Intelligence -- Lecture Notes in Artificial Intelligence, 2004. v. 3229. p. 526-538.
27. FINGER, M. . Towards Polynomial Approximations of Full Propositional Logic. In: XVII Brazilian Symposium on Artificial Intelligence (SBIA 2004), 2004, São Luís. Lecture Notes in Artificial Intellingence (LNAI). Berlin : Springer, 2004. v. 3171. p. 11-20.
28. FINGER, M. ; ALUIZIO, S. M. ; PINHEIRO, G. M. ; TAGNIN, S. E. O. ; NUNES, M. G. V. . The Lacio-Web Project: overview and issues in Brazilian Portuguese corpora creation.. In: Corpus Linguistics, 2003, Lancaster. Proceedings of the Corpus Linguistics 2003/ UCREL Technical Papers. Lancaster : Lancaster University, 2003. v. 16. p. 14-21.
29. GOLDCHLEGER, A. ; KON, F. ; GOLDMAN, A. ; FINGER, M. . InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computindg Power of Desktop Machines. In: ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003, Rio de Janeiro. Proceedings of the ACM/IFIP/USENIX Middleware'2003 Workshop on Middleware for the Grid, 2003. p. 1-10.
30. Finger, M ; WASSERMANN, R . The Universe of Approximations. In: workshop of Logic, Language, Information and Computation, 2003, Ouro Preto. Electronic Notes in Theoretical Computer Science. v. 84. p. 1-14.
31. FINGER, M. ; NASSU, E. A. . Consultas Envolvendo "Aqui" em Sistemas de Bancos de Dados em Ambientes de Computação Nômade. In: Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), 2003, Petrópolis. Workshop de Computação Móvel e Comunicação Sem Fio (WCSF2003), 2003. p. 1-10.
32. FINGER, M. ; Fajardo . Non-Normal Modalisation. In: Advances in Modal Logic, 2002, Toulouse. Advances in Modal Logic, 2002. p. 316-325.
33. FINGER, M. ; WASSERMANN, R. . Logic for Approximate Reasoning:Approximating Classical Logic from. In: 16o Simpósio Brasileiro de Inteligência Artificial, 2002, Recife/Porto de Galinhas. Lecture Notes in Artificial Intelligence, 2002. v. 2507. p. 21-30.
34. FINGER, M. ; WASSERMANN, R. . Approximate Reasoning. In: 56o Seminário Brasileiro de Análise, 2002, Niterói. Anais do 56o Seminário Brasileiro de Análise, 2002. p. 260-301.
35. FINGER, M. ; DIAS, W. . Implementações de Tableaux para Raciocínio Aproximado. In: 1o Workshop de Teses e Dissertações em Inteligência Artificial, 2002, Porto de Galinhas/Recife. 1o Workshop de Teses e Dissertações em Inteligência Artificial, 2002. p. 21-30.
36. FINGER, M. ; WASSERMANN, R. . Expressivity and Control in Limited Reasoning. In: 15th European Conference on Artificial Intelligence (ECAI02), 2002, Lyon. 15th European Conference on Artificial Intelligence (ECAI02), 2002. p. 72-76.
37. FINGER, M. ; WASSERMANN, R. . Tableaux for Approximate Reasoning. In: IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, 2001, Seattle. IJCAI-2001 Workshop on Inconsistency in Data and Knowledge, 2001. p. 71-79.
38. FINGER, M. ; WASSERMANN, R. . Approximate Reasoning and Paraconsistency. In: 8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001), 2001, Brasilia. 8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001), 2001. p. 76-86.
39. FINGER, M. . Algorithmic Correspondence Theory for Substructural Categorial Logic. In: Algorithmic Correspondence Theory for Substructural Categorial Logic, 2000, Leipzig, Germany. roceedings of the 4th Workshop on Advances in Modal Logic (AiML2000), 2000.
40. FINGER, M. ; WEISS, M. A. . The Unrestricted Addition of a Temporal Dimension to a Logic System. In: 3rd International Conference on Temporal Logic (ICTL), 2000, Leipzig, Germany. 3rdProceedings of the 3rd International Conference on Temporal Logic (ICTL), 2000.
41. FINGER, M. . Técnicas de Otimização da Precisão Empregadas no Etiquetador Tycho Brahe. In: V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000, Atibaia, SP. Anais do V Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR2000), 2000.
42. FINGER, M. . Infinite SLaKE-Tableaux. In: 7th Workshop on Logic, Language, Information and Computation (WoLLIC2000), 2000, Natal, RN. 7th Workshop on Logic, Language, Information and Computation (WoLLIC2000), 2000.
43. FINGER, M. ; VASCONCELOS, W. . Sharing Resource-Sensitive Knowledge using Combinator Logics. In: Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000, Atibaia, SP. Simpósio Brasileiro de Inteligência Artificial (SBIA2000), 2000.
44. ALVES, C. D. C. ; FINGER, M. . Etiquetagem do Português Clássico Baseada em Córpora. In: IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), 1999, Evora. IV Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada (PROPOR99), 1999.
45. FINGER, M. ; SILVA, F. C. . Temporal Data Obsolescence: Modelling problems. In: 5th International Workshop of Temporal Representation and Reasoning (TIME98), 1998, Florida. Proceeding of the 5th International Workshop on Temporal Representation and Reasoning (TIME'98), 1998.
46. FINGER, M. . Tagging a Morphologically Rich Language: The construction of the Tycho Brahe Corpus of Historical Portuguese. In: International Workshop on Text, Speech and Dialog (TSD98), 1998, Brno. International Workshop on Text, Speech and Dialog (TSD98), 1998. p. 39-45.
47. E. S. Mesquita ; FINGER, M. . Projeto de Dados em Bancos de Dados Distribuídos. In: XIII Simpósio Brasileiro de Banco de Dados (SBBD98), 1998. XIII Simpósio Brasileiro de Banco de Dados (SBBD98), 1998.
48. FINGER, M. ; REYNOLDS, M. . Two-Dimensional Executable Logic For Bitemporal Databases. In: 2nd International Conference on Temporal Logic (ICTL'97), 1997, Manchester, UK. 2nd International Conference on Temporal Logic (ICTL'97), 1997. p. 1-10.
49. FINGER, M. . Structural Equations And Complex Combinators. In: {4th Internation Workshop of Logic, Language, Information and Computation (WoLLIC'97), 1997, Fortaleza, Brazil. {4th Internation Workshop of Logic, Language, Information and Computation (WoLLIC'97), 1997. p. 1-10.
50. FINGER, M. ; MCBRIEN, P. . Concurrency Control For Perceivedly Instantaneous Transactions In Valid-Time Databases. In: Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), 1997, Daytona Beach. Proceeding of the 4th International Workshop on Temporal Representation and Reasoning (TIME'97), 1997. p. 112-119.
51. FINGER, M. ; MCBRIEN, P. . On The Semantics Of 'Current-Time' In Temporal Databases. In: XI Brazilian Database Symposium (SBBD96), 1996, São Carlos. XI Brazilian Database Symposium (SBBD96), 1996. p. 324-337.
52. FINGER, M. ; BRODA, K. . Ke-Tableaux And A Fragmento Of Linear Logic. In: Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, 1995, Koblenz. Proceedings of the 4th International Workshop on Analytic Tableaux and Related Methods, 1995. p. 1-10.
53. FINGER, M. . Notes On Several Methods For Combining Temporal Logics. In: Workshop on Combining Structures, Logics and Theories, European Summer School of Logic, Language and Information (ESSLLI94), 1994, Copenhagen. Workshop on Combining Structures, Logics and Theories, European Summer School of Logic, Language and Information (ESSLLI94), 1994. p. 1-10.
54. FINGER, M. ; FISHER, M. ; OWENS, R. . Metatem At Work: Modelling Reactive Systems Using Temporal Logics. In: Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994, Edimburgo. Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994. p. 1-6.
55. FINGER, M. ; GABBAY, D. . Updating Atomic Information In Labelled Database Systems. In: 4th International Conference on Database Theory, 1992, Berlin. 4th International Conference on Database Theory, 1992. p. 188-200.
56. FINGER, M. ; MCBRIEN, P. ; OWENS, R. . Databases And Executable Temporal Logic. In: Annual Esprit Conference, 1991, Londres. Annual Esprit Conference, 1991. p. 288-302.
Resumos expandidos publicados em anais de congressos
1. FINGER, M. . Using Abduction to Compute Efficient Proofs. In: LSFA'08 Third Workshop on Logical and Semantic Frameworks, with Applications, 2008, Salvador. Third Workshop on Logical and Semantic Frameworks, with Applications, 2008.
2. SECA NETO, A. G. S. ; FINGER, M. . A KE Tableau for a Logic of Formal Inconsistency. In: TABLEAUX'07, 2007, Marseille. Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving, 2007. p. 1-10.
3. FINGER, M. ; RUSSO, A. ; BRODA, K. . Lds-Natural Deduction For Substructural Logics. In: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, Bahia. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996. p. 15-18.
4. FINGER, M. ; KEMPSON, R. ; KIBBLE, R. . Parsing Natural Language Using Lds: A Prototype. In: 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996, Salvador, BA. 3rd Workshop on Logic, Language, Information and Computation (WoLLIC96), 1996. p. 25-28.
Resumos publicados em anais de congressos
1. Arruda, A. M. ; Finger, Marcelo . Completude para a Abdução Baseada em Corte. In: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, 2011. p. 61-62.
2. Mauricio Hernandes ; Finger, Marcelo . A characterization for quantum logic semantic consequence as algebraic multipliers. In: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, 2011. p. 46-47.
3. Juliana Bueno ; Finger, Marcelo . Probabilistic modal logic. In: XVI EBL -- Brazilian Logic Conference, 2011, Petrópolis, RJ. XVI EBL -- Brazilian Logic Conference, 2011. p. 8-9.
4. Finger, Marcelo ; Colen, William ; Menezes, Carlos . Using Apache UIMA annotators for Brazilian Portuguese. In: PROPOR 2010: International Conference on Computational Processing of the Portuguese Language, 2010, Porto Alegre. PROPOR 2010 Demos: International Conference on Computational Processing of the Portuguese Language. Porto Alegre : PUCRS, 2010. p. 1-2.
5. CARNIELLI, W. ; FINGER, M. . Minimal axiomatizations and algebraic rings: a conjectured relationship. In: Encontro Brasileiro de Lógica, 2008, Parati. CLE30-EBL-SLALM, 2008.
6. FINGER, M. . End the discrimination: Equal rights for the CUT. In: XIV Encontro Brasileiro de Lógica, 2006, Itatiaia. XIV Encontro Brasileiro de Lógica, 2006. p. 1-3.
7. FINGER, M. ; BRITTO, H. ; GALVES, C. . Computational and linguistic aspects of the construction of the tycho brahe parsed corpus of historical portuguese. In: 1st Freiburg Workshop on Romance Corpus Linguistics, 2000, Freiburg, Germany. Proceedings of the 1st Freiburg Workshop on Romance Corpus Linguistics, 2000.
8. FINGER, M. ; BRITTO, H. . Constructing a Parsed Corpus of Historical Portuguese. In: ACH-ALLC'99 InternationalHumanities Computing Conference, 1999. Proceedings of ACH-ALLC'99 International Humanities Computing Conference, 1999.
9. FINGER, M. . Structurally-Free Theorem Proving and the Learning of Structural Permissions in Categorial Grammar. In: 4th Workshop on Logical Aspects of Computational Linguistics (LACL98), 1998. 4th Workshop on Logical Aspects of Computational Linguistics (LACL98), 1998.
Apresentações de Trabalho
1. Finger, Marcelo ; De Bona, Glauber . A Defeated Conjecture on Probabilistic Satisfiability. 2010. (Apresentação de Trabalho/Conferência ou palestra).
Demais tipos de produção bibliográfica
1. FINGER, M. ; NASSU, E. A. . O significado de "aqui'' em sistemas transacionais móveis 2001 (Relatório Técnico).
2. FINGER, M. ; CEZAR, F. A. M. C. . Banco de dados obsolescentes e uma proposta de implementação 2001 (Relatório Técnico).
Produção técnica
Softwares sem registro de patente
1. Braga, Jr, J.R. ; FINGER, M. ; GOLDCHLEGER, A. ; GOLDMAN, A. ; KON, F. ; VIDAL, A. T. C. . InteGrade: Object-Oriented Grid Middleware Leveraging Idle Computing Power of Desktop Machines .. 2008.
2. SECA NETO, A. G. S. ; FINGER, M. . KEMS - Um provador de teoremas multi-estratégia baseado no método de tabelaux KE. 2007.
Demais tipos de produção técnica
1.
FINGER, M. . Resolvedores SAT. 2006. (Curso de curta duração ministrado/Outra).
Produção artística/cultural
1Finger, Marcelo . BandPro 2010 - Apresentação sobre Graduação em Ciência da Computação. 2010 (Divulgação de Graduação em Ciência da Computação).

Bancas
Participação em bancas examinadoras
Dissertações
1. Finger, Marcelo. Participação em banca de Bruno César Ribas. Satisfatibilidade Não-clausal restrita às variáveis de entrada. 2011. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
2. Finger, Marcelo; COZMAN, F. G.. Participação em banca de Glauber De Bona. Satisfatibilidade Probabilística. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
3. CARNIELLI, W.; Finger, Marcelo; SILVA, F. C.. Participação em banca de Maurício Hernandes Simões Camilo. Multiplicadores Algébricos de Validade Lógica. 2010. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
4. Finger, Marcelo. Participação em banca de Mariana Pereira de Melo. Ordenaçã das páginas do Google - "Page Rank". 2009. Dissertação (Mestrado em Estatística) - Universidade de São Paulo.
5. Finger, Marcelo. Participação em banca de Wendel Scardua. Métodos de Expansão de Busca em Sistemas de Recuperaçãoo de Informação. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
6. Finger, Marcelo; COZMAN, F. G.. Participação em banca de Denis Deratani Mauá. Modelos de Tópicos na Classificação Automática de Resenhas de Usuário. 2009. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.
7. FINGER, M.. Participação em banca de Danilo Picagli Shibata. Tradução Grafema-fonema para a língua portuguesa baseada em autômatos adaptativos. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
8. BARROS, L. N.; COZMAN, F. G.; FINGER, M.. Participação em banca de Ricardo Guimarães Herrmann. Planejamento Hierárquico sob Incerteza Knightiana. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
9. CARNIELLI, W.; FINGER, M.; CONIGLIO, M.. Participação em banca de Samir Bezerra Gorsky. A semântica algébrica para as lógicas modais e seu interesse filosófico. 2008. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
10. FINGER, M.. Participação em banca de Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
11. FINGER, M.. Participação em banca de Luiz Carlos da Cruz Carvalheira. Método Semi-Automático de Construção de Ontologias de Domínio com Base em Texto. 2007. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
12. FINGER, M.; Mário Benevides; WASSERMANN, R.. Participação em banca de Thiago Carvalho de Sousa. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
13. FINGER, M.; GOLDMAN, A.. Participação em banca de Rodrigo Moreira Barbosa. MobiGrid: Arcabouço para agentes mmóveis em ambiente de grades computacionais. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
14. FINGER, M.. Participação em banca de Rafael Fernandes Lopes. MAG: Uma grade computacional baseada em agentes móveis. 2006. Dissertação (Mestrado em Engenharia de Eletricidade) - Universidade Federal do Maranhão.
15. FINGER, M.; KON, F.; COZMAN, F. G.. Participação em banca de Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
16. FINGER, M.. Participação em banca de Daniel Lima Ventura. Cálculos de Substituições Explícitas que Preservam a Propriedade de Redução do Sujeito. 2006. Dissertação (Mestrado em Matemática) - Universidade de Brasília.
17. FINGER, M.; CARNIELLI, W.; CONIGLIO, M.. Participação em banca de Juan Carlos Agudelo Agudelo. Da Computação Paraconsistente à Computação Quântica. 2006. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
18. FINGER, M.. Participação em banca de Kelly Rosa Braghetto. Padrões de Fluxos de Processos em Banco de Dados Relacionais. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
19. FINGER, M.. Participação em banca de Guilherme de Souza Rabello. Aproximações de Lógicas Modais. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
20. FINGER, M.. Participação em banca de Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
21. FINGER, M.; KON, F.. Participação em banca de Vladimir Emiliano Moreira Rocha.. Protocolos par-a-par para interligação de aglomerados em grades computacionais. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
22. FINGER, M.. Participação em banca de Joselyto Naeber da Costa Riani. Em Busca de Procedimentos de Inferência Eficientes via Relevância por Sintaxe. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
23. FINGER, M.. Participação em banca de Luis Alves Ferreira Filho. Uma Proposta de Ontologia para Plano de Projeto. 2004. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.
24. FINGER, M.. Participação em banca de Aline Vieira Malanovicz. Definição Inicial de um Sistema de Provas Rotuladas para Lógicas do Conhecimento. 2004. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
25. FINGER, M.; WEISS, M. A.; WASSERMANN, R.. Participação em banca de Rogério dos Santos Fajardo. Combinações de lógicas modais não-normais. 2004. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
26. FINGER, M.. Participação em banca de Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
27. FINGER, M.; KON, F.. Participação em banca de Andrei Goldchleger. InteGrade: Middleware para Grades Computacionais Compostas por Maquinas Compartilhadas. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
28. FINGER, M.; NUNES, M. G. V.; SILVA, F. C.. Participação em banca de Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
29. FINGER, M.. Participação em banca de Lucia Specia. ConPor: um gerador conceitual para o português. 2003. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
30. FINGER, M.; NUNES, M. G. V.; WASSERMANN, R.. Participação em banca de Fabiano de Carvalho e Sousa. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
31. FINGER, M.. Participação em banca de Flavio Shigeo yamamoto. Complexidade de Lógicas Modais. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
32. FINGER, M.. Participação em banca de Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para a Lingua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
33. FINGER, M.. Participação em banca de Aldebaran Perseke. Topologia de espaço de estados em planejamento com variáveis numéricas. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
34. FINGER, M.. Participação em banca de Leonardo Carvalheiro Langie. Um estudo sobre a aplicação de Algoritmo KNN à Categorização Hierárquica de Textos. 2003. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica.
35. FINGER, M.. Participação em banca de Ivan José Vazinczak. Causalidade e Dependência em Raciocínio sobre Ações. 2002. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
36. FINGER, M.. Participação em banca de Flávia Cardoso de Almeido Cruz. Aprendizado de Máquina Aplicado a Fragmentação Vertical de Bases de Objetos. 2002. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
37. FINGER, M.. Participação em banca de Flávio Leonardo Cavalcanti de Moura. Comparando Cálculos de Substituições Explícitas com Eta-conversão. 2002. Dissertação (Mestrado em Matemática) - Universidade de Brasília.
38. FINGER, M.. Participação em banca de Bianka Maria Moura Teixeira Gonçalves. Algoritmo Assíncrono para Consistência de Atualizações em Data Warehouse. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
39. FINGER, M.. Participação em banca de Juliana Galvani Greghi. Projeto e desenvolvimento de uma base de dados lexicais do português. 2002. Dissertação (Mestrado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
40. FINGER, M.. Participação em banca de Sirley Ambrosia Vitorio. Obsolescência da Informação. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
41. FINGER, M.. Participação em banca de Carla Amor Divino Moreira Delgado. Lógica de Conhecimento e Eventos em Sisatemas Assíncronos. 2001. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
42. FINGER, M.. Participação em banca de Lorena Pereira da Ponte Pierre. Transações Web: Um Estudo Sobre Problemas e Soluções. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
43. FINGER, M.. Participação em banca de Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
Teses de doutorado
1. KON, F.; Finger, Marcelo. Participação em banca de Helves Humberto Domingues. Replicação Assíncrona em Bancos de Dados Evolutivos. 2011. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
2. CARNIELLI, W.; Finger, Marcelo. Participação em banca de Anderson de Araújo. Uma Abordagem Modelo-teórica de Computabilidade de Turing Clássica. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
3. Finger, Marcelo. Participação em banca de Fábio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. 2010. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.
4. Finger, M.; WASSERMANN, R.; CARNIELLI, W.; COZMAN, F. G.; Mário Benevides. Participação em banca de Marcio Moretto Ribeiro. Revisã&#771;o de crenç&#807;as em ló&#769;gicas de descrição e em outras ló&#769;gicas nã&#771;o clá&#769;ssicas. 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
5. COZMAN, F. G.; Finger, Marcelo. Participação em banca de Fabiano Rogério Corrêa. Mapeamento Semântico com Aprendizado Estatísitico Relacional para Representação de Conhecimento en Robótica Móvel. 2009. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
6. Finger, M; DOTTAVIANO, I.. Participação em banca de Juliana Bueno. Multimodalidades anodicas e catodicas. 2009. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
7. FINGER, M.. Participação em banca de André Luiz Galdino. Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior. 2008. Tese (Doutorado em Matemática) - Universidade de Brasília.
8. FINGER, M.; FERREIRA, J. E.. Participação em banca de M´arcio Katsumi Oikawa. Geração de expressões algébricas para processos de negócio usando reduções de digrafos série-paralelo. 2008. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.
9. Finger, Marcelo. Participação em banca de David Rajaratnam. Logical Approximation and Compilation for Resource-Bound Reasoning. 2008. Tese (Doutorado em Computer Science) - University of New South Wales.
10. FINGER, M.; CARNIELLI, W.; WASSERMANN, R.; Mário Benevides; Bittencourt, Guilherme. Participação em banca de Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. 2007. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.
11. FINGER, M.. Participação em banca de Carla Amor Divino Moreira Delgado. MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
12. FINGER, M.. Participação em banca de Alexandre César Tabares Vidal. Abordagem Semântica Aplicada à Integração e Gerenciamento de Recursos e Aplicações em Grades Computacionais. 2007. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade de São Paulo.
13. FINGER, M.; COZMAN, F. G.; BARROS, L. N.. Participação em banca de Sílvio do Lago Pereira. Planejamento sob incerteza para metas de alcançabilidade estendidas. 2007. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.
14. FINGER, M.. Participação em banca de Flávio Leonardo Cavalcanti de Moura. Um Estudo Comparativo sobre Unificação de Ordem Superior em Cálculos de Substituições Explícitas. 2006. Tese (Doutorado em Matemática) - Universidade de Brasília.
15. FINGER, M.. Participação em banca de Jerusa Marchi. Operadores Sintáticos para Mudança de Crenças Baseados na Representação em Formas Normais Primárias. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.
16. FINGER, M.. Participação em banca de Victor Leandro Fernandez. Fibrilação de Lógicas na Hierarquia de Leibniz. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
17. FINGER, M.. Participação em banca de Jorge Petrúcio Viana. Extensões Não-Lógicas do Cálculo Relacional. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
18. FINGER, M.. Participação em banca de João Marcos. Lógicas de Inconsistência Formal. 2005. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.
19. FINGER, M.. Participação em banca de José Carlos Ferreira da Rocha. Algoritmos para Inferência em Redes Credais. 2004. Tese (Doutorado em Engenharia Mecânica) - Universidade de São Paulo.
20. FINGER, M.. Participação em banca de Eugenio Akihiro Nassu. Consultas Envolvendo Aqui em Sistemas de Bancos de Dados em Ambientes de Computação Nômade. 2003. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.
21. FINGER, M.. Participação em banca de Andreia Gentil Bonfante. Parsing Probabilistico de Português do Brasil. 2003. Tese (Doutorado em Ciências da Computação e Matemática Computacional) - Universidade de São Paulo.
22. FINGER, M.. Participação em banca de Vania Costa. Uma Lógica Modal Bidimensional para Representação do Conhecimento em Sistemas Distribuídos Multiagentes. 2002. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
23. FINGER, M.. Participação em banca de Renata Pereira de Freitas. Lógica Modal do "Fork". 2002. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
24. FINGER, M.. Participação em banca de Anjolina Grisi de Oliveira. Proofs from a Geometric Perspective. 2001. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
25. FINGER, M.. Participação em banca de Alneu de Andrade Lopes. Regras e Casos: Uma abordagem à Aprendizagem Relacional Multi-estratégia. 2001. Tese (Doutorado em Doutorado em Ciência de Computadores) - Universidade do Porto.
Participação em bancas de comissões julgadoras
Concurso público
1. Finger, Marcelo. Concurso Publico de Provas e Titulos para Prof. Adjunto do Depto de Ciencia da Computaçao Instituto de Matematica UFRJ. 2010. Universidade Federal do Rio de Janeiro.
2. Finger, Marcelo. Concurso Publico de Provas e Titulos para Prof. Adjunto, setor Inteligência Artificial, do Depto de Ciencia da Computaçao Instituto de Matematica UFRJ. 2010. Universidade Federal do Rio de Janeiro.
3. Finger, Marcelo. Concurso Publico de Provas e Titulos para Prof. Adjunto do Depto de Ciencia da Computaçao Instituto de Matematica UFRJ. 2009. Universidade Federal do Rio de Janeiro.
4. FINGER, M.. Banca de Efetivação de Renata Wassermann. 2005. Universidade de São Paulo.
5. FINGER, M.. Comissão Julgadora de concurso para Provimento de cargo de Prof Doutor do Departamento de Linguística, área Linguística Computacional. 2004. Universidade de São Paulo.
6. FINGER, M.. Banca de efetivação de Leliane Nunes de Barros. 2004. Universidade de São Paulo.
7. FINGER, M.; MANDEL, A.. Concurso para professor visitante no Intituto de Ensinos Avançados IEA/USP. 2003. Universidade de São Paulo.
Livre docência
1. Finger, Marcelo; Rubira, Cecília; Wagner, Flavio; Masiero. Paulo C.; Bigonha, Roberto. Livre Docência de Ana Cristina Vieira de Melo. 2011. Universidade de São Paulo.
2. Finger, M. Concurso de Livre Docência de Leliane Nunes Barros. 2009. Universidade de São Paulo.
3. FINGER, M.. Livre Docência de João Eduardo Ferreira. 2008. Universidade de São Paulo.
4. FINGER, M.. Decisão Automática e Redes Bayesianas. 2003. Universidade de São Paulo.
Outras participações
1. Finger, Marcelo. Comitê de Avaliação da FAPERJ, editais 13 e 14/2010. 2010. Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro.
2. FINGER, M.. Comissão de Especialistas do Prêmio Zeferino Vaz, IC-UNICAMP. 2008. Universidade Estadual de Campinas.

Eventos
Participação em eventos
1. Wollic 2010.Wollic 2010 -- 17th Workshop on Logic, Language, Information and Computation. 2010. (Congresso).
2. IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence.IBERAMIA 2010 -- 12th Ibero-American Conference on Artificial Intelligence. 2010. (Congresso).
3. SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence.SBIA 2010 -- 20th Brazilian Symposium on Artificial Intelligence. 2010. (Simpósio).
4. LSFA 2009 --- Fourth Workshop on Logical and Semantic Frameworks, with Applications.Towards an efficient prover for the C_1-paraconsistent logic. 2009. (Congresso).
5. CLE/AIPS --- Science, Truth and Consistency.Polynomial Time Cut Elimination for Classical Logic. 2009. (Congresso).
6. MBR'09 -- Model-Based Reasoning in Science and Technology (Abduction, Logic, and Computational Discovery).Towards First-Order Cut-Based Abduction. 2009. (Congresso).
7. XV Encontro Brasileiro de Lógica/ XIV Simpósio Latino Americado de Lógica Matemática.Minimality in Axiomatizations: an Algebraic Approach. 2008. (Congresso).
8. LSFA -- Third Workshop on Logical and Semantic Frameworks, with Applications.Using Abduction to Compute Efficient Proofs. 2008. (Oficina).
9. King's College Seminars on Computing..Computing Non-Analytic Cuts Using Algebraic Methods. 2007. (Seminário).
10. Seminário Brasileiro de Análise SBA.Teoria da Prova -- Provas não Analíticas. 2007. (Simpósio).
11. Propor 2006 - Computational Processing of Portuguese.Applications of Machine Learning to Computational Linguistics. 2006. (Congresso).
12. XIV Encontro Brasileiro de Lógica.Encontro Brasileiro de Lógica. 2006. (Encontro).
13. Escola de Verão 2006.Palestrante Convidado -- Raciocínio Aproximado. 2006. (Outra).
14. 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning.Comitê de Programa -- LPAR2005. 2005. (Congresso).
15. 20o Simpósio Brasileiro de Bancos de Dados.Comitê de Programa -- SBBD2005. 2005. (Simpósio).
16. GRACO 2005 2nd Brazilian Symposium on Graphs, Algorithms, and Combinatorics.Avaliador -- GRACO 2005. 2005. (Simpósio).
17. Workshops do SBBD e SBES 2005.Comitê de Programa -- Workshops do SBBD/SBES2005. 2005. (Oficina).
18. Workshop on Text Mining and Applications 2005.Comitê de Programa -- TeMA2005. 2005. (Oficina).
19. Workshop on Semantics and Meaning (SeMe 2005).Comitê Organizador e de Programa -- Workshop on Semantics and Meaning. 2005. (Oficina).
20. CTD2004: Concurso de Teses e Dissertações de Computação.Chair -- CTD2004: Concurso de Teses e Dissertações de Computação. 2004. (Outra).
21. Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA).Comitê de Programa -- CAEPIA2003. 2003. (Congresso).
22. 10th International Symposium on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC.Comitê de Programa -- TIME/ICTL 2003. 2003. (Congresso).
23. MIddleware 2003.Comitê de Programa -- MIddleware 2003. 2003. (Congresso).
24. VI Encontro para o Processamento Computacional da Língua Portuguesa Escrita e Falada.Comitê de programa -- PROPOR 2003. 2003. (Congresso).
25. Encontro Brasileiro de Lógica (EBL2003).Encontro Brasileiro de Lógica (EBL2003). 2003. (Simpósio).
26. Simpósio Brasileiro de Bancos de Dados SBBD2003.Comitê de Programa -- SBBD2003. 2003. (Simpósio).
27. IV Workshop de Comunicação sem Fio e Computação Móvel 2003.Comitê de Programa -- WCSF 2003. 2003. (Oficina).
28. 1º Workshop em Tecnologia da Informação e da Linguagem Humana.Comitê de Programa -- TIL 2003. 2003. (Oficina).
29. Advances in Modal Logic.AiML -- Advances in Modal Logic. 2002. (Congresso).
30. XVI Simpósio Brasileiro de Inteligencia Artificial.SBIA -- Simpósio Brasileiro de Inteligência Artificial. 2002. (Simpósio).
31. 56o Seminário Brasileiro de Análise.SBA -- Seminário Brasileiro de Análise. 2002. (Simpósio).
32. Visita ao Grupo do Prof Sernadas.Instituto Superior Técnico de Lisboa. 2002. (Encontro).
Organização de eventos
1. Finger, Marcelo ; Marcos Lopes ; KINOSHITA, J. . Workshop de Linguística Computacional. 2009. (Congresso).
2. FINGER, M. . CLE 30 anos/ XV EBL (Encontro Brasileiro de Lógica)/ XIV SLALM (Simpósio Latino Americano de Lógica Matemática). 2008. (Congresso).
3. FINGER, M. . Workshop "Semantics and Meaning" SeMe-2005. 2005. (Congresso).

Orientações
Orientações em andamento
Dissertação de mestrado
1. Eduardo Menezes de Morais. Modelagem Paraconsistente de Computação Quântica. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).
2. Renato martins Leite. Integração de previsões de padrões de uso em um escalonador de grades de computadores. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).
3. Rodrigo Zaccara. Linguistica Computacional. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).
4. Wesley Sidel. Reconhecimento de Entidades Nomeadas. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).
5. William Daniel Colen de Moura Silva. Corretor Gramatical para o Portugues. Início: 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).
6. Poliana Magalhães Reis. Provadores de Teoremas. Início: 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo. (Orientador).
Tese de doutorado
1. Alexandre Matos Arruda. Abduçao em Logica. Início: 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).
2. Carlos Eduardo Dantas Menezes. Análise de Sentimentos. Início: 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo. (Orientador).
Supervisões e orientações concluídas
Dissertação de mestrado
1. Glauber de Bona. Satisfatibilidade Probabilística. 2011. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
2. Mauricio Simões Camilo Hernandes. Multiplicadores Algébricos de Validade Lógica. 2010. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
3. Danilo Matheus Rubio Conde. Análise de Padrões de Uso em Grades Computacionais. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
4. Fernando Lima. Implementação Paralela em Grade de um Resolvedor SAT. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
5. Germano Capistrano Bezerra. Análise de Conglomerados Aplicada ao Reconhecimento de Padrões de Uso de Recursos Computacionais. 2006. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
6. Guilherme de Souza Rabello. Aproximações de Lógicas Modais. 2005. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
7. Fábio Natanael Kepler. Um Etiquetador Morfossintático Baseado em Cadeias de Markov de Tamanho Variável. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.
8. Rogério Augusto dos Santos Fajardo. Combinações de Lógicas não-Normais. 2004. Dissertação (Mestrado em Matemática) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.
9. Fábio Luiz Ide. Lógicas de Raciocínio Aproximado e o Problema SAT. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
10. Alexandre Sussumu Hirohashi. Aprendizado de regras de substituição para normatização de textos históricos. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
11. Archias Alves de Almeida Filho. Maximização da Entropia em Linguistica Computacional para Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
12. Fernando Antonio Mac Cracken Cezar. Bancos de Dados Obsolescentes e uma Proposta de Implementação. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
13. Fabiano de Carvalho e Souza. Analisador Sintático Estatístico Orientado ao Núcleo-Léxico Para a Língua Portuguesa. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
14. Wagner Dias. Implementações de Tableaux para Raciocínio Aproximado. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
15. Glauco Galves Bordin. Indicadores de Qualidade de Implementacao de um Modelo Relacional de Banco de Dados Adotando Tecnicas de Engenharia Reversa. 2001. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
16. Émerson dos Santos Paduan. O Problema da Confluência em Bancos de Dados Ativos.. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
17. Maurício Pereira de Oliveira. Um Estudo Axiomático Comparativo entre Modelos de Bancos de Dados.. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, . Orientador: Marcelo Finger.
18. Carlos Daniel Chacur Alves. Etiquetagem de Textos em PortuguêsBaseada em Corpus. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.
19. Mabelly de Oliveira Furtado. Projeto de Regras Confluentes para Bancos de Dados Ativos Usando Tabelas de Decisão. 1999. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.
20. EDUARDO JOSE SOLER MESQUITA. Projeto de Dados Em Bancos de Dados Distribuidos. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.
21. Loreley Zavattiero. Implementação de um Fragmento TSQL2 para Banco de Dados de Tempo de Validade.. 1998. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.
Tese de doutorado
1. Fabio Natanael Kepler. Modelagem de contextos para aprendizado automático aplicado à análise morfossintática. 2010. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.
2. Adolfo Gustavo Serra Seca Neto. Um Provador de Teoremas Multi-Estratégia para Lógicas Clássicas e Paraconsistentes. 2007. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Marcelo Finger.
3. Eugênio Akihiro Nassu. Consultas envolvendo. 2003. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo, . Orientador: Marcelo Finger.
Supervisão de pós-doutorado
1. Juliana Bueno. 2010. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Marcelo Finger.
2. Renata Wassermann. 2001. Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Marcelo Finger.
Trabalho de conclusão de curso de graduação
1. Rodrigo Silva. Simulação Computacional de Células do Sistema Imunológico Humano. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
2. Tiago Garcia. Simulação Computacional de Células do Sistema Imunológico Humano. 2007. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
Iniciação Científica
1. Thiago Coraini. Integração de um escalonador de grades com um módulo de análise de padrões de uso. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. Orientador: Marcelo Finger.
2. Bruno Vercelino da Hora. Verificação de Modelos e Revisão de Crenças. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
3. Camila Matsubara. Verificação de Modelos e Geração Automática de Testes. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
4. Fábio Firmo. Previsão do consumo de recursos computacionais por programas em Grades. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
5. Rogério Papetti. Provadores de Teoremas. 2009. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
6. Lucas Cavalcante. Algoritmos para SAT Probabilístico. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
7. Pedro Matiello. Provadores de Teoremas. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
8. Helio Matayoshi. Simulaçao de sistema Imunologico usandoVerificaçao de Modelos. 2008. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
9. Maurício Simões Camilo Henandes. Fundamentos Lógicos da Linguística Computacional. 2007. Iniciação Científica. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, USP/Bolsa Ensinar com Pesquisa. Orientador: Marcelo Finger.
10. Thiago Coraini. Implementação de um escalonador para grades. 2007. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Marcelo Finger.
11. Fabio Alexandre Campos Tisovec. Implementação de um resolvedor SAT para lógica clássica e modal baseado em Álgebras Booleanas.. 2006. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
12. Eduardo Menezes de Morais. Implementação de um resolvedor SAT para lógica $n$-valentes baseado em Álgebras Booleanas.. 2006. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
13. Rodrigo Bernardo Pimentel. Implementação de um algoritmo SAT paralelizado sobre Grades de Computadores. 2004. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
14. Carlos Kobayashi. Editor de Cabeçalhos para Textos do Corpus Lacio-Web. 2003. Iniciação Científica. (Graduando em Bacharelado em Ciência da Computação) - Universidade de São Paulo. Orientador: Marcelo Finger.
15. Rogério Fajardo. Lógicas Modais. 2002. Iniciação Científica. (Graduando em Bacharelado em Matemática) - Universidade de São Paulo, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Marcelo Finger.
16. Fernando Correa de Lima. Interface para programas de linguistica computacional. 2001. Iniciação Científica. (Graduando em Ciencia da Computação) - Universidade de São Paulo, Fundaçao de Amparo a Pesquisa do Estado de Sao Paulo. Orientador: Marcelo Finger.

Outras informações relevantes 
Assessor da Pŕo-reitoria de pós-graduação da USP desde Setembro de 2010.  

Gerente do sistema Janus de Administração da Pós-Graduação USP, contando com ~32.000 usuários (22.000 estudantes, 5.000 professores e 5.000 funcionários) desde Setembro de 2010.

Membro do Dirigente  Comitê Especial de Inteligência Artificial da Sociedade Brasileira de Computação (CEIA-SBC), dese 2009.

Vice-diretor do Centro de Competência em Software Livre, do Instituto de Matemática e Estatística da USP, desde dezembro de 2008.


Apoios Recebidos:
 - Bolsa Produtividade em Pesquisa, CNPq PQ, nivel 1D.
 - Coordenador de Projeto de pesquisa CNPq, APQ 468765/00-0, "Provadores de Teoremas Livre de Estrutura". Valor de R$24.727,00. De 12/1/2001 a 12/1/2002

Projetos Nacionais:

 - Membro do projeto tematico Fapesp 
98/3382-0 (Projeto Temático Rhythmic patterns, parameter setting and language change ), de 1999 a 2002.

 - Projeto Temático Fapesp 98/06138-2, ``SIDAM:  Sistemas de Informação Distribuídos para Agentes Móveis''.  Corrdenação: Siang Wun Song, DCC/IME/USP.  De 1999 a 2001.

 - Fapesp 93/0603-01 Projeto DECaFf-KB: ``Distributed Environment for Cooperation among Formalisms for Knowledge Bases''.  Projeto conveniado entre Fundacao CAPES (Brasil) e  The British Council (Inglaterra). Coordenação: Flavio S. Correa da Silva.  De 2000 a 2003.

 - CNPq 552176/01-0 ProjetoLacio-Web (Linguistica Computacional) 2002-2004.  

 - FAPESP Projeto CCC-AHIA 03/00312-0 (Raciocínio Aproximado) 2003-2004. 

 - CNPq 55.20208/02-9 Projeto IMPAR (Aprendizagem aplicada à Grades Computacionais) 2003-2004.

Projetos Internacionais: 

 - ESPRIT II Project SPEC (Especificação de Sw)1991-1992. 
 - ESPRIT II Project TEMPORA (Raciocínio Temporal) 1992-1994.
 - EPSRC Project Labelled Tableaux (Raciocínio Automatizado) 1994-1995.
 - EPSRC Project LDS-NL (Análise de Linguagem Natural) 1996-1999..
Página gerada pelo Sistema Currículo Lattes em 11/02/2012 às 13:44:21