Pengming Wang is currently a PhD student at the University of Cambridge. Previously he obtained his Master's degree from Saarland University, working at the Max-Planck Institute for Informatics. His research interests include descriptive complexity theory, constraint satisfaction problems, and optimization.