Ranko Lazic
Scholar

Ranko Lazic

Google Scholar ID: yGOk7boAAAAJ
Department of Computer Science, University of Warwick
theoretical computer science
Citations & Impact
All-time
Citations
861
 
H-index
16
 
i10-index
24
 
Publications
20
 
Co-authors
38
list available
Resume (English only)
Academic Achievements
  • Has multiple publications in top-tier conferences (e.g., NeurIPS, LICS, ICALP); serves as an editor for Information Processing Letters.
Research Experience
  • Published papers in several international conferences such as NeurIPS, LICS, ICALP, and involved in research work with the FoCS group and DIMAP center.
Background
  • Research interests include machine learning and theory, formal verification, and computational logic, among others.
Miscellany
  • Office hours: Mondays 11am-2pm during the Autumn Term 2025; contact: R.S.Lazic@warwick.ac.uk; phone: +44 (0)24 765 73782; office location: CS2.15