Reader in Computer Science · Queen Mary University of London
My research spans logic and proof complexity, information theory and network coding, and algorithmic/combinatorial methods. In recent work I also study reinforcement learning and representation/learnability barriers in games.
Earlier academic positions and research visits include (selected): LBRICS (Aarhus), University of Leeds, Hebrew University of Jerusalem, University of Lund, and Ohio State University.
The list below is loaded from DBLP (with light de-duplication of preprint/journal variants).
Tip: to produce a complete PDF (including the DBLP list), wait until the status says the publications are loaded, then use Print / Save as PDF.