Adolfo Neto

Assistant Professor, Federal University of Technology - Paraná
Curitiba, Brazil

Research field: Computer and Information Science - Artificial Intelligence
Theorem proving using tableau methods
Agile methods

Publications

Journal Article (1)
- Adolfo Neto, Celso A.A. Kaestner, Marcelo Finger (2009) Towards an Efficient Prover for the C1 Paraconsistent Logic, 87-102. In Electronic Notes in Theoretical Computer Science.
  http://linkinghub.elsevier.com/retrie...
Book Section (1)
- Adolfo Neto, Marcelo Finger (2006) Effective Prover for Minimal Inconsistency Logic, 465 - 474. In Artificial Intelligence in Theory and Practice.
  http://www.springerlink.com/content/b...

Biographical Information

Adolfo Neto is currently an assistant professor at the Informatics Department of the Federal University of Technology - Paraná (UTFPR), Brazil. He was formerly with the Federal Center for Technological Education of São Paulo, Brazil, from 2007 to 2008, and with the State University of Santa Catarina, Brazil, in 2008.

He received a D.Sc. degree in Computer Science from University of São Paulo, Brazil, in 2007. He received his M.Sc. degree in Computer Science from Federal University of Pernambuco, Brazil, in 1996, and his B.Sc. degree in Computer Science from Federal University of Alagoas, Brazil, in 1993.

He has served as a member of technical committee and reviewer for some conferences and journals. He is a member of the Brazilian Computer Society (SBC).

His research interests include automated theorem proving, logic for computer science and agile software development.