Marc Dikötter effectue ses études à Genève, puis à l'Ecole polytechnique fédérale de Lausanne où il obtient son diplôme d'ingénieur informaticien. Après des recherches sur l'architecture de machines dédiées au langage Prolog, il s'intéresse aux langages de progrmmation en général. Il acquiert son titre de docteur ès sciences avec la thèse intitulée «Le calcul des accepteurs: une approche uniforme de l'abstraction».