Forschende

1 Treffer mit Thema „Spezifikationssprachen" in Mathematisch-Naturwissenschaftliche Fakultät · 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.

1Projekte