×
You are not logged in
Bluesky Profile
Achim D. Brucker
Registered: 19 Nov 2023 22:06
Last post: n/a
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
This account allows followers on Bluesky to be notified of new posts from this account.
| adbrucker.bsky.social PDS: shimeji.us-east.host.bsky.network 2023-11-19 22:06:53 |