Joabe Bezerra de Jesus Júnior

Curriculum Vitae (CNPq Lattes)

Desde 2010 é Professor Assistente do curso de graduação em Engenharia da Computação do eComp e foi, em 2012, Coordenador de Infraestrutura do eComp (POLI/UPE). Desde 2011 é estudante de doutorado em Ciências da Computação na Universidade Federal de Pernambuco (UFPE), tendo concluído em 2009 o mestrado em Ciências da Computação pela mesma universidade. Possui experiência em pesquisa e desenvolvimento na área de Engenharia de Software com ênfase em Métodos Formais desde 2003. Já atuou como instrutor certificado das ferramentas da Borland na Facilit Tecnologia, como instrutor Java na Qualiti Software Processes, como professor do curso de Sistemas para a Internet na Faculdade Maurício de Nassau e como engenheiro de software na Fundação de Apoio ao Desenvolvimento da UFPE (FADE) lotado no Projeto Samsung vinculado ao Centro de Informática (CIn) da UFPE.

Publicações >

JESUS JÚNIOR, J. B.; MOTA, Alexandre ; Sampaio, A ; GRIJO, L. . Architectural Verification of Control Systems Using CSP. In: 13th International Conference on Formal Engineering Methods, 2011, Durham. 13th International Conference on Formal Engineering Methods. Reino Unido: SpringerLink, 2011. v. 6991. p. 323-339.

MOTA, Alexandre ; JESUS JÚNIOR, J. B. ; GOMES, A. ; FERRI, F. ; WATANABE, E. . Evolving a Safe System Design Iteratively. In: The 29th International Conference on Computer Safety, Reliability and Security, 2010, Viena. The 29th International Conference on Computer Safety, Reliability and Security, 2010. v. 6351. p. 361-374.