Achim D. Brucker
adbrucker.bsky.social
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
👤 Joined on 19 November 2023
252
Followers
969
Following
2
Total Posts
📜 Kullanıcı Geçmişi
- 19 Kas 2023, 22:06
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@adbrucker.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
Looking forward to participating and speaking at an online workshop on ITPs and AI in mathematics over the next few days! Thanks @adbrucker.bsky.social for the invitation to speak and to the organising team at Exeter University for making it possible to participate from anywhere in the world.
Show Post
Formalizing neural networks (in Isabelle/HOL). ~ Achim D. Brucker, Amy Stell. www.isa-afp.org/entries/Neur... #ITP #IsabelleHOL #NeuralNetwork
Show Post(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. www.isa-afp.org/entries/Inte... #ITP #IsabelleHOL #Math
Show Post