Teaching

CS262 Logic and Verification

Research

Google Scholar, Microsoft Academic, DBLP, Publications

FoCS group, DIMAP centre, EATCS, ACM SIGLOG

STACS '20, FSTTCS '19, Autoboz '19, STOC '19, LICS '19, Dynamical Systems and Computation, SODA '19, GandALF '18, Highlights, MFCS '18, Autoboz '18, ICALP '18, INFINITY '18, LICS '18, HALG, FSTTCS '17, FaceTAV, GandALF '17, RP '17, ICALP '17, Gregynog 71717, LICS '17, LSV's 20th, C,S&P, AlgLogStr, ESSLLI '16, ICALP '16, LICS '16, FoSSaCS '16, ATI workshop LFDS, RP '15, ICALP '15, DIMAP Logic Day, AutoMathA '15, ISS '15, INFINITY '14, Dagstuhl 14141

PA: Sharon Howard

Office Hours, Summer Term 2019:
Mondays 10am-12noon

R.S.Lazic@warwick.ac.uk

+44 (0)24 765 73782

CS1.07