Achim D. Brucker's Avatar

Achim D. Brucker

@adbrucker

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

244
Followers 965
Following 1
Posts 19.11.2023
Joined
Posts Following

Latest posts by Achim D. Brucker @adbrucker

Preview
Formalizing Neural Networks Formalizing Neural Networks in the Archive of Formal Proofs

Formalizing neural networks (in Isabelle/HOL). ~ Achim D. Brucker, Amy Stell. www.isa-afp.org/entries/Neur... #ITP #IsabelleHOL #NeuralNetwork

17.11.2025 18:43 👍 2 🔁 1 💬 0 📌 0
Preview
FM 2026 - Special Track on TAP (Tests and Proofs) - FM 2026 FM 2026 welcomes a special track for the TAP (Tests and Proofs) conference series.

Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: conf.researchr.org/track/fm-202...

#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026

29.07.2025 09:50 👍 1 🔁 0 💬 0 📌 0
Preview
(Extended) Interval Analysis

(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. www.isa-afp.org/entries/Inte... #ITP #IsabelleHOL #Math

23.01.2024 07:59 👍 4 🔁 1 💬 0 📌 0