Mario Wenzel forscht im Bereich deduktiver Datenbanken und logischer Programmierung mit Schwerpunkt auf Datalog und Answer Set Programming. Er arbeitet am IT-Servicezentrum der Martin-Luther-Universität Halle-Wittenberg und engagiert sich als stellvertretender Sprecher der GI-Fachgruppe „Deklarative Programmierung".