- Exeter, UK
- https://brucker.ch
-
Cybersecurity Prof at Uni Exeter, UK. Former Security Testing Strategist at SAP SE. https://logicalhacking.com
- Joined on
2016-07-24
A Collection of Isabelle Programming Hacks
Updated 2023-05-14 15:37:43 +00:00