Studies Life, especially Computer Science in Bremen at Day, Makes Computers do things at Night.

I am currently doing my bachelor in Computer Science at the University Bremen. I work there as a student research assistant at the Cyber-Physical Systems Institute of German Research Centre for Artificial Intelligence. https://www-cps.hb.dfki.de/ where my Research Focus is Software Verification