Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. logicalhacking.com / @adbrucker@fediscience.org
Joined October 2015
- Tweets 213
- Following 1,480
- Followers 447
- Likes 245
7 Photos and videos
29 Jul 2025
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-…
#FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
188
Achim D. Brucker retweeted
21 Nov 2024
The Role of Formal Methods in Computer Science Education. Summary of recent papers pointing out the key position of formal methods in CS ed inroads.acm.org/article.cfm?…
6
9
632
Achim D. Brucker retweeted
10 Jun 2024
Formally verified interval arithmetic and its application to program verification. ~ Achim D. Brucker, Teddy Cameron-Burke, Amy Stell. dl.acm.org/doi/pdf/10.1145/3… #ITP #IsabelleHOL
1
5
21
2,911
Achim D. Brucker retweeted
5 Jun 2024
🚨 🔺 Red Track - Brought to you by Corelight, Infoblox and ReliaQuest
Achim D. Brucker - Attacking AI: A Primer.
Grab Your Ticket Today🎟 ti.to/bsides-exeter/bsides-e… - 27th July 2024
Event Platinum Sponsor Optimising IT | B Corp™
#oooarrcyber
5
5
7
382
Achim D. Brucker retweeted
19 May 2024
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. imm.dtu.dk/~samo/pspspj-prep… #ITP #IsabelleHOL
2
2
329
Achim D. Brucker retweeted
19 Apr 2024
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.
🎟 ti.to/bsides-exeter/bsides-e…
#oooarrcyber #comeonin
1
4
185
15 Apr 2024
Amy is presenting our joint work on Formalising Interval Arithmetic in Isabelle at @FormaliSEconf in Lisbon. PDF: brucker.ch/download/2024/bru… (doi:10.1145/3644033.3644370) and the implementation is in the AFP: isa-afp.org/entries/Interval…
@FormaliSEconf #formalise24 #isaprover
2
6
255
Achim D. Brucker retweeted
23 Jan 2024
(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. isa-afp.org/entries/Interval… #ITP #IsabelleHOL #Math
2
11
526
28 Mar 2024
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
2
5
7
915
14 Apr 2024
Only for days to apply: jobs.exeter.ac.uk/hrpr_webre…
#postdoc #BPMN #BPL #FormalMethods #FormalMethodsJobs #AcademicChatter #Security #logic #Z3 #CVC5 #ERP #EnterpriseSecurity #SAP #SMT #CSP #AcademicJobs #SupplyChainSecurity #Manufacturing
3
3
238
5 Apr 2024
I will be at the #embeddedworld next week in Nuremberg. Contact me if you want to meet and catch up!
93
28 Mar 2024
This contributes to protecting critical workflows, e.g., manufacturing, or logistics.
Apply until 18 Apr 2024:
jobs.exeter.ac.uk/hrpr_webre… 2/2
#postdoc #BPMN #BPL #FormalMethods #AcademicChatter #Security #logic #Z3 #CVC5 #ERP #EnterpriseSecurity #SAP #SMT #CSP #AcademicJobs
117
18 Mar 2024
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
1
5
4
551
18 Mar 2024
More information and application details at: exeter.ac.uk/study/pg-resear… and adum.fr/as/ed/voirpropositio… (application deadline: 31st of March 2024). 2/2
#Isabelle #PhD #FormalMethods #AcademicChatter #Go #Golang #CSP #Verification #Security #ITP #Semantics #academia #PhDstudents
114
Achim D. Brucker retweeted
22 Feb 2024
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 ti.to/bsides-exeter/bsides-e…
6
41
48
17,610
Achim D. Brucker retweeted
11 Jan 2024
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!
facs-conference.github.io/20…
8
8
879
Achim D. Brucker retweeted
12 Dec 2023
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!
8
9
666
Achim D. Brucker retweeted
17 Oct 2023
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: ow.ly/5Cb050PXxNJ
3
5
942
Achim D. Brucker retweeted
19 Aug 2023
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!
15
21
7,681
8 May 2023
And while we are at it, we also have open positions in all areas of computer science. Both with the more traditional research and teaching a split (E&R) and with a teaching focus (E&S):
jobs.exeter.ac.uk/hrpr_webre… (E&R)
jobs.exeter.ac.uk/hrpr_webre… (E&S)
8 May 2023
We are growing the cyber security group at Exeter. Applications in all areas of security (and safety) are welcome! This is a great opportunity to shape the future of a growing research group.
jobs.exeter.ac.uk/hrpr_webre… #academicTwitter #infosec #cybersecurity #formalmethods
1
2
294