Ph.D. in Computer Science (2009), Centro de Informática, Universidade Federal de Pernambuco (UFPE)

Associate Professor

Member of REDIS group and MODCS team

My curriculum: click here

If you are looking for DENTES or AMALGHMA tool, please click here.

If you are looking for Measurement Server, please click here.


Research Interests (but are not limited to):

    • Formal Methods

    • (Power-Aware) Real-Time Systems

    • Safety-Critical Systems

    • Performance and Dependability Evaluation

    • Business Process Modeling

Contact Information:

E-mail: eagt at cin (dot) ufpe (dot) com

Address: Universidade Federal de Pernambuco - Centro de Informática

Av. Jornalista Anibal Fernandes, s/n, Cidade Universitária,

Recife-PE Brazil, 50740-560

Telephone: +55 81 2126-8430

Fax: +55 81 2126-8438