Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. https://xitter.cf/t.co/UOyCdkcxVK / @adbrucker@fediscience.org
Exeter, UK
Joined October 2015
- Tweets213
- Following1.5K
- Followers444
- Likes244
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
Achim D. Brucker retweeted
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?…
Achim D. Brucker retweeted
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
Achim D. Brucker retweeted
🚨 🔺 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
Achim D. Brucker retweeted
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
Achim D. Brucker retweeted
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
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
Achim D. Brucker retweeted
(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. isa-afp.org/entries/Interval… #ITP #IsabelleHOL #Math
I will be at the #embeddedworld next week in Nuremberg. Contact me if you want to meet and catch up!
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
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
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
Achim D. Brucker retweeted
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…
Achim D. Brucker retweeted
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…
Achim D. Brucker retweeted
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!
Achim D. Brucker retweeted
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
Achim D. Brucker retweeted
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!
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)
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