Ranko Lazic
Teaching
CS254 Algorithmic Graph Theory, CS908 Research Methods
Research
FoCS group, DIMAP centre, EATCS, ACM SIGLOG
MFCS '23, 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