Interests

• Formal Methods
• Programming Languages
• Mobile Development

Education

• PhD in Computer Science, 2016 UFPE - Brazil
• MSc in Computer Science, 2010 UFPE - Brazil
• BSc in Computer Science, 2008 UFPE - Brazil

Mobile Apps

Android apps on Google Play

iOS apps on Apple Store

Selected publications

• An integrated framework for analysing simulating and testing UML models [CONF]
  Gustavo Carvalho, José Dihego, Augusto Sampaio

• A refinement checking based strategy for component-based systems evolution [DOI]
  José Dihego, Augusto Sampaio, Marcel Oliveira

• A refinement checking based strategy for component-based systems evolution [DOI]
  José Dihego, Augusto Sampaio, Marcel Oliveira

• Aspect-Oriented Development of Trustworthy Component-based Systems [DOI]
  José Dihego, Augusto Sampaio

• Constructive extensibility of trustworthy component-based systems [DOI]
  José Dihego, Augusto Sampaio, Marcel Vinícius Medeiros Oliveira

• Algebraic Laws for Process Subtyping [DOI]
  José Dihego, Pedro R. G. Antonino, Augusto Sampaio

Professional Address

Federal Institute of Education, Science and Technology of Bahia (IFBA)

Address: R. Emídio dos Santos, s/n - Barbalho, Salvador - BA, 40301-015