Achim D. Brucker @adbrucker
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. https://t.co/UOyCdkcxVK / @[email protected] brucker.ch Exeter, UK Joined October 2015-
Tweets213
-
Followers452
-
Following1K
-
Likes246
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-2026/… #FormalMethods #SoftwareTesting #Verification #Proof #SymbolicExecution #FM2026 #TAP2026
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?ai…
Formally verified interval arithmetic and its application to program verification. ~ Achim D. Brucker, Teddy Cameron-Burke, Amy Stell. dl.acm.org/doi/pdf/10.114… #ITP #IsabelleHOL
🚨 🔺 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/… - 27th July 2024 Event Platinum Sponsor Optimising IT | B Corp™ #oooarrcyber
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-p… #ITP #IsabelleHOL
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/… #oooarrcyber #comeonin
Amy is presenting our joint work on Formalising Interval Arithmetic in Isabelle at @FormaliSEconf in Lisbon. PDF: brucker.ch/download/2024/… (doi:10.1145/3644033.3644370) and the implementation is in the AFP: isa-afp.org/entries/Interv… @FormaliSEconf #formalise24 #isaprover
(Extended) interval analysis (in Isabelle/HOL). ~ Achim D. Brucker & Amy Stell. isa-afp.org/entries/Interv… #ITP #IsabelleHOL #Math
I will be at the #embeddedworld next week in Nuremberg. Contact me if you want to meet and catch up!
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/…
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/2024/
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!
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
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_webrecrui… (E&R) jobs.exeter.ac.uk/hrpr_webrecrui… (E&S)
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_webrecrui… (E&R) jobs.exeter.ac.uk/hrpr_webrecrui… (E&S)

Toby Murray @tobycmurray
1K Followers 631 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Claudio @menghi_claudio
221 Followers 270 Following
Nicky King @NickyKingExe
460 Followers 383 Following PFHEA, NTF, Professor of Natural Sciences Education at Exeter. All thoughts are my own. If you can't find me I'm probably on Dartmoor with the family.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Josh Grossman 👻 (t... @JoshCGrossman
2K Followers 2K Following Friendly AppSec Ghost 👻 @OWASP_IL | @OWASP_ASVS Mastodon 🐘: https://t.co/dHMXcjRkMH Blue Sky 🦋: https://t.co/LZHGv7q5HD
Sam Stepanyan @securestep9
7K Followers 4K Following @OWASPLondon Chapter Leader (#OWASP #OWASPLondon). OWASP Board Member. Application Security (#AppSec) Consultant. OWASP Nettacker Project co-leader. #CISSP
freakyclown @_Freakyclown_
17K Followers 3K Following Co-Founder of @CygentaHQ former head of cyber research @Raytheon - Keynote Speaker, ethical hacker and physical security specialist. Author of How I Rob Banks.
Lisa Forte @LisaForteUK
55K Followers 4K Following Cyber Security - Partner @redgoatcyber - Climber / Caver. she/her
Habtom Kahsay @habtomk
446 Followers 795 Following
Essie @ShannonWil62324
156 Followers 1K Following Life gives us unlimited possibilities, so let's create our own splendor with a positive attitude and strong faith.
P I M P @PIMP149078
29 Followers 1K Following
Pascal Fontaine @Pascal_Fontaine
6 Followers 123 Following
SAP® Strategie- & Ma... @S4_SalesAcademy
68 Followers 5K Following 🔶Done4You 🔶Shortcuts 🔶Mistake Prevention (Costs) 🔶Webinar-Hub 🔶Videos 🔶Tutorials 🔶SAP Copywriter AI Bot 🔶SAP Marketing AI Bot 🔶Tool Suite
AppSec Village @AppSec_Village
11K Followers 6K Following AppSec Village @DEFCON & @RSAConference A volunteer-run, non-profit focused on education, awareness, and community. Founded by @erezyalon and @tzionit411.
Srugi @Srugi8866572
1 Followers 34 Following
Zara Squire @Lydia17585
100 Followers 877 Following family means everything 💖🫶 LDAA is my Absolute worldand always will be and reason behind my 2nd chance at life💖🫶
Ladyk Whipple @ladyk53415
0 Followers 174 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/eAlZAJf5xp
Shilan1400 @Phenoomenoon98
2 Followers 57 Following
Jinhao Tan @tamkamhou
70 Followers 429 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
ocean champ @ocean_tammy_han
0 Followers 754 Following Sensible. Mindful. Adaptable. Lovable. Problem Solver. Credible. more like water in thought.
Saptarshi Das @SaptarshiDasSap
142 Followers 764 Following Senior Lecturer in Mathematics@UniExeCornwall, AI/Data Scientist, Control & Power Engineer, Interdisciplinary Scientific Artist, Ancient Text & Music Researcher
... @_BlackW0lf
594 Followers 2K Following Masters degree from SHU. Now full time Pentester. Archer. Newbie biohacker. studying japanese ハッカー . Insert more here. Should come with warning lables.
Spimees @spimees
74 Followers 2K Following Software engineer focusing on desktop. Independent researcher on concurrency.
S4-Experts SAP® Maga... @S4_Magazines
156 Followers 8K Following 🔶30 always up-to-date Magazine Types 🔶SAP Community News 🔶Products 🔶Services 🔶New Business Models🔶Public Relations 🔶Network Entity @s4experts
S4-Experts SAP® Outs... @S4_Outsourcing
169 Followers 7K Following 🔶SAP Nearshore and Offshore Outsourcing 🔶German MSP is seeking Partnerships 🔶Network Entity @S4Experts
Intelequia EN @IntelequiaEN
3K Followers 3K Following Let's Innovate ⚡ Specialized in #Azure #Cybersecurity #DNN #AI #LowCode and #NET
S4-Experts SAP® Bera... @S4Experts
3K Followers 7K Following 🔶SAP Projektbeschleuniger 🔶Solution Suite 🔶Akademie- und Recruitingflatrate 🔶Outsourcingetablierung 🔶Strategieberatung 🔶Unternehmensnetzwerk und Kontakte
S4-Experts SAP® Akad... @S4_Akademie
170 Followers 8K Following 🔶Academy4Free 🔶Trainings 🔶Webinars 🔶SAP System Access 🔶Software 🔶Demos 🔶Videos 🔶Books 🔶White Papers 🔶AI Bots 🔶Tutorials 🔶Network Entity @s4expert
S4-Experts SAP® Recr... @S4_Recruiting
197 Followers 8K Following 🔶 E-Mail & Module Entry 🔜 Projects 🔶 Recruitment without Commissions 🔶 All Job & Project Provider in Hubs 🔶 SAP Network Entity @s4experts
S4-Experts SAP® Stor... @S4_Webshop
181 Followers 8K Following 🔶SAP 🔶 Products 🔶 Addons 🔶Plugins 🔶 Subsystems🔶Service Packages 🔶 Business Models 🔶M&A 🔶Hardware 🔶Marketing 🔶Sales 🔶PR 🔶Network Entity @s4experts
S4-Experts SAP® Mark... @S4_Marketing
169 Followers 8K Following 🔶SAP Products 🔶Company Trade🔶Services 🔶Hardware 🔶Market Strategy and Business Development 🔶PR and Marketing Solution Suite and Company Group @s4experts
pluggedpotato @pluggedpotato
3 Followers 102 Following I'm more active on Mastodon https://t.co/p9l3TVKtbJ
BCS Cybercrime Forens... @BcsForensics
49 Followers 36 Following The BCS Cybercrime Forensics Special SIG promotes the use of Cybercrime Forensics by computing professionals, lawyers, law enforcement, academics and others.
Ralf Ladner @ralf_ladner
10K Followers 4K Following Chefredakteur https://t.co/fYdigQHAN8 #Digitalisierung #Cloud #Datacenter #UCC #Cybersecurity #Infrastructure @netzpalaver
Huet Bartels @HuetPhotography
149 Followers 953 Following Security Awareness lead by Day & Night. Photographer at all other times! Available for events, corporate, parties & commissions. Prints available for sale.
Simon Berry @SimonBerrh
14 Followers 958 Following New account to keep up with all things Infosec, cyber security, cyber investigation, OSINT
oemsecrets.com @oemsecrets
3K Followers 4K Following https://t.co/k90jmYYb3f is a leading comparison engine offering marketing and development solutions for the electronics industry.
Abhishek Tiwari @mig40000
48 Followers 81 Following Assistant Professor of Software Engineering at the University of Southern Denmark
Sreepriya G @SilenceIsGoldd
2 Followers 199 Following Loves Life, Maths, Programming, Logic Feminist, Parent, Optimist Research fellow @InfAtEd @DaphneJacksonTr Alumna @iitmadras @Cambridge_Uni @EdinburghUni
Mara (Fake) @CuzImFake_
597 Followers 1K Following Systemarchitektin & Softwareentwicklerin @ DB Regio Südost | agile Kurt-Tucholsky-Ultra | Modellbahndisponentin | Diesel-Fangirl | 💖 @informatikmoder
RBOC Network+ @RBOCNetwork
148 Followers 707 Following The EPSRC and DST Network+ for considering threats to future security and resilience
REWIRE Project @RewireP
386 Followers 820 Following The REWIRE project develops a Blueprint for the Cybersecurity industry and a concrete European Cybersecurity Skills Strategy.
Formal Methods Europe @FormalMtds
764 Followers 241 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Andrew Erickson 艾�... @AndrewSErickson
48K Followers 53K Following Professor of Strategy @NavalWarCollege/@ChinaMaritime Studies Institute. Visiting Scholar @Harvard/@FairbankCenter. Member @CFR_org. Dad.
mrragava @mrragava
224 Followers 6K Following
Dark-Haired @teshaez54412
300 Followers 5K Following See the world on the road, and get to know yourself on the way!
Florence @florenceaberne2
361 Followers 3K Following
agentofuser ⏹️ @agentofuser
773 Followers 580 Following If Anyone Builds It, Everyone Dies. Global superintelligence R&D ban. There is hope. We're not dead yet!
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Andreas Zeller @AndreasZeller
9K Followers 219 Following Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
linuzifer @Linuzifer
52K Followers 3K Following @[email protected] https://t.co/EFBsT1HXsW https://t.co/Dl6yL2aVsW https://t.co/C0bofaQQC2
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Lawrence Paulson @LawrPaulson
2K Followers 446 Following Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Toby Murray @tobycmurray
1K Followers 631 Following Go find me at @tobycmurray.bsky.social. Assoc Prof at @UniMelb and @cis_unimelb cyber lead; @DSI_VIC Director; @UniofOxford DPhil (@HertfordCollege); He/him
Claudio @menghi_claudio
221 Followers 270 Following
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Nicky King @NickyKingExe
460 Followers 383 Following PFHEA, NTF, Professor of Natural Sciences Education at Exeter. All thoughts are my own. If you can't find me I'm probably on Dartmoor with the family.
Gunter Dueck @gunter-... @wilddueck
21K Followers 49 Following Philosopher, Writer, Business Angel, Speaker, Math-Prof and Ex IBM Chief Technology Officer, married, two children
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Chris Wysopal @WeldPond
55K Followers 1K Following Hacker. Co-founder/CTO Veracode. Former L0pht security researcher. GenAI Auto-repair of vulns is the future @weld.bsky.social @[email protected]
Lionel Briand @lionel_c_briand
4K Followers 224 Following Professor, IEEE and ACM Fellow, fellow of the Royal Society of Canada, CRC Tier 1 at U. of Ottawa, Canada. Director, Lero centre for software research, Ireland.
Jordi Cabot @JordiCabot
6K Followers 422 Following Head of the Software Engineering RDI Unit at LIST (Luxembourg). FNR Pearl. Building Better SW Faster. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder
Paris Avgeriou @PAvgeriou
3K Followers 357 Following Professor of Software Engineering @univgroningen, co-EiC of @JSSoftware, AE of @ieeesoftware, father of 2, runner, (mostly) hopeless optimist
Jinhao Tan @tamkamhou
70 Followers 429 Following Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.
Zarhus @Zarhus_com
10 Followers 5 Following Zarhus brings a unique blend of tradition and innovation to your embedded systems experience.
Dasharo @Dasharo_com
505 Followers 6 Following Dasharo is open-source firmware distribution focusing on long-term maintenance, transparent validation and privacy-respecting implementation.
3mdeb @3mdeb_com
1K Followers 293 Following Creators of @Zarhus_com & @Dasharo_com. Specializing in trusted computing, embedded firmware, coreboot, UEFI, U-Boot, and Yocto https://t.co/EqPyWEobn1
NovaCustom @NovaCustom_EU
489 Followers 95 Following We are NovaCustom, we build custom laptops. Unlimited options with up to 96 GB of RAM, 8 TB of storage, the latest CPUs and GPUs, Linux support and coreboot!
BSides Bournemouth @BSidesBournemth
406 Followers 47 Following The BSides by the Seasides! Community-led cyber conference – 16 Aug 2025 @ Royal Bath Hotel, Bournemouth. - Email: [email protected]
London Mathematical S... @LondMathSoc
28K Followers 537 Following The London Mathematical Society (LMS), founded in 1865, is the UK's learned society for the advancement, dissemination and promotion of #mathematics.
RISC Zero @RiscZero
48K Followers 361 Following Building high-performance ZK systems to power the next era of computing. Building @boundless_xyz
Veridise @VeridiseInc
5K Followers 480 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
FlashOver (Stefan Pö... @0x_F0
448 Followers 226 Following Microsoft MVP JetBrains Community Contributor I C# .NET @ https://t.co/avGTUSnfzV Live: @FlashOWare Speaking: https://t.co/vnMoWyjYUP Co-organizing @DotNetDevsAT
Saptarshi Das @SaptarshiDasSap
142 Followers 764 Following Senior Lecturer in Mathematics@UniExeCornwall, AI/Data Scientist, Control & Power Engineer, Interdisciplinary Scientific Artist, Ancient Text & Music Researcher
Andrea Bombarda @bombandrea94
43 Followers 196 Following Junior Assistant Professor (RTD-A) at @Unibergamo working on Software Testing and Software Engineering for medical software and systems
rootsecdev @rootsecdev
26K Followers 1K Following Senior Security Consultant @TrustedSec | Military grade meme poster, researcher, cloud penetration tester, voider of warranties. My thoughts are my own.
Intelequia EN @IntelequiaEN
3K Followers 3K Following Let's Innovate ⚡ Specialized in #Azure #Cybersecurity #DNN #AI #LowCode and #NET
iBase-t @iBASEt_global
2K Followers 1K Following iBase-t’s MES, MRO & quality management software systems provide our customers the power to monitor every aspect of production, quality & compliance efficiency.
cvc5 Solver @cvc5_solver
110 Followers 16 Following cvc5 is an efficient open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Taz Wake @tazwake
9K Followers 6K Following #DFIR #ThreatHunting | @SANSInstitute instructor | SANS Course Author | CISSP (etc) holder | https://t.co/00tACAnVLd | Rarely used account.
Stephen Sims @Steph3nSims
24K Followers 834 Following Perpetual Student | SANS Fellow | Musician | Braggart Hater | Gray Hat Hacking | VR | 🏂 | deadcode | https://t.co/CadJehomsU
Abakcus @abakcus
87K Followers 291 Following Abakcus is the best curation site for math and science. Please subscribe my weekly newsletter! It is FREE! https://t.co/uPkgdO2mwT
Zoe Kleinman @zsk
42K Followers 6K Following BBC Technology Editor, talking about tech on TV, radio, online + socials. Also presenter, parent, military wife and occasional baker.
SaTML Conference @satml_conf
2K Followers 0 Following IEEE Conference on Secure and Trustworthy Machine Learning March 2026 (Munich) • #SaTML2026
FUTO @FUTO_Tech
9K Followers 206 Following Computers should belong to you, the people. We develop and fund technology to give them back.
BCS Cybercrime Forens... @BcsForensics
49 Followers 36 Following The BCS Cybercrime Forensics Special SIG promotes the use of Cybercrime Forensics by computing professionals, lawyers, law enforcement, academics and others.
Forrest Brazeal @forrestbrazeal
38K Followers 208 Following Purveyor of good tech things. prev. @google
NewAE Technology Inc @newaetech
3K Followers 1K Following Please follow us @newae.com (BSky) for updates and more information.
SCSC @SafetyClubUK
345 Followers 122 Following The Safety-Critical Systems Club (SCSC) The UK's professional network for sharing knowledge about safety-critical systems covering all domains.
PostdocVoice @PostdocVoice
31K Followers 19K Following Amplifying the voices of Postdocs. Tag us with #PostdocVoice or @PostdocVoice. Run by @PhDVoice. Independently Run. How To Write An Academic Paper 101 link👇
Huet Bartels @HuetPhotography
149 Followers 953 Following Security Awareness lead by Day & Night. Photographer at all other times! Available for events, corporate, parties & commissions. Prints available for sale.
Imagix @ImagixCorp
11 Followers 1 Following
DDD South West @dddsouthwest
734 Followers 89 Following Developers! Developers! Developers! https://t.co/I7RtARj1Ii
Blue Fox Book @BlueFoxBook
1K Followers 2 Following Book: Arm Assembly Internals and Reverse Engineering (Blue Fox Edition) | Publisher @WileyTech | Author: @Fox0x01 / @Azeria_Labs | Release: May 9th 2023
Aerospace Village @SecureAerospace
5K Followers 219 Following Twitter feed for the Aerospace Village. Securing the skies and beyond 🚀✈️🛰 Press inquiries: [email protected]
oemsecrets.com @oemsecrets
3K Followers 4K Following https://t.co/k90jmYYb3f is a leading comparison engine offering marketing and development solutions for the electronics industry.
Alasdair Allan @aallan
15K Followers 944 Following Scientist, author, hacker, maker, and journalist. Writes, speaks, and builds. Accidental privacy advocate.
Abhishek Tiwari @mig40000
48 Followers 81 Following Assistant Professor of Software Engineering at the University of Southern Denmark
Lars Hvam Petersen @LarsHvam
2K Followers 314 Following @heliconialabs | #ABAP Cowboy | #abapGit | SAP Mentor Alumni | #abaplint
Assoc. of Cyber Foren... @acfti
284 Followers 740 Following A forum in the United Kingdom focusing on the academics and researchers of digital forensics, cybersecurity, and threat Investigations.
Patrick Gray @riskybusiness
30K Followers 2K Following Host of the Risky Business® podcast. Guests by invitation only. Bsky: https://t.co/dPGdZBiBD7
MaXXdesktop @maxxdesktop
349 Followers 111 Following
@zephrfish.yxz.red @ZephrFish
19K Followers 588 Following Photos at @ZephrSnaps | Director at @ZephrSec |Staff on @CuratedIntel | Lab Creation @XintraOrg
European Cybersecurit... @Cybersec_ECCC
4K Followers 252 Following Official account of the EU #Cybersecurity Competence Centre (ECCC), that addresses #EU investments in cybersecurity capabilities. #HorizonEU #DigitalEU
NKCS | NCC-DE @nkcs_de
86 Followers 26 Following Nationale Koordinierungszentrum für Cybersicherheit, die deutsche Anlaufstelle für das @Cybersec_ECCC. Folgt uns auf Linkedin 👈
MicrochipTechnologyIn... @MicrochipTech
62K Followers 422 Following 8-/16-/32-bit MCUs, analog and Flash-IP solutions. We will be most able to respond to customer questions between the hours of 7 am to 5 pm MST