Engenharia de Software

Sobre a Área

Na nossa investigação em Engenharia de Software, procuramos transformar o desenvolvimento de sistemas, tornando-os mais seguros, eficientes e sustentáveis. Para isso, aplicamos abordagens rigorosas para garantir a qualidade do software, desde a conceção até à implementação, com garantias formais que asseguram o seu funcionamento correto. Saiba mais aqui.

Exploramos novas formas de tornar os sistemas mais sustentáveis e otimizar processos complexos, incluindo aqueles que envolvem grande quantidade de dados ou computação em grande escala, reduzindo a necessidade de recursos e melhorando a eficiência energética.

O nosso trabalho também aborda a interação com os utilizadores, criando interfaces mais intuitivas e acessíveis, que garantam uma experiência de uso eficiente e agradável.

Investigamos ainda o potencial da computação quântica na engenharia de software, estudando como pode ser integrada para criar sistemas mais rápidos, seguros e preparados para desafios complexos.

Assim, contribuímos para um futuro digital mais responsável, inovador e preparado para os desafios do amanhã.