Yeah, in Codeforces cheater database (https://cf-cheater-database.vercel.app/) from an official admin of Codeforces (repo here: https://github.com/macaquedev/cf-cheater-highlighter) has his username. He cheated once