Jonathan Mace是马克斯普朗克软件系统研究院的一名教员。