https://www.dominic-steinhoefel.de
https://www.cispa.de/en Darmstadt, Germany I am a postdoctoral researcher and team leader of the InputLab spin-off at CISPA (Saarbrücken / Germany).
Dominic Steinhöfel
The ISLa (Input Specification Language) language & solver.
rindPHI
