Joćo Rasga

For his up-to-date webpage please check here


Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal


jfr at
jrasga at skype


Assistant Professor for Logic and Computation at IST
Founding member of SQIG - IT
Vice-coordinator of SQIG - IT until September 2015

Short Biography

Born in 1973 in Coimbra, João Rasga graduated at IST where he got his PhD in Mathematics in 2003.



Most of his research has been focused on proof theory and on combinations of logics. Recently he is interested on the complexity of first order logic theories and on their combination.