1 Treffer mit Thema „Spezifikationssprachen" · Themen-Filter entfernen
Fabian Lehmann forscht aktuell an zwei parallelen Schwerpunkten: (1) Mathematische Grundlagen für computergestützte Existenzbeweise von speziellen geometrischen Strukturen (Calabi-Yau und G2-Mannigfaltigkeiten), und (2) Verwaltung und Optimierung von wissenschaftlichen Datenanalyse-Workflows in verteilten Rechensystemen.
