IME-USP

Marcelo Finger
Professor Titular
Departamento de Ciência da Computação

Endereço: Rua do Matão, 1010
CEP 05508-090 – São Paulo – SP – Brasil
Sala: 210C
Telefone: (11) 3091-9688

Educação e Títulos Acadêmicos
Pós-Doutorado, Cornell University, CORNELL, Estados Unidos. 2012
Prof. Titular, Instituto de Matemática e Estatística da USP, 2010.
Prof. Livre Docente, Instituto de Matemática e Estatística da USP, 2001.
Doutorado em Computação, College of Science and Technology, University of London, Inglaterra, 1994.
Mestrado, Fundamentos da tecnologia de informação avançada, Imperial College of Science, Technology and Medicine, IC, Inglaterra., 1990.
Graduação em Engenharia Eletrônica, EPUSP, 1988.

Cursos que costuma lecionar
Introdução à Computação para Ciências Humanas; Introdução à Computação para Ciências Exatas e Tecnologia; Métodos Formais em Programação; Introdução à Lógica e Verificação de Programas; Introdução aos Sistemas de Bancos de Dados para Estatística; Laboratório de Programação Orientada a Objetos; Introdução à Teoria da Computabilidade; Introdução à Inteligência Artificial; Inteligência Artificial; Sistemas de Bancos de Dados; Tópicos de Sistemas de Computação; Laboratório de Bancos de Dados; Introdução à Computação para Engenharia; Introdução à Computação; Laboratório de Programação.

Principais prêmios recebidos ao longo da carreira
Melhor Dissertação de Mestrado em Inteligência Artificial — aluno: Glauber De Bona, CTDIA / CEIA/ SBC, 2012.
1o 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, 2007.
Prêmios 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, 2002, 2004, 2005 e 2006.
The Imperial College Armstrong Prize and Medal 1995, Imperial College, 1995.
The Imperial College Computing Trust prize for the best PhD thesis in 1993/94., Imperial College, 1994.

Publicações selecionadas
1. De Bona, Glauber; FINGER, MARCELO. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence (General Ed.), v. 227, p. 140-164, 2015.
2. D’Agostino, Marcello; FINGER, MARCELO; Gabbay, Dov . Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science, v. 480, p. 43-68, 2013.
3. FINGER, M; WASSERMANN, R.. The universe of propositional approximations. Theoretical Computer Science, v. 355, n.2, p. 153-166, 2006.
4. 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.
5. 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.