Ranko Lazic
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
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