Axum ist eine Programmiersprache, die nebenläufige Programmierung auf vielen Kernen unterstützt, wobei der Schwerpunkt auf Korrektheit liegt. Sie wurde von Microsoft Research entwickelt und im Jahr 2012 unter der MIT-Lizenz veröffentlicht.
Die Sprache basiert auf dem Akteursmodell für gleichzeitige Berechnungen, bei dem jeder gleichzeitige Prozess ein Akteur mit einem eigenen privaten Zustand ist. Die Akteure kommunizieren miteinander, indem sie Nachrichten senden und empfangen. Dieser Ansatz soll es einfacher machen, korrekte nebenläufige Programme zu schreiben, indem der Zustand jedes Akteurs isoliert wird und die Notwendigkeit für Sperren entfällt.
Axum wurde für die Entwicklung einer Reihe von nebenläufigen Anwendungen verwendet, darunter eine Implementierung des MapReduce-Programmiermodells und eine verteilte Datenbank.