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 math.ist.utl.pt
jrasga at skype
Assistant Professor for Logic and Computation at IST
Founding member of SQIG - IT
Vice-coordinator of SQIG - IT until September 2015
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.