Joseph W. N. Paulus

Lern mal was über Programmterminierung und wie wichtig das in der nebenläufigen Programmierung ist.

Verstehen von typisierter Nicht-Determinismus und dessen Auswirkungen auf das Ressourcenmanagement in der Informatik.