Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.

ID: 1275898462228398080

linkhttp://berndfinkbeiner.de calendar_today24-06-2020 21:08:11