Born in 1973 in Coimbra, João Rasga graduated at Instituto Superior Técnico (IST) in 1996 and received his PhD in Mathematics from Universidade Técnica de Lisboa in 2003. In 2020 he did his Habilitation in Mathematics at IST, Universidade de Lisboa. Currently he is an Associate Professor at the Department of Mathematics of Instituto Superior Técnico working in the area of Logic and Computation, and a researcher at Instituto de Telecomunicações (SQIG). He is the author or co-author of around forty research papers published in international peer reviewed journals. He is also a co-author of two text books and a co-editor of one book published internationally, as well as of the research book Decidability of Logical Theories and their Combination. João Rasga has (co-)supervised three PhD students and around a dozen MSc students in the area of Logic and Computation. He is a co-editor of a book series in College Publications as well as of a special issue on Decidability of Logics and Their Theories and Combinations.

His research is focused on Logic and Computation, covering decidability of logical theories, combination of logics, and mathematical logic.

Papers and profiles in the following links:

Projects at Instituto de Telecomunicações:

Supervised PhD theses:

Courses in the areas of Logic, Computation and Discrete Mathematics.