Teaching

CS254 Algorithmic Graph Theory, CS908 Research Methods

Research

Google Scholar, DBLP, WRAP

FoCS group, DIMAP centre, EATCS, ACM SIGLOG

NeurIPS '22, LICS '22, Highlights, CONCUR '21, LICS '21, FoSSaCS '21, FSTTCS '20, GandALF '20, CONCUR '20, Autoboz, ICALP '20, TACAS '20, STACS '20, FSTTCS '19, STOC '19, LICS '19, Dynamical Systems and Computation, SODA '19, GandALF '18, 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

Information Processing Letters

Office Hours, Spring Term 2023:
Mondays 1-3pm, Tuesdays 12-2pm

R.S.Lazic@warwick.ac.uk

+44 (0)24 765 73782

CS2.15