Senere formulerte og løste han problemet med de spisende filosofer, som viser hva som skjer når mange programmer skal dele få ressurser. Han var videre med på å designe programmeringsspråket ALGOL, som var et av de første høynivåprogrammeringsspråkene.