Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Dr. Sebastian Erdweg

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

ORCID-ID 0000-0002-1974-5956

Projects

As Applicant
- Current projects
  - Sound, Efficient, and Flexible Fixpoint Algorithms for Big-Step Abstract Interpreters (Research Grants)
  - 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)

© 2024 DFG Disclaimer / Copyright / Privacy Policy