PPgSC currently comprises five lines of research in Computer Science. Check out the descriptions of each line and the researchers assigned to each one.

Software Engineering
This line of research focuses on proposing and evaluating techniques, methods, and tools that address problems related to improving quality and productivity in the development and evolution of software systems. Research in this line focuses on the following topics: requirements engineering, software architecture, software testing, experimental software engineering, software product line engineering, language design and human-computer interaction (human-drone interaction, brain-computer interface), collaborative systems engineering, and software repository mining (software analytics) applied to the context of continuous software delivery.

Reseachers:

• Dr. Eduardo Henrique da Silva Aranha
• Dr. Leonardo Cunha de Miranda
• Dr. Lyrene Fernandes da Silva
• Dr. Marcia Jacyntha Nunes Rodrigues Lucena
• Dr. Uirá Kulesza 

Computer Science Fundamentals
This line of research focuses on investigating the fundamentals that govern various areas of Computer Science. Investigating these fundamentals leads to a deeper understanding of computational problems and enables the better engineering of applications, as well as the development of new computing paradigms. The focus lies on rigorously modeling various types of uncertainties and imprecision present in real-world problems, which are the source of potential applications. This line of research concerns non-classical logic motivated by aspects present in Computer Science models, such as tolerable inconsistencies (paraconsistent logic) in databases, approximate reasoning (fuzzy logic) used in expert systems and other applications, and mathematical theories useful to Computer Science (partial order theory, continuity, etc.); hypercomputability; applications of discrete and computational geometry; and other topics addressed by this research line include cryptography, digital image processing, formal languages, automatic theorem provers, modal logic, and others.

Researchers:

• Dr. Anderson Paiva Cruz
• Dr. Benjamin Rene Callejas Bedregal
• Dr. Regivan Hugo Nunes Santiago

Computational Intelligence and Visual Computing
This line of research aims to train high-level human resources to effectively contribute to the development of cutting-edge scientific knowledge in the areas of Computational Intelligence, Optimization, and Computer Vision. Areas covered include Machine Learning, Computational Intelligence and Digital Entertainment, Single- and Multi-Objective Combinatorial Optimization, Computer Vision and Computational Intelligence, Image Reconstruction, Biometrics and Identity Security, Virtual Reality Systems, and Multi-Agent Systems. Research focuses on real-world problems in various areas, including oil and gas, renewable energy, ride-sharing, gaming, biology, medicine, dentistry, geophysics, geology, and public safety.

Researchers:

• Dr. Anne Magaly de Paula Canuto
• Dr. Bruno Motta de Carvalho
• Dr. Leonardo Cesar Teonácio Bezerra
• Dr. Silvia Maria Diniz Monteiro Maia

Programming Languages and Formal Methods
This line of research aims to develop and apply techniques to enhance the quality, productivity, and reliability of computational artifacts, encompassing both software and hardware. The approach utilizes programming languages with precisely defined syntax and semantics, as well as rigorous development methods with a mathematical foundation.

Researchers:

• Dr. Marcel Vinicius Medeiros Oliveira
• Dr. Martin Alejandro Musicante
• Dr. Sérgio Queiroz de Medeiros 

Embedded and Distributed Systems
This line of research encompasses embedded systems, computer networks, and distributed systems. The topics include the study and development of techniques and methodologies for designing and applying embedded systems, computer networks, and distributed systems. The Distributed Systems sub-area addresses research topics such as Cloud Computing, Ubiquitous Computing, Mobile Computing, middleware, the Internet of Things, distributed communication, computer networks, and next-generation networks. The Embedded Systems sub-area addresses research topics encompassing embedded system design, communication architectures between hardware components, processor architecture, hardware simulation, reconfigurable architectures, and hardware description languages.

Researchers:

• Dr. Augusto José Venâncio Neto
• Dr. Everton Ranielly de Sousa Cavalcante
• Dr. Gibeon Soares de Aquino Júnior
• Dr. Marcio Eduardo Kreutz
• Dr. Nelio Alessandro Azevedo Cacho
• Dr. Roger Kreutz Immich
• Dra. Thais Vasconcelos Batista