Axum je programovací jazyk navržený pro podporu souběžného programování na mnoha jádrech s důrazem na korektnost. Byl vyvinut společností Microsoft Research a v roce 2012 vydán pod licencí MIT.
Jazyk je založen na aktérovém modelu souběžných výpočtů, v němž je každý souběžný proces aktérem s vlastním soukromým stavem. Aktéři mezi sebou komunikují odesíláním a přijímáním zpráv. Tento přístup má usnadnit psaní korektních souběžných programů tím, že izoluje stav každého aktéra a eliminuje potřebu zamykání.
Axum byl použit k vývoji řady souběžných aplikací, včetně implementace programovacího modelu MapReduce a distribuované databáze.