I am an Associate Professor in Mathematical Logic at the Department of Mathematics. I can supervise PhD work in many areas of Mathematical Logic (especially Proof Theory and Computability Theory).
🙋🏻♂️You can send informal inquiries at lorenzo.carlucci@uniroma1.it.
Post-Doc at Sapienza
current PhD student in CS
Department of Computer, Control and Management Engineering
Proof Complexity, Computational Complexity