معرفی
Federico Mogavero is a Researcher at the Department of Mathematics, University of Padua, specializing in Mathematical Logic under Scientific Disciplinary Sector MATH-04/A.
His research focuses on foundational mathematical structures including Model Theory, Proof Theory, Set Theory, and Computability Theory. This work explores formal systems, logical proofs, and computational foundations with significant applications in theoretical computer science and artificial intelligence.
Contact: email federico.mogavero@math.unipd.it or telephone +39 049 827 1267 from office room 5BC2.
۰مقاله منتشرشده