Mauro Ferrari
Scholar

Mauro Ferrari

Google Scholar ID: _J3ZoLcAAAAJ
Full Professor of Mathematical Logic, Università degli Studi dell'Insubria
Mathematical LogicProof-theoryFormal verificationTheorem-proving
Citations & Impact
All-time
Citations
694
 
H-index
16
 
i10-index
24
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
1 items
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)