Thiago Carvalho de Sousa MSc. in Computer Science Software Engineering, Formal Methods and Artificial Intelligence

Education

MSc. in Computer Science, IME - Institute of Mathematics and Statistics, University of São Paulo, Brazil
BSc. in Computer Science, IME - Institute of Mathematics and Statistics, University of São Paulo, Brazil

Research Areas:

Requirements Engineering: Combining formal and informal requirements specification techniques; Validating requirements

Formal Methods: Formal tools(NuSMV, SPIN,  Alloy, ProofPower); Model checking; Consistency checking for UML

Knowledge Representation: Belief revision; Deductive databases;Non-monotonic logic

Teaching :

Software Engineering, 1/2007 e 1/2008 – FAETE

Artificial Intelligence, 2/2007 e 1/2008 - FAETE

Data Structures, 1/2007 e 1/2008 – FAETE

Introduction to Computer Science for Oceanography, 2/2004 - USP (Auxiliary)

Data Structures for Engineers, 1/2004 – USP (Auxiliary)

Concurrent Programming, 1/2003 – USP (Auxiliary)

Programming Laboratory, 1/2002 - USP (Auxiliary)

Automata and Formal Languages, 2/2001 – USP (Auxiliary)

Publications:

"Handling Inconsistencies in CTL Model-Checking using Belief Revision" - with Renata Wassermann - Brazilian Symposium on Formal Methods (SBMF), Ouro Preto, 2007.

“A Comparative Study between Database Update Theory and Belief Revision Theory” – XVII IME-USP Undergraduate Research Colloquium, São Paulo, 2003

Master Dissertation:

Title: Revision of Formal Finite State Systems Models, Advisor: Renata Wassermann, PhD.

Graduation Work:

Title: OLAP Tools, Advisor: Renata Wassermann, PhD.

Curriculum Vitae:

Lattes

Contact:

Email: thiago “at” ime “dot” usp “dot” br

Postal Mail: Av. Elias João Tajra, 1522/602, Bairro Joquei, Teresina, PI 64049-300, Brazil