Joabe Jesus about me presentations publications research teaching extension

Research

My areas of interesting include software development, automated reasoning, theorem proving, model checking, modelling and simulation.

Main projects:

• CSPM library,

Collaborated projects:

• CSP-Prover

Joabe Jesus - jbjj@ecomp.poli.br
Assistant Professor - Computer Engineering course
at Escola Politécnica de Pernambuco (POLI)
at Universidade de Pernambuco (UPE)