Massimo Lauria
Scholar

Massimo Lauria

Google Scholar ID: XCR-qNgAAAAJ
Sapienza - Università di Roma
Computational ComplexityProof Complexity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
331
 
H-index
11
 
i10-index
13
 
Publications
20
 
Co-authors
10
list available
Contact
Emailmassimo.lauria@uniroma1.it
Publications
1 items
Redundancy rules for MaxSAT
2025
Cited
0
Resume (English only)
Research Experience
  • Currently serving as an Associate Professor at the Department of Statistical Sciences, Sapienza Università di Roma.
Background
  • Associate Professor at the Department of Statistical Sciences, Sapienza Università di Roma. Research interests include computational complexity theory.
Miscellany
  • Office hours: Tue 14.00-16.00 (write email first)
Co-authors
10 total
Jakob Nordström
Jakob Nordström
University of Copenhagen and Lund University
Nicola Galesi
Nicola Galesi
Sapienza University Rome
Marc Vinyals
Marc Vinyals
University of Auckland
Olaf Beyersdorff
Olaf Beyersdorff
Professor of Theoretical Computer Science, Friedrich Schiller University Jena, Germany
Yuval Filmus
Yuval Filmus
Associate Professor, Technion
Neil Thapen
Neil Thapen
Researcher, Institute of Mathematics, Czech Academy of Sciences
andrea clementi
andrea clementi
Full Professor, Dipartimento di Ingegneria dell'Impresa, Università Tor Vergata, Roma
Co-author 8
Co-author 8