MarceloFinger 2

 

 

 

 

 

 

 

 

 

 

 

Fone: (11) 3091- 9688

Sala: 210C

Email: Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.

 

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.

 

Links

Currículo Lattes

Site pessoal

ORCID - Open Researcher and Contributor Identifier

Publicações na Biblioteca do IME-USP