Thiago Carvalho de SousaMSc. 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,
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:
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