full professor at University of Fortaleza - Brazil

interests:

Artificial Inteligence, Theorem proving, Semantic Web

Software engineering, Metrics, Tests

Location

Fortaleza Ceara Brazil 60125-101

Disciplines

• Computer Sciences
• Education

Affiliation

acm sbc