Vitor Greati

vitorgreati.me

University of Groningen Groningen, The Netherlands Master in Systems and Computing (UFRN). PhD student at the University of Groningen, working on computational properties of nonclassical logics via proof theory.