Teaching

CS310/44/50/51 Third Year Project

Research

Google Scholar, Microsoft Academic, DBLP, WRAP, Publications

FoCS group, DIMAP centre, EATCS, ACM SIGLOG

CONCUR '21, FoSSaCS '21, FSTTCS '20, GandALF '20, Highlights, 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

PA: Sharon Howard

Office Hours: Available most of the time, including evenings and weekends, please email.

R.S.Lazic@warwick.ac.uk

+44 (0)24 765 73782

CS1.07