Hussama Ibrahim Ismail

É mestre em Engenharia Elétrica na área de concentração em Controle e Automação pela Universidade Federal do Amazonas (UFAM, 2015), pesquisando sobre verificação formal de programas C e C++ utilizando verificação de modelos limitada (BMC) baseada em satisfação booleana (SAT) e teorias do módulo da satisfatibilidade (SMT). Possui graduação em Engenharia de Computação pela Fundação Centro de Análise Pesquisa e Inovação Tecnológica (FUCAPI, 2013). Atualmente, é Analista de Sistemas na Fundação Desembargador Paulo Feitoza (FPF Tech, 2015) e já atuou como Programador na Fundação Centro de Análise Pesquisa e Inovação Tecnológica (FUCAPI, 2011-2014). Tem experiência em desenvolvimento de software profissional utilizando Shell Script, C, C++, Java, Android, PHP e Javascript. Participou também em projetos de desenvolvimento de software para dispositivos mobile e plataforma Web na FUCAPI e em sistemas de testes de hardware em linhas de produção no Instituto José Rocha Sérgio Cardoso (iTJRSC, 2010).