Axum je programovací jazyk navrhnutý na podporu súbežného programovania na mnohých jadrách s dôrazom na korektnosť. Vyvinula ho spoločnosť Microsoft Research a v roku 2012 ho vydala pod licenciou MIT.
Jazyk je založený na aktérovom modeli súbežných výpočtov, v ktorom je každý súbežný proces aktérom s vlastným súkromným stavom. Aktéri medzi sebou komunikujú posielaním a prijímaním správ. Tento prístup má uľahčiť písanie korektných súbežných programov tým, že izoluje stav každého aktéra a eliminuje potrebu zamykania.
Axum bol použitý na vývoj viacerých súbežných aplikácií vrátane implementácie programovacieho modelu MapReduce a distribuovanej databázy.