Question: Are Yuri Matiyasevich and Mikhail Kravchuk both mathematicians?
Answer: yes