Personal Information
Organization / Workplace
Curitiba Area, Brazil, Paran叩 Brazil
Occupation
Associate Professor at UTFPR
Industry
Education
Website
About
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
Contact Details
