Galician Nicholas
Associate Professor
Department of Computer Science
Roma Tre University
Italy
Biography
"Since 05 I am associate professor at Sapienza in Rome in the Department of Computer Science. Before Rome I was associate professor at Universitat Politecnica de Catalunya (01-05) in Barcelona and Postdoc at IAS (00) in Princeton and at University of Toronto(03). In fall 15 I was visiting scientist at Simons Institute for Theory of Computing. UC-Berkeley. I received a PhD from Universitat Politecnica de Catalunya (00)."
Research Interest
Complexity Theory and Logic in Computer Science
Publications
-
"[20] Ilario Bonacina, Nicola Galesi. A framework for space complexity in algebraic proof systems. Journal of the ACM. 62(3): 23 (2015)"
-
"[21] Lorenzo Carlucci, Nicola Galesi and Massimo Lauria. Paris-Harrington tautologies. ACM Transactions on Computational Logic. 17(4) Sept. 2016"
-
"[22] Ilario Bonacina, Nicola Galesi, Neil Thapen. Total Space in Resolution Siam Journal on Computing. 45(5): 1894-1909 (2016)"
