Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Finger, Marcelo
University of Sao Paulo
Sao Paulo, Brazil
 
   Featured Reviewer
   Reader Recommended
   Reviewer Selected
Follow this Reviewer
 
 
 

Marcelo Finger has a BSc in Electronic Engineering from Universidade de São Paulo (EP-USP 1988), an MSc in Foundations of Advanced Information Technology from the Imperial College of Science, Technology and Medicine (1990), and a PhD in Computing from Imperial College of Science and Technology, University of London (1994).

He has held visiting positions in the computer science departments at Universitée Paul Sabatier--Toulouse (2011) and Cornell University (2012-2013). He is currently a professor of computer science at the Institute of Mathematics and Statistics at the University of São Paulo.

He is part of the editorial board of the South American Journal of Logic and São Paulo Journal of Mathematical Sciences, and has been a guest editor for Theoretical Computer Science and Annals of Mathematics in Artificial Intelligence. In addition, he has been a reviewer for Computing Reviews since 2013. He is an expert in logic and deductive-probabilistic reasoning, and his research focuses on logic, artificial intelligence, digital humanities, and computational linguistics.

 
 
Options:
Date Reviewed  
 
1
- 3 of 3 reviews

   
   Introduction to logic (3rd ed.)
Genesereth M., Kao E., Morgan & Claypool Publishers, San Rafael, CA, 2016. 178 pp.  Type: Book (978-1-627056-36-6)

This book is an introductory course on formal logic at a college level. Although its authors are computer scientists, it is aimed at a broad audience, only requiring high school set theory and algebra....

Aug 30 2017  
   Advances in natural deduction: a celebration of Dag Prawitz’s work
Pereira L., Haeusler E., de Paiva V., Springer Publishing Company, Incorporated, Dordrecht, the Netherlands, 2014. 310 pp.  Type: Book (978-9-400775-47-3)

Natural deduction was proposed as a formalization of classical reasoning that could mirror the use of assumptions as used in mathematical reasoning. Initial formulations toward that goal were made by Lukasiewicz and Jaskowski in the la...

Aug 1 2014  
  Towards a general theory of classifications
Parrochia D., Neuville P., Birkhäuser Basel, Basel, Switzerland, 2013. 327 pp.  Type: Book (978-3-034806-08-4)

This books deals with the existing components of a general theory of classifications, which are mathematical in their presentation, and the reasons why they do not form a complete theory yet. The general approach is to provide a logica...

Apr 8 2014  
 
 
   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy