Anyway, he can open RavenCoin block explorer https://ravencoin.network/ , enter his address and see who stole his coins (if someone did).