Joćo Rasga

Warning:

 

João Rasga moved to CMAF-CIO in September 2015.

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


Short Biography

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


Teaching


Research

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.


Publications