Question: Are Yuri Matiyasevich and Mikhail Kravchuk both mathematicians?

Context paragraphs:
Yuri Matiyasevich: Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич ; born March 2, 1947, in Leningrad) is a Russian mathematician and computer scientist.  He is best known for his negative solution of Hilbert's tenth problem (Matiyasevich's theorem), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).

Géraud Sénizergues: Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux.  With Yuri Matiyasevich he obtained results about the Post correspondence problem.  He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"

Chern Prize (ICCM): The Chern Prize in Mathematics was established in 2001 in honor of Professor Shiing-Shen Chern.  The Chern Prize is presented every three years at the International Congress of Chinese Mathematicians to Chinese mathematicians and those of Chinese descent for "exceptional contributions to mathematical research or to public service activities in support of mathematics".  Winners are selected by a committee of mathematicians to recognize the achievements of mathematicians of Chinese descent.  In 2010, a special commemorative event was held in Beijing in addition to the normal award presentation to celebrate the centennial of Professor Chern's birth.

Robert Kravchuk: Robert Sacha Kravchuk (born July 4, 1955, Stamford, Connecticut) is an American scholar known in the fields of public administration and public finances, as well as because of his expertise on Ukraine.  He is the current director of the Master of Public Affairs program at the Indiana University School of Public and Environmental Affairs.  Kravchuk is a fellow of the National Academy of Public Administration.  As an author, he is held in libraries worldwide.

Mikhail Kravchuk: Mykhailo Pylypovych Kravchuk, also Krawtchouk (Ukrainian: Миха́йло Пили́пович Кравчу́к ) (September 27, 1892 – March 9, 1942), was a Soviet Ukrainian mathematician who, despite his early death, was the author of around 180 articles on mathematics.

The Christmas Miracle: The Christmas Miracle (Russian: Рождественская мистерия , "Rozhdestvenskaya misteriya " ) is a 2000 Russian romantic drama film directed by Yuriy Feting and Andrei Kravchuk, starring Aleksey Kravchenko and Chulpan Khamatova.  It has a fairy-tale narrative about a couple who reunite at Christmas after many years apart.  It was Kravchuk's debut film as director.  The film was released in Russian cinemas on 21 December 2000.

2009 Fergana Challenger – Doubles: Konstantin Kravchuk and Łukasz Kubot didn't defend their 2009 title.  Kubot chose to not play and Kravchuk (who partnered up with Lukáš Lacko) lost to more late champions - Pavel Chekhov and Alexey Kedryuk in the quarterfinals.

Lutsk Gymnasium 21: Lutsk Gymnasium #  21 after Mikhail Kravchuk  is an elementary (grades 1-4), middle (grades 5-9) and high (grades 10-11) school with the specialization in some subjects, determined yearly according to the students' and parents' wishes, recommendations of senior teachers and a stuff phycologist.

2013 President's Cup (tennis) – Men's Doubles: Konstantin Kravchuk and Denys Molchanov were the defending champions, but Molchanov chose not to compete Kravchuk played with Teymuraz Gabashvili but lost in the quarterfinals. <br>

Mikhail Kravchuk (footballer): Mikhail Kravchuk (Belarusian: Мiхаiл Краўчук ; Russian: Михаил Кравчук ; born 19 September 1991) is a Belarusian professional football player currently playing for Luch Minsk.

Supporting paragraphs: Yuri Matiyasevich Mikhail Kravchuk
Answer: yes