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

Detailseite

Person

Druckansicht

Professor Dr. Sebastian Erdweg

Adresse Johannes Gutenberg-Universität Mainz
Institut für Informatik
AG Programming Languages
Staudingerweg 9
55128 Mainz

ORCID-ID 0000-0002-1974-5956

Projekte

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

© 2024 DFG Kontakt / Impressum / Datenschutz