Ranko Lazic
Teaching
CS130 Mathematics for Computer Scientists I
Research
FoCS group, DIMAP centre, EATCS
Machine Learning & Theory, NeurIPS '23, MFCS '23, NeurIPS '22, LICS '22, Highlights, CONCUR '21, LICS '21, FoSSaCS '21, FSTTCS '20, GandALF '20, CONCUR '20, ICALP '20, TACAS '20, STACS '20, FSTTCS '19, Autoboz '19, STOC '19, LICS '19, Dynamical Systems and Computation, SODA '19, GandALF '18, MFCS '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
