Academic qualifications, summary of research achievements

• Doctor of Science (DSc) received in October 2012 from the Academy of Sciences of the Czech Republic
  Doctorate Degree (PhD) in Computer Science received in August 2004 from Charles University, Prague, Czech Republic
  Master Degree (Mgr) in Computer Science received in September 2001 from Charles University, Prague, Czech Republic
• Philip Leverhulme Prize in Mathematics and Statistics 2014
• European Prize in Combinatorics 2011
• ERC Consolidator grant "LADIST: Large discrete structures" (2015-20)
• ERC Starting grant "CCOSA: Classes of combinatorial objects - from structure to algorithms" (2010-15)
• over 100 journal research papers and over 20 contributions in refereed computer science conferences
  journal publications include those in Advances in Mathematics, Canadian Journal of Mathematics, Combinatorica, Computational Complexity, Geometric and Functional Analysis, Israel Journal of Mathematics, Journal of the ACM, Journal of the EMS, Journal of Combinatorial Theory Series A and B, and SIAM Journal on Discrete Mathematics
  conference publication include those at FOCS, ICALP, SODA and STACS
• over 750 non-self-citations according to WoS, H-index: 14 (WoS), 15 (MathSciNet), 27 (Google Scholar) as of March 2019

Employment history

• October 2018-now, Donald Ervin Knuth Professor, Faculty of Informatics, Masaryk University, Brno
  September 2018, professor, Faculty of Informatics, Masaryk University, Brno
• October 2012-now, professor, Mathematics Institute and Department of Computer Science, University of Warwick (since Sep 2018 part-time)
  member of the Centre for Discrete Mathematics and its Applications (DIMAP)
• July 2010-September 2012, associate professor, Department of Applied Mathematics (2010-11) and Computer Science Institute (2012), Charles University, Prague
  February 2011-December 2012, adjunct researcher, Department of Mathematics, University of West Bohemia, Pilsen
• August 2006-June 2010, researcher, Institute for Theoretical Computer Science, Charles University, Prague
• October 2005-July 2006, visiting assistant professor and Fulbright scholar, School of Mathematics, Georgia Institute of Technology, Atlanta
• August-September 2005, researcher, Department of Applied Mathematics, Charles University, Prague
• October 2004-July 2005, postdoctoral fellow, Institute for Mathematics, Technical University Berlin; the position was funded by the European training network COMBSTRU
• November 2001-September 2004, junior researcher, Institute for Theoretical Computer Science, Charles University, Prague
  September 2001-August 2004, PhD student, Charles University, Prague

Professional service

• Editor-in-Chief: SIAM Journal on Discrete Mathematics (since 2017, associate editor 2012-2016)
• Managing editor: Advances in Combinatorics (since 2018)
• Associate editor: Discrete Mathematics (since 2010) and Discrete Optimization (2010-2016)
• Editorial board membership: Journal of Graph Theory (since 2008) and European Journal of Combinatorics (since 2009)
• member of the steering committee of SODA (since 2016)
• Program committee chair: Canadian Discrete and Algorithmic Mathematics Conference (CANADAM) 2019
• Program committee membership: WG'06, MFCS'10, SODA'12, SOFSEM'12, IPEC'12, ICALP'13, EuroComb'13, SOFSEM'14, WG'14, SODA'15, EuroComb'15, FCT'15, MEMICS'15, CanaDAM'17, STACS'18, DMD'18, EuroComb'19
• Organizing committee membership: SIAM DM'12, BCC'15, SIAM DM'16
• Organization of schools and workshops: CCOSA Fall School 2011, CCOSA Winter School 2013, ICMS workshop on Extremal Combinatorics 2014, LMS-CMI Research school on Regularity and Analytic Methods in Combinatorics 2015, Oberwolfach workshop on Graph Theory 2016, Workshop on Algorithms, Logic and Structure 2016, 10 Year Anniversary DIMAP Workshop 2017, Workshop in Honour of Mike Paterson's 75th Birthday 2017, Workshop on Structural Sparsity, Logic and Algorithms 2018, Oberwolfach workshop on Graph Theory 2019, Dagstuhl workshop Sparsity in Algorithms, Combinatorics and Logic 2020
• Computer Science Panel of the Czech Science Foundation (2011-15, vice-chair 2012, 2019-now)
• Computer Science Board of the Charles University Grant Agency (member since 2010)

Supervision of graduate students and postdoctoral fellows

• Postdocs: Jean-Sébastien Sereni (2006-08), Louis Esperet (2008-09), Demetres Christofides (2010-11), Ján Mazák (2011-12), Andrew Treglown (2011-12), Roman Glebov (2013), Anita Liebenau (2013-15), Ping Hu (2014-2017), Tamás Hubai (2015-2017), Péter Pál Pach (2017-2018), Jonathan Noel (2017-2018), Andrzej Grzesik (2017-), Robert Hancock (2018-), Adam Kabela (2018-)
• Former PhD students: Pavel Nejedlý (Charles University, 2008), Jan Hladký (Charles University, 2013), Jan Volec (University of Warwick and Université Paris Diderot - Paris 7, 2014, co-advised with Jean-Sébastien Sereni), Lukáš Mach (University of Warwick, 2015), Tereza Klimošová (University of Warwick, 2015), Taísa Lopes Martins (University of Warwick, 2018)
• Current PhD students: Timothy Chan, Yanitsa Pehova
• Student internships: Andrew King (2008-09), Andrzej Grzesik (2013 and 2014), Matjaž Krnc (2013), Fiona Skerman (2014), Francois Dross (2015), James Hirst (2016), Anton Bernshteyn (2017 and 2018), Adam Zsolt Wagner (2017), Marcin Wrochna (2017)

Research interests

• Structural and extremal graph theory
• Analytic methods in combinatorics, in particular, combinatorial limits
• Logic methods in graph and matroid theory and their algorithmic applications

Selected papers

• J. W. Cooper, D. Kráľ, T. Martins: Finitely forcible graph limits are universal, Advances in Mathematics 340 (2018), 819-854.
• Z. Dvořák, D. Kráľ, R. Thomas: Testing first-order properties for subclasses of sparse graphs, Journal of ACM 60 (2013), article no. 5:36.
• L. Esperet, F. Kardoš, A. King, D. Kráľ, S. Norine: Exponentially many perfect matchings in cubic graphs, Advances in Mathematics 227 (2011), 1646-1664.
• A. Grzesik, D. Kráľ, L. M. Lovász: Elusive extremal graphs, available as arXiv:1807.01141.
• D. Kráľ, O. Pikhurko: Quasirandom permutations are characterized by 4-point densities, Geometric and Functional Analysis 23 (2013), 570-579.
• D. Kráľ, O. Serra, L. Vena: A Removal Lemma for systems of linear equations over finite fields, Israel Journal of Mathematics 187 (2012), 193-207.