Hussama Ibrahim Ismail

  • Endereço para acessar este CV: http://lattes.cnpq.br/0237240942570724
  • Última atualização do currículo em 02/12/2015


É 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). (Texto informado pelo autor)


Identificação


Nome
Hussama Ibrahim Ismail
Nome em citações bibliográficas
ISMAIL, H. I.;IBRAHIM, H.;Hussama Ibrahim;ISMAIL, HUSSAMA IBRAHIM;Ismail, Hussama I.

Endereço


Endereço Profissional
Fundação Desembargador Paulo do Anjos Feitoza, Fundação Desembargador Paulo do Anjos Feitoza.
Avenida Governador Danilo Areosa
Distrito Industrial I
69075351 - Manaus, AM - Brasil - Caixa-postal: 21239700
Telefone: (92) 21239797
Fax: (92) 92
URL da Homepage: http://hussamaismail.eti.br


Formação acadêmica/titulação


2014 - 2015
Mestrado em Engenharia Elétrica.
Universidade Federal do Amazonas, UFAM, Brasil.
Título: Verificação de Modelos Aplicada ao Projeto de Controladores Digitais Implementados em Ponto-Fixo,Ano de Obtenção: 2015.
Orientador: Lucas Carvalho Cordeiro.
Coorientador: João Edgar Chaves Filho.
Bolsista do(a): Fundação de Apoio Institucional Rio Solimões, UNISOL, Brasil.
2009 - 2013
Graduação em Engenharia da Computação.
Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
Título: Simulador de Técnicas de Escalonamento de Sistemas de Tempo Real.
Orientador: Mikhail Yasha Ramalho Gadelha.
2006 - 2007
Curso técnico/profissionalizante.
Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
2006 - 2008
Ensino Médio (2º grau).
Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.




Formação Complementar


2015 - 2015
Programação Unity 3D Básico. (Carga horária: 44h).
Stock Training, STOCK, Brasil.
2015 - 2015
Desenvolvimento Web com HTML, CSS e Javascript. (Carga horária: 40h).
Caelum, CAELUM, Brasil.
2011 - 2011
Formação Profissonal JAVA. (Carga horária: 65h).
Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
2002 - 2002
Montagem e Manutenção de Computadores.
Instituto Federal de Educação, Ciência e Tecnologia do Amazonas, IFAM, Brasil.


Atuação Profissional



Fundação Centro de Análise Pesquisa e Inovação Tecnológica, FUCAPI, Brasil.
Vínculo institucional

2011 - 2014
Vínculo: , Enquadramento Funcional: Programador, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Desenvolvimento de sistemas WEB por meio da técnologia JAVA utilizando frameworks como Spring, Hibernate, DOJO Toolkit, Activiti, Maven entre outros


Instituto de Tecnologia - José Rocha Sérgio Cardoso, ITJRSC/AM, Brasil.
Vínculo institucional

2010 - 2011
Vínculo: Colaborador, Enquadramento Funcional: Técnico em Informática Jr / Técnico de Engen, Carga horária: 44, Regime: Dedicação exclusiva.
Outras informações
Suporte e desenvolvimento de sistemas de teste para placas mãe de notebook, desktop entre outros hardwares utilizando plataforma Linux.

Vínculo institucional

2009 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 30, Regime: Dedicação exclusiva.
Outras informações
▪ Desenvolvimento, Testes de Versões, Aplicativos e Suporte a Usuários ? SATUX Linux ▪ Criação de Website ? Joomla ▪ Montagem e Estruturação de Redes - Cabeamento e Configuração


Fundação Desembargador Paulo do Anjos Feitoza, FPF, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: , Enquadramento Funcional: Analista de Sistemas, Carga horária: 44



Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
5.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Banco de Dados.


Idiomas


Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.


Prêmios e títulos


2015
Best Paper Award in Embedded Systems Area for: "Model Checking Embedded C Software using k-induction and Invariants", V Brazilian Symposium on Computing Systems Engineering (SBESC).


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
GADELHA, MIKHAIL Y. R.2015GADELHA, MIKHAIL Y. R. ; Ismail, Hussama I. ; CORDEIRO, LUCAS C. . Handling loops in bounded model checking of C programs via k-induction. International Journal on Software Tools for Technology Transfer (Print), v. 1, p. 1-18, 2015; Meio de divulgação: Digital. Homepage: ; ISSN/ISBN: 14332779.

Trabalhos completos publicados em anais de congressos
1.
ISMAIL, H. I.; BESSA, IURY VALENTE DE ; CORDEIRO, LUCAS CARVALHO ; FILHO, JOAO EDGAR CHAVES ; LIMA FILHO, E. B. . DSVerifier: A Bounded Model Checking Tool for Digital Systems. In: 22nd International SPIN Symposium on Model Checking of Software, 2015, Stellenbosch - South Africa. SPIN 2015, 2015. v. 9232. p. 126-131.
Referências adicionais: Classificação do evento: Internacional; Brasil/ Inglês; Homepage: http://dsverifier.org.

2.
TRINDADE, A. ; ISMAIL, H. I. ; CORDEIRO, L. C. . Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems. In: V Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguaçu - Paraná. SBESC. USA: IEEE, 2015.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português.

3.
ROCHA, H. ; ISMAIL, H. I. ; CORDEIRO, L. C. . Handling loops in bounded model checking of C programs via k-induction. In: V Brazilian Symposium on Computing Systems Engineering (SBESC), 2015, Foz do Iguaçu - Paraná. SBESC. USA: IEEE, 2015.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português.

4.
ISMAIL, HUSSAMA IBRAHIM ; CORDEIRO, LUCAS CARVALHO ; FILHO, JOAO EDGAR CHAVES . Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking. In: 2014 Brazilian Symposium on Computing Systems Engineering (SBESC), 2014, Manaus. 2014 Brazilian Symposium on Computing Systems Engineering, 2014. p. 49.
Referências adicionais: Classificação do evento: Nacional; Brasil/ Português; ISSN/ISBN: 9781479985593.




Página gerada pelo Sistema Currículo Lattes em 20/10/2018 às 18:13:12