Joabe Bezerra de Jesus Júnior

Bachelor's at Bacharelado em Ciências da Computação from Universidade Federal de Pernambuco (2006) and master's at Computer Science from Universidade Federal de Pernambuco (2009). Has experience in Computer Science, focusing on Formal Languages and Automata, acting on the following subjects: métodos formais, workshop, refinamento and gerenciamento de requisitos.

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.