Alfred Lothar Luft

• Grundlagen einer Methode für die rechnergestützte Verifikation von while-Programmen während der Programmerstellung
• Informatik
• Rationaler Sprachgebrauch und orthosprachliche Standardisierung als Grundlagen zuverlässiger Software-Entwicklung und Dokumentation
• Zur ingenieurwissenschaftlichen Theorie von Rechensystemen