Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Sebastian Erdweg

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

ORCID-ID 0000-0002-1974-5956

Projects

As Applicant
- Current projects
  - Declarative Performance for Datalog (Research Grants)
  - Gradual Abstract Interpretation (Research Grants)
- Completed projects
  - Evolute: Evolution of Software Systems with Extensible Languages and DSLs (Research Grants)
  - Sound, Efficient, and Flexible Fixpoint Algorithms for Big-Step Abstract Interpreters (Research Grants)

© 2025 DFG Disclaimer / Copyright / Privacy Policy