Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Person

Druckansicht

Professor Dr. Sebastian Erdweg

Adresse Karlsruher Institut für Technologie (KIT)
Institut für Programmstrukturen und Datenorganisation (IPD)
Am Fasanengarten 5
76131 Karlsruhe

ORCID-ID 0000-0002-1974-5956

Projekte

Als Antragsteller
- laufende Projekte
  - Deklarative Performanz für Datalog (Sachbeihilfen)
  - Graduelle Abstrakte Interpretation (Sachbeihilfen)
- abgeschlossene Projekte
  - Evolute: Evolution von Softwaresystemen mittels erweiterbarer Sprachen und DSLs (Sachbeihilfen)
  - Korrekte, Effiziente und Flexible Fixpunkt-Algorithmen für Big-Step Abstrakte Interpreter (Sachbeihilfen)

© 2025 DFG Kontakt / Impressum / Datenschutz