 | ||
People also search for Jan Kratochvíl, Artur Czumaj, Vadim Lozin, Oleg Pikhurko | ||
Daniel Kráľ (born June 30, 1978) is a Czech mathematician and computer scientist who works as a professor of mathematics and computer science at the University of Warwick. His research primarily concerns graph theory and graph algorithms.
Kráľ won first place and a gold medal at the International Olympiad in Informatics in 1996. He obtained his Ph.D. from Charles University in Prague in 2004, under the supervision of Jan Kratochvíl. After short-term positions at TU Berlin, Charles University, and the Georgia Institute of Technology, he returned to Charles University as a researcher in 2006, and became a tenured associate professor there in 2010. He was awarded the degree of Doctor of Science by the Academy of Sciences of the Czech Republic in 2012, and in the same year moved to a professorship at Warwick.
In 2011, Kráľ won the European Prize in Combinatorics for his work in graph theory, particularly citing his solution to the Plummer–Lovász conjecture and his results on graph coloring. In the 1970s, Michael D. Plummer and László Lovász conjectured that every bridgeless cubic graph has an exponential number of perfect matchings, strengthening Petersen's theorem that at least one perfect matching exists. In a pair of papers with different sets of co-authors, Kráľ was able to show that this conjecture is true. In 2014, he won a Philip Leverhulme Prize in Mathematics and Statistics; the award citation again included Kráľ's research on the Plummer–Lovász conjecture, as well as other publications of Kráľ on pseudorandom permutations and systems of equations.