
معرفی
Sven Keidel is a Researcher at the Technical University of Darmstadt, Germany, actively contributing to programming languages research as evidenced by his role as Committee Member in the Artifact Evaluation Committee for ECOOP 2022.
His research focuses on Programming Languages, Static Analysis, and Compiler Construction, with significant work in Language Engineering and Functional Programming. He develops Haskell-based tools for sound static analysis (Sturdy library) and language frameworks (Monto editor system), demonstrating expertise in applying functional programming to solve complex language engineering problems.
Keidel maintains an active open-source presence on GitHub with projects including Sturdy (static analysis library), hsynth (software synthesizer), and gnome-citadel (simulation game), reflecting his interdisciplinary approach to programming language applications.
Sven Keidel در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Steven KeuchelMax Planck Institute for Software Systems · پژوهشگر
Ben HermannMax Planck Institute for Security and Privacy · استاد
Anders MøllerMax Planck Institute for Software Systems · استاد
Oliver BračevacMax Planck Institute for Software Systems · پژوهشگر
Tian TanMax Planck Institute for Software Systems · استادیار
Jurriaan HageHeriot-Watt University · استاد