Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Sven Keidel

Registered user since Thu 24 Mar 2016

Name: Sven Keidel

Country: Germany

Affiliation: JGU Mainz

Personal website: http://svenkeidel.de

Research interests: Abstract Interpretation, Static Analysis, Category Theory


SLE 2019Committee Member in Artifact Evaluation Committee within the SLE 2019-track
SPLASH 2019Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track
Show activities from other conferences

Using general profile