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

Masaryk University Masaryk University (MU) (; ) is the second largest university in the Czech Republic, a member of the Compostela Group and the Utrecht Network. Founded in 1919 in Brno, it now consists of ten faculties and 35,115 students. It is named after To ...

. His research primarily concerns

graph theory In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...

and graph

algorithm In mathematics and computer science, an algorithm () is a finite sequence of Rigour#Mathematics, mathematically rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algo ...

s..

Education and career

He obtained his Ph.D. from

Charles University in Prague Charles University (CUNI; , UK; ; ), or historically as the University of Prague (), is the largest university in the Czech Republic. It is one of the oldest universities in the world in continuous operation, the oldest university north of the ...

in 2004, under the supervision of

Jan Kratochvíl Jan Kratochvíl (born 10 February 1959) is a Czech mathematician and computer scientist whose research concerns graph theory and intersection graphs. Kratochvíl was born on 10 February 1959 in Prague. He studied at Charles University in Prague, ...

. After short-term positions at

TU Berlin Tu or TU may refer to: Language * Tu language * Tu (cuneiform), a cuneiform sign * ''tu'' or ''tú'' the 2nd-person singular subject pronoun in many languages; see personal pronoun * T–V distinction (from the Latin pronouns ''tu'' and ''vos'') ...

, Charles University, and the

Georgia Institute of Technology The Georgia Institute of Technology (commonly referred to as Georgia Tech, GT, and simply Tech or the Institute) is a public university, public research university and Institute of technology (United States), institute of technology in Atlanta, ...

, 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 A Doctor of Science (; most commonly abbreviated DSc or ScD) is a science doctorate awarded in a number of countries throughout the world. Africa Algeria and Morocco In Algeria, Morocco, Libya and Tunisia, all universities accredited by the s ...

by the

Academy of Sciences of the Czech Republic The Czech Academy of Sciences (abbr. CAS, , abbr. AV ČR) was established in 1992 by the Czech National Council as the Czech successor of the former Czechoslovak Academy of Sciences and its tradition goes back to the Royal Bohemian Society of ...

in 2012, and in the same year moved to a professorship at the

University of Warwick The University of Warwick ( ; abbreviated as ''Warw.'' in post-nominal letters) is a public research university on the outskirts of Coventry between the West Midlands and Warwickshire, England. The university was founded in 1965 as part of ...

. In 2018, Kráľ moved back to the Czech Republic and started working at Faculty of Informatics,

, accepting the Donald Knuth professorship chair.

Contributions

In the 1970s, Michael D. Plummer and

László Lovász László Lovász (; born March 9, 1948) is a Hungarian mathematician and professor emeritus at Eötvös Loránd University, best known for his work in combinatorics, for which he was awarded the 2021 Abel Prize jointly with Avi Wigderson. He ...

conjectured that every bridgeless

cubic graph In the mathematical field of graph theory, a cubic graph is a graph in which all vertices have degree three. In other words, a cubic graph is a 3-regular graph. Cubic graphs are also called trivalent graphs. A bicubic graph is a cubic bip ...

has an exponential number of

perfect matching In graph theory, a perfect matching in a graph is a matching that covers every vertex of the graph. More formally, given a graph with edges and vertices , a perfect matching in is a subset of , such that every vertex in is adjacent to exact ...

s, 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.

Recognition

Kráľ won first place and a gold medal at the

International Olympiad in Informatics The International Olympiad in Informatics (IOI) is an annual competitive programming competition and one of the International Science Olympiads Student competition, for secondary school students. The first IOI was held in 1989 in Pravetz, Bulgar ...

in 1996. In 2011, Kráľ won the

European Prize in Combinatorics The European Prize in Combinatorics is a prize for research in combinatorics, a mathematical discipline, which is awarded biennially at Eurocomb, the European conference on combinatorics, graph theory, and applications.. The prize was first awarde ...

for his work in graph theory, particularly citing his solution to the Plummer–Lovász conjecture and his results on

graph coloring In graph theory, graph coloring is a methodic assignment of labels traditionally called "colors" to elements of a Graph (discrete mathematics), graph. The assignment is subject to certain constraints, such as that no two adjacent elements have th ...

. In 2014, he won a

Philip Leverhulme Prize The Philip Leverhulme Prize is awarded by the Leverhulme Trust to recognise the achievement of outstanding researchers whose work has already attracted international recognition and whose future career is exceptionally promising. The prize sche ...

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 A pseudorandom sequence of numbers is one that appears to be statistically random, despite having been produced by a completely deterministic and repeatable process. Pseudorandom number generators are often used in computer programming, as tradi ...

permutation In mathematics, a permutation of a set can mean one of two different things: * an arrangement of its members in a sequence or linear order, or * the act or process of changing the linear order of an ordered set. An example of the first mean ...

s and systems of equations. He was elected as a Fellow of the

American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...

in the 2020 Class, for "contributions to extremal combinatorics and graph theory, and for service to the profession".

References

External links

Home pageGoogle scholar profile
{{DEFAULTSORT:Kral, Daniel Living people 1978 births Czech mathematicians Czech computer scientists Graph theorists Charles University alumni Academics of the University of Warwick Fellows of the American Mathematical Society