Ivantosaurus is an extinct genus of therapsid that lived in Russia during the Wordian stage of the Permian period, named in honor of paleontologist Ivan Antonovich Efremov. Wikipedia