V EADCA

Currículo Resumido:

Graduado e licenciado em Matemática pela UNICAMP (1976), especialização em Filosofia da Ciência pela UNICAMP(1981), doutorado em Matemática pela UNICAMP (1982), tem pós-doutorado pela University of California (1985), pela Universitat Munster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsita da Fundação Alexander von Humboldt.
Atualmente é Professor Titular do Departamento de Filosofia da UNICAMP e Diretor do Centro de Lógica, Epistemologia e História a Ciência (CLE), cargo que já ocupou pos dois outros mandatos. e bolsista de Produtividade em Pesquisa do CNPq – Nível 1.
É editor e membro do corpo editorial de diversas revistas científicas, membro do SQIG – Security and Quantum Information Group (IST,Lisboa, Portugal), da Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), da Association for Symbolic Logic e de diversas sociedades científicas internacionais
Pesquisa e ensina na área de Lógica/Filosofia, com ênfase em Lógica e Fundamentos da Matemática. Atua principalmente nos seguintes temas: fundamento dos sistemas da lógica contemporânea, lógica e fundamentos da computação semânticas formais, combinação de lógicas, combinatória finita e infinita, história e filosofia da lógica. Presidiu a Sociedade Brasileira de Lógica por dois mandatos, e fundou o GT de Lógica da ANPOF, o qual coordenou por vários anos.
É autor de quase uma centena de artigos científicos e diversos livros, entre eles “Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática”, Editora UNESP, 2006 (ganhador do Prêmio jabuti, 3. lugar, com Richard L. Epstein), versão brasileira de “Compuitability: Computable Functions, Logic, and the Foundations of Mathematics” (Wadsworth, 1988 e Advanced Reasoning Forum, 2008), livro adotado por cerca de 40 universidades americanas, asiáticas e européias. É também co-autor de “Modalities and Multimodalities”, Springer 2008, com C. Pizzi.

Currículo Resumido:

Anderson de Rezende Rocha é professor no Instituto de Computação, Universidade Estadual de Campinas (UNICAMP). Graduou-se em Ciência da Computação pela Universidade Federal de Lavras (UFLA) em 2003. Concluiu o mestrado (2006), doutorado (2009) e Pós-Doutorado (2009) em Ciência da Computação pela Universidade Estadual de Campinas (UNICAMP). Atua na área de Ciência da Computação e tem interesse em problemas relacionados à Análise Forense de Documentos, Técnicas de Identificação Humana, Categorização e Recuperação de Imagens Baseado em Conteúdo, Análise de Padrões e Aprendizado de Máquina para Dados Complexos. Tem participado como membro de comitê de programa de diversos eventos importantes em Visão Computacional, Reconhecimento de Padrões e Computação Forense tais como IEEE Intl. Conference on Computer Vision (ICCV), IEEE Intl. Conference on Computer Vision and Pattern Recognition (CVPR), IEEE Intl. Workshop on Applications of Computer Vision (WACV) e IEEE Intl. Workshop on I nformation Forensics and Security. Em 2011, foi eleito membro afiliado da Academia Brasileira de Ciências (ABC). É membro eleito do IEEE Information Forensics and Security Technical Committee (IFS-TC) e co-organizador geral (co-general chair) do IEEE Intl. Workshop on Forensics and Security (WIFS) 2011. Em 2011, foi escolhido como um ”Microsoft Research Faculty Fellow” um reconhecimento acadêmico promovido pela Microsoft Research. Finalmente, é atualmente coordenador do projeto Jovem Pesquisador FAPESP intitulado: Computação Forense e Criminalística de Documentos: Coleta, Organização, Classificação e Análise de Evidências.

Currículo Resumido: Ivan Luiz Marques Ricarte fez o curso de Engenharia Elétrica e o Mestrado em Engenharia Elétrica na UNICAMP, o doutorado em Engenharia Elétrica na University of Maryland at College Park, nos Estados Unidos, e pós-doutorado na McGill University, no Canadá. É Professor Associado da FEEC-UNICAMP e avaliador do Sistema Nacional de Avaliação do Ensino Superior (SiNAES) do Ministério da Educação e Cultura. É autor do livro Introdução à Compilação (2008) e coautor do livro Prontuário do Paciente, a ser lançado em 2012.