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