Christoph Senn

I am working on the analysis and verification of neural networks using abstract interpretation. Further, I am also highly interested in morphological computing and its applications based on (physical) reservoir computing.