Daniele Nantes-Sobrinho

Eine Methode, um die Korrektheit von Software durch strukturelle Analyse sicherzustellen.

Erkunde die Rolle der nominalen Algebra im Umgang mit Namen und Bindungen in der Programmierung.

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