Hussama Ismail
Hussama Ibrahim Ismail holds a B.Sc. degree in computer engineering from Foundation Center for Analysis, Research, and Technological Innovation (FUCAPI) in 2013 and a M.Sc. degree in Electrical Engineering from Federal University of Amazonas (UFAM) in 2015. His current research interests are formal methods, bounded model checking, and embedded systems. He has already worked as a software developer in Foundation Analysis Center Research and Technological Innovation (FUCAPI), and currently he is a systems analyst in FPF Tech. In general, Hussama has a solid experience of professional software development using Shell Script, C, C++, Java, PHP, and Javascript. Previously, he has participated of projects for mobile platform (android) in FPF Tech, WEB projects in FUCAPI, and hardware test of devices in José Rocha Sérgio Cardoso Institute (iTJRSC).
- e-mail: hussamaismail@fedoraproject.org, hussamaismail@projetofedora.org