O PPgSC é atualmente composto por cinco Linhas de Pesquisa na área de Computação. Confira abaixo a descrição de cada uma delas e os docentes que nelas atuam.

Engenharia de Software
Esta Linha de Pesquisa dedica-se à proposição e avaliação de técnicas, métodos e ferramentas que abordam problemas relacionados à melhoria da qualidade e produtividade no processo de desenvolvimento e evolução de sistemas de software. As pesquisas nesta Linha estão relacionadas aos seguintes tópicos: engenharia de requisitos, arquitetura de software, testes de software, engenharia de software experimental, engenharia de linhas de produto de software, projeto de linguagens e Interação Humano-Computador (interação humano-drone, interface cérebro-computador), engenharia de sistemas colaborativos e mineração de repositórios de software (software analytics) aplicada ao contexto de entrega contínua de software.

Docentes:

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

Fundamentos da Computação
Esta Linha de Pesquisa dedica-se à investigação dos fundamentos que regem as várias áreas da Ciência da Computação. A investigação desses fundamentos induz ao maior conhecimento de problemas computacionais e, portanto, proporciona uma melhor engenharia das aplicações e de novos paradigmas de Computação. Nesse contexto, o interesse reside na modelagem rigorosa de diversos tipos de incertezas e imprecisões presentes em problemas do mundo real e que são a fonte de potenciais aplicações, em lógicas não clássicas que são motivadas por aspectos presentes em modelos de Computação, como por exemplo, inconsistências toleráveis (lógica paraconsistente) em banco de dados, raciocínio aproximado (lógica fuzzy) usado em sistemas especialistas e outras aplicações, em teorias matemáticas úteis à Ciência da Computação (teoria de ordens parciais, continuidade, etc.); hipercomputabilidade, aplicações de geometria discreta e computacional, etc. Outros tópicos abordados por esta linha de pesquisa são criptografia, processamento digital de imagens, linguagens formais, demonstradores automáticos de teoremas, lógica modal, dentre outros.

Docentes:

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

Inteligência Computacional e Computação Visual
Esta Linha de Pesquisa tem por objetivo formar recursos humanos de alto nível para contribuir efetivamente no desenvolvimento do conhecimento de fronteira em ciência nas áreas de Inteligência Computacional, Otimização e Computação Visual. Dentre as áreas abordadas, pode-se citar Aprendizado de Máquina, Inteligência Computacional e entretenimento digital, Otimização Combinatória mono e multiobjetivo, Computação Visual e Inteligência Computacional, Reconstrução de Imagens, Biometria e Segurança da Identidade, Sistemas de Realidade Virtual e Sistemas Multiagentes. As pesquisas são direcionadas a problemas reais em áreas tais como petróleo e gás, energias renováveis, transporte compartilhado em veículos, jogos, Biologia, Medicina, Odontologia, Geofísica, Geologia e Segurança Pública.

Docentes:

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

Linguagens de Programação e Métodos Formais
Esta Linha de Pesquisa tem como objetivo desenvolver e aplicar técnicas para aprimorar a qualidade, produtividade e confiabilidade na produção de artefatos computacionais, tanto em software quanto em hardware. A abordagem é através de linguagens de programação com sintaxe e semântica definidas precisamente e de métodos de desenvolvimento rigorosos com um embasamento matemático.

Docentes:

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

Sistemas Integrados e Distribuídos
Esta Linha de Pesquisa envolve as áreas de sistemas integrados, redes de computadores e sistemas distribuídos. Os temas englobam o estudo e desenvolvimento de técnicas e metodologias para o projeto e aplicação de sistemas integrados, redes de computadores e sistemas distribuídos. Na subárea Sistemas Distribuídos são tratados temas de pesquisa como Computação em Nuvem, Computação Ubíqua, Computação Móvel, middleware, Internet das Coisas, comunicação distribuída, redes de computadores e de próxima geração. Na subárea Sistemas Integrados/Embarcados são tratados tópicos de pesquisa englobando projeto de sistemas embarcados, arquiteturas de comunicação entre componentes de hardware, arquitetura de processadores, simulação em hardware, arquiteturas reconfiguráveis e linguagens para descrição de hardware. 

Docentes:

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