Lanao del Sur es una provincia en la Región Autónoma del Mindanao Musulmán en Filipinas. Su capital es Marawi.