Achim D. Brucker

Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. / @[email protected]

[Achim D. Brucker @adbrucker]

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:
https://t.co/Bltz0SnybS

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

[Einar Broch Johnsen @ebjohnsen]

The Role of Formal Methods in Computer Science Education. Summary of recent papers pointing out the key position of formal methods in CS ed https://t.co/NF0cSY4O3J

[Achim D. Brucker @adbrucker]

@ShriramKMurthi Schwäbisch Gmünd named a swimming pool in honor of Bud Spencer: https://t.co/tH8kVNILXR (after not naming a tunnel after him, as suggest by popular poll).

[José A. Alonso @Jose_A_Alonso]

Formally verified interval arithmetic and its application to program verification. ~ Achim D. Brucker, Teddy Cameron-Burke, Amy Stell. https://t.co/GpU6PsyusJ #ITP #IsabelleHOL

[BSides Exeter @BSidesExeter]

🚨 🔺 Red Track - Brought to you by Corelight, Infoblox and ReliaQuest

Achim D. Brucker - Attacking AI: A Primer.

Grab Your Ticket Today🎟 https://t.co/zR7ZRhh3Tz - 27th July 2024

Event Platinum Sponsor Optimising IT | B Corp™
#oooarrcyber

[José A. Alonso @Jose_A_Alonso]

PSPSP: A tool for automated verification of stateful protocols in Isabelle/HOL. ~ Andreas Viktor Hess, Sebastian Alexander Mödersheim, Achim D. Brucker and Anders Schlichtkrull. https://t.co/Npk0b0MxF2 #ITP #IsabelleHOL

[BSides Exeter @BSidesExeter]

A huge thank you to our venue sponsor - @UniofExeter Computer Science Department and Cyber Security Group. Achim D. Brucker has been instrumental with his support and guidance in preparation for the first-ever BSides Exeter.

🎟 https://t.co/zR7ZRhh3Tz

#oooarrcyber #comeonin

[Achim D. Brucker @adbrucker]

Amy is presenting our joint work on Formalising Interval Arithmetic in Isabelle at @FormaliSEconf in Lisbon. PDF: https://t.co/7NRPFveDmt (doi:10.1145/3644033.3644370) and the implementation is in the AFP: https://t.co/1ranxdJXws

@FormaliSEconf #formalise24 #isaprover

[José A. Alonso @Jose_A_Alonso]

(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. https://t.co/cZbxRXhXeR #ITP #IsabelleHOL #Math

[Achim D. Brucker @adbrucker]

Only for days to apply: https://t.co/kIWl7EbQSs

#postdoc #BPMN #BPL #FormalMethods #FormalMethodsJobs #AcademicChatter #Security #logic #Z3 #CVC5 #ERP #EnterpriseSecurity #SAP #SMT #CSP #AcademicJobs #SupplyChainSecurity #Manufacturing

[Achim D. Brucker @adbrucker]

We have an exciting opportunity for a PostDoc to work applying formal methods to enterprise systems: We will develop techniques to detect misconfigurations and vulnerabilities (exploitable by insiders and external attackers) in complex business-process-driven systems. 1/2

[Achim D. Brucker @adbrucker]

I will be at the #embeddedworld next week in Nuremberg. Contact me if you want to meet and catch up!

[Achim D. Brucker @adbrucker]

This contributes to protecting critical workflows, e.g., manufacturing, or logistics.

Apply until 18 Apr 2024:
https://t.co/kIWl7EbQSs 2/2

#postdoc #BPMN #BPL #FormalMethods #AcademicChatter #Security #logic #Z3 #CVC5 #ERP #EnterpriseSecurity #SAP #SMT #CSP #AcademicJobs

[Achim D. Brucker @adbrucker]

More information and application details at: https://t.co/RnP7zXrZJd and https://t.co/AqwhpBenKj (application deadline: 31st of March 2024). 2/2
#Isabelle #PhD #FormalMethods #AcademicChatter #Go #Golang #CSP #Verification #Security #ITP #Semantics #academia #PhDstudents

[Achim D. Brucker @adbrucker]

We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff from the Université Paris-Saclay on developing a formal semantics for Go (lang) in Isabelle/HOL. This new 'double PhD' programme leading to a PhD award from both universities. 1/2

[Adam Langley @BuildHackSecure]

Can I ask my U.K security followers to please please please retweet this, we're putting on our first BSides in Exeter in July this year and it's going to be great. Tickets and details are available here https://t.co/kd6mU1aCj3

[FACS 2024 @facs_conf]

FACS 24 will take place on 09-10 September 2024 co-located with @FMsymp.

The (tentative) deadline for submitting an abstract is May 8th, 2024!

https://t.co/PayPu89b9P

[Diego Marmsoler @DiegoMarmsoler]

Working on formal aspects of component software?Happy to announce that @facs_conf will take place on 9-10 September 2024, co-located with @FMsymp! Details will be announced soon!

[Diego Marmsoler @DiegoMarmsoler]

We are currently looking for a post-doctoral researcher in the area of #FormalMethods. The position is part of the EPSRC funded project "Secure Smart Contracts with Isabelle/Solidity". To find out more: https://t.co/4isZLYhiar

[Adam Langley @BuildHackSecure]

We’re launching our first @BSidesExeter in July 24 and currently looking for sponsorship, if any of my followers work in cybersecurity companies and are interested please reach out. Also if any learning platforms would like to be involved with vouchers that would be awesome!