Adolfo Neto

Adolfo Neto
    • Curitiba Area, Brazil, Paraná, Brazil
  • Travail Associate Professor at UTFPR
  • Secteur Education
  • Site Web www.dainf.ct.utfpr.edu.br/~adolfo
  • À propos Teacher and research scientist in Computer Science. Particularly interested in theorem proving, logic for computer science, software development and agile methods. Specialties: Theorem Proving, Tableaux, Logics of Formal Inconsistency Java, Eclipse
LinkedIn

Tout voir Likes (159)