Isoetes hallasanensis adalah salah satu spesies tumbuhan dari famili Isoetaceae. Tumbuhan ini berasal dari bioma beriklim sedang di wilayah Korea (Jeju-do). Nama ilmiah Isoetes hallasanensis pertama kali dipublikasikan pada tahun 2008.
POWO (2024). "Plants of the World Online. Facilitated by the Royal Botanic Gardens, Kew. Published on the Internet; https://powo.science.kew.org/."
IPNI (2024). "International Plant Names Index. Published on the Internet http://www.ipni.org, The Royal Botanic Gardens, Kew, Harvard University Herbaria & Libraries, and Australian National Herbarium"
