
Organização/Local de trabalho
UTFPRLocalização
Curitiba Area, Brazil, Paraná BrazilCargo
Associate Professor at UTFPRSetor
Education
Sobre
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