José Félix Costa é licenciado em Física pela Faculdade de Ciências da Universidade de Lisboa, fez Provas de Aptidão Pedagógica e Capacidade Científica em Geofísica na Universidade dos Açores, é Mestre em Matemática Aplicada e Doutor em Matemática pelo Instituto Superior Técnico da Universidade de Lisboa e Agregado em Informática (Ciência da Computação) pela Faculdade de Ciências da Universidade de Lisboa.

Foi colaborador do Instituto de Santa Fé (Novo México), professor visitante do Technion (Haifa), da Universidade de Tel Aviv (Ramat Gan) e da School of Physical Sciences da Universidade de Swansea. Atualmente, é Professor Associado do Departamento de Matemática do Instituto Superior Técnico. Recebeu o Prémio Descartes do Ministério das Finanças (em colaboração com os professores Amílcar e Cristina Sernadas), uma Menção Honrosa relativa ao Prémio Científico IBM e outras distinções de instituições públicas.

José Félix Costa lecionou diversas disciplinas ao longo da sua carreira. Mais recentemente dedicou-se ao ensino da Computabilidade, Complexidade Computacional, Teoria da Aprendizagem e Matemática Discreta. Publicou cerca de uma centena de artigos em revistas, livros e atas de conferências internacionais e orientou mais de quarenta projetos de tese entre doutoramentos, mestrados e trabalhos finais de curso (pré-Bolonha). Paula Gouveia é licenciada em Engenharia Geográfica pela Faculdade de Ciências da Universidade de Lisboa, é Mestre em Matemática Aplicada e Doutora em Matemática pelo Instituto Superior Técnico da Universidade de Lisboa. Atualmente, é Professora Auxiliar do Departamento de Matemática do Instituto Superior Técnico.

Ao longo da carreira lecionou diversas disciplinas nas áreas da Lógica e Ciência da Computação, nomeadamente Computação e Programação a alunos de diversas licenciaturas em engenharia, e Fundamentos Lógicos da Programação, Teoria da Computação e Matemática Discreta a alunos de licenciaturas em Matemática e Engenharia Informática. É coautora de várias publicações científicas, em particular na área da Verificação Formal de Sistemas.