Rodrigo Bonifacio de Almeida's Students
 |
Walter Lucas Monteiro de Mendonça |
Biography
Ph.D. candidate in Computer Science at the University of Brasília since 2019, holding a Master's degree in Computer Science from the same institution (2017-2019) and a Bachelor's degree in Information Systems from Centro Universitário de Patos de Minas (2010-2015). Formerly, I was employed as a web developer at Mídia Proativa (2015) and served as a scholarship holder in projects with the Brazilian Army (2017–2018). engaged in research and development at the Department of Electrical Engineering (UnB) from 2018 to 2020. Additionally, I contributed to a Research, Development, and Innovation (RD&I) project in collaboration with FAPDF, UNB, and CNJ from 2020 to 2022.
My research focuses on software evolution and source code rejuvenation. My research collectively contributes to areas such as programming language features, software development practices, and empirical studies on code transformations, aligning with my interests and expertise in software engineering, code understanding, and program transformations.
 |
Luís Henrique Vieira Amaral |
Biography
He has a degree in Control and Automation Engineering from the University of Brasília (2016) with a 15-month exchange program in Electrical and Computer Engineering at Purdue University (2015). He has a Master’s degree in Computer Science from the University of Brasília (2020) and is currently a PhD student in Computer Science at the same university. His interests and research fields include software reliability, empirical software engineering, data mining, program analysis, and machine learning. In 2015, he did a summer internship in software development at a startup in Chicago, IL. Between 2016 and 2018, he worked as a scholarship holder in research and development projects for the Brazilian Army. Between 2018 and 2019, he worked on the project of technological innovations in governance management for the Ministry of Planning. In 2019, during a technical visit to the research group at the University of Paderborn in Germany, he collaborated for 5 months on the development of empirical studies for detecting vulnerabilities in cryptography APIs. Between 2020 and 2022, he coordinated the development teams of the Virtual Social Office application in a partnership between the University of Brasília, the National Council of Justice, and FAPDF. Between 2022 and 2023, he worked as a technical manager of the Research, Development and Innovation (R&D) project of the Ministry of Development and Social Assistance (MDS with UnB). He currently works as a Cyber Security Associate at Banco do Brasil and develops research for improving the process of detecting software vulnerabilities using SAST and DAST.
 |
Alana Paula Barbosa Mota
|
Biography
I have a degree in Information Systems from União Pioneira de Integração Social (2021). I’m currently pursuing a master’s degree in IT at the University of Brasília - UnB and a postgraduate degree at Centro Universitáriode Brasília - Uniceub in Data Science and Machine Learning (Artificial Intelligence). I work as a developer on the Office Social Virtual (ESVirtual) application, the result of a partnership between CNJ, FAP-DF, Finatec, and others. I have experience in the field of Computer Science, with an emphasis on Information Systems and i am interested in the areas of Software Engineering and Development, as well as Machine Learning. My research focuses on software rejuvenation, a set of practices to revitalizelegacy systems, aiming to extend their useful life and keep them competitive. The objective is to collect relevant data and analyze sentiments related to the topic. Using previous literature, web crawlers, machine learning, and sentiment analysis, the research seeks to provide insights into the emotions and opinions present in the analyzed posts. The expected contribution is to provide an in-depth understanding of software rejuvenation, as well as to support informed decisions about software maintenance strategies in an ever-changing technological environment.
 |
Francisco Handrick Tomaz da Costa |
Biography
Master in System and Computation (2005) from Military Engineering Institute - IME/RJ and École Polytechnique Fédérale de Lausanne - EPFL. I am currently a PhD student in Informatics at the University of Brasilia, and a Business Support Analyst at Federal District’s Sanitation Company - CAESB, where I have worked in different areas of Information Technology. I have experience in the Science Computer area, with emphasis on Database and Software Engineering, working mainly in the following areas: Business Intelligence, Data Administration, Software Security, IT Governance.
My actual research focuses on exploring the security of applications on Android platform (app). Securing an app on the Android platform is crucial to protect user data, maintain privacy, and prevent unauthorized access. The work delves into the most popular classes of malware based on repackaging apps, where original versions of an app from an official app store are infected with malicious code, e.g., to broadcast sensitive information to a private server, and subsequently shared with users using different app stores. The research also focuses on examining how efficient, Mining Android Sandbox solution can be in detecting this popular class of Android malware based on repackaging benign apps. Mining Android Sandbox takes advantage of automated test case generation tools to explore the behavior of an app, in terms of calls to sensitive APIs.
 |
Fausto Carvalho Marques Silva
|
Biography
Master's student in Informatics at the University of Brasilia, holding a Bachelor's degree in Computer Science from Universidade Catolica de Brasilia. Possessing over 22 years of professional experience in the software industry and government sectors in Brazil and Canada. Beeing a founding member of a team that developed software for over 150 million users across Brazil, empowering the nation's electors through innovative e-voting solutions and also successfully tackled a diverse array of projects, ranging from behavioral biometrics and invisible identity verification, full-text databases, legal process software, and data science-driven fraud detection systems. Currently working as a Software Engineer for the Brazilian Public Prosecutor's Office.
My research is centered around the intricate domains of program analysis, software security, programming languages, and fuzzing. I actively contribute to the advancement of secure software development through a combination of empirical studies on program analysis and an exploration of programming language evolution. This aligns seamlessly with my deep-rooted interests and expertise in software engineering and the secure software development lifecycle.