Ramadhan bin Alauddin itu apa sih?

Ramadhan bin Alauddin (1312―April 11, 1349, رمضان ابن علاء الدين ) adalah seorang darughachi (gubernur) dinasti Yuan atas daerah Prefektur Luchuan di Rongzhou, Provinsi Guangxi, yang berkepercayaan Islam dan bermuasal dari Korea. Ia bertugas hingga tahun kematiannya, 1349. Keberadaannya hanya diketahui lewat tulisan nisannya di pemakaman Masjid Huaisheng, Guangzhou. Ramadhan dikenal sebagai orang pertama yang bernama Muslim dari Korea, meskipun memang belum diketahui pasti apakah ia memang betul beretnis Korea.