High Integrity Software Conference @HISC_conf
This year's event is on 13 Nov 2025 at the ICC Wales, UK. For the full programme & to register, please visit https://t.co/TvbjLUoxkw his-conference.co.uk UK Joined June 2016-
Tweets472
-
Followers144
-
Following60
-
Likes87
Thanks for being part of #HISC2025! Join our Networking & Cocktail Hour to meet speakers and connect with peers. See you on 13 Oct 2026 at the Vox, Birmingham. Register to receive updates for HISC 2026 👉 bit.ly/4hUM1bx
⏰ It's your last chance to complete your 18 passport stamps! Once finished, please take your completed passport to the Registration Desk before 4:15pm to be entered in to our Prize Draw. A RocketBook Smart Notebook is up for grabs!
For this afternoon's presentations, choose from 2 tracks: ➡️ Cyber ➡️ Tools & Techniques View the programme here 👉 his-conference.co.uk/programme
📢Our second Keynote Alexandra Hall, Head of Product Cyber Security - Defence, Rolls-Royce, on why Product Security isn’t just a technology problem.
It’s lunchtime! Join us in the Exhibition Hall to refuel. Our Spotlight Talks run during lunch from sponsor booths from 12:25PM; look for the white light above the booth to find the live session. See the agenda here👉 his-conference.co.uk/session/spotli…
For our next presentations, choose from 2 tracks: ➡️ GenA ➡️ Large programmes View the programme here 👉 his-conference.co.uk/programme
📢Head to the Exhibition Hall for refreshments, and remember to visit sponsor booths to get your passports stamped! Visit the Future Zone for research posters on CHERI, Post-Quantum Cryptography, Automated Fuzz Testing and more. #HISC2025
Kicking off #HISC2025: Dave Kleidermacher, VP Engineering, Security and Privacy for Android and Made-by-Google Products and Services, on high assurance in Google connected products and AI.
We’re thrilled to open the doors to #HISC2025! 🚀 Follow along here for what’s up next at HISC👉 his-conference.co.uk/programme
Ahead of next week, here's our #HISC2025 keynotes: ➡️ High assurance in Google connected products and AI, Dave Kleidermacher ➡️ “But don’t I need a hoodie for that?” and other Product Security fallacies, Alexandra Hall Book your ticket👉his-conference.co.uk/registration
#HISC2025 is soon approaching! Join leaders in high-integrity software for a day of practical insights, case studies, and networking. Don't miss out - register now👉 his-conference.co.uk/registration
Ahead of #HISC2025, Stuart Matthews outlines the technologies reshaping high-integrity software, the safety and security challenges, and how smarter regulation and collaboration build trustworthy, resilient systems. Read the blog👉 his-conference.co.uk/news/novel-tec…
Google’s £5bn UK AI investment makes high assurance more critical than ever. Dave Kleidermacher's talk at #HISC2025 is a can't-miss opportunity to understand how Google builds AI & connected products with security + privacy at their core. Register⬇️ his-conference.co.uk/registration
Still looking to showcase your organisation at #HISC2025? ☕ Our Barista sponsorship is now available at half price for £2000 + VAT. Contact [email protected] for enquiries about booking this package View HISC Sponsor Packages here ⬇️ his-conference.co.uk/exhibitors
We are excited to announce our second keynote for #HISC2025 🎉 Alexandra Hall is Head of Product Security at Rolls-Royce. Secure your place now 👉 his-conference.co.uk/registration Check out the programme here ⬇️ his-conference.co.uk/programme
#HISC2025 is approaching! 🎉 Don’t miss the opportunity to connect with leading experts and professionals in #HighIntegritySoftware. Secure your place today ⬇️ his-conference.co.uk/registration
We are pleased to announce our #HISC2025 media partners: Aerospace Innovations & @eeNewsEurope 🎉 Interested in attending? Find out more here⬇️ his-conference.co.uk
Last year's #HISC brought together software engineers from across industries to exchange challenges, share practices, and solve real-world problems. Register now for #HISC2025 to be part of this year’s discussions ⬇️ his-conference.co.uk @SYSTRA_UKIRL @AdaCoreCompany
Still looking to sponsor #HISC2025? Explore our Bonus Sponsor Packages: Barista and Early Careers. Find out more here👉 his-conference.co.uk/exhibitors
Don't miss out on your chance to sponsor #HISC2025 - Book your booth now! Gold, Silver and Startup Sponsor Packages are still available. Check out our packages here👉 his-conference.co.uk/exhibitors
marron five @PlateletBot
27 Followers 244 Following
Randolph Carter @Randolp38058019
95 Followers 988 Following "Nova bella elegit Dominus, portas hostium Ipse subvertit" Iudicum 5:8
Yannick Popovitch @pop94378
0 Followers 32 Following
Çudhzh Fthimzhdhzh @cudhzh
0 Followers 83 Following
Danniel Gallego @DannielGallego
444 Followers 1K Following
Sidney Purdy @PurdySidne42500
73 Followers 1K Following
Pau @bufarrull
0 Followers 4K Following
EUROCAE @EUROCAE1
926 Followers 453 Following 🌍 Leading the way in aviation standards. ✈️ 🛠️ Working together with 500 members for safer & smarter skies. 🚀
Álvaro Sánchez @Varo26278
24 Followers 140 Following
AVIGATE @AVIGATE
125 Followers 394 Following Aviation Consulting and Human Centred Systems Engineering
Stuart Eaton @sjeaton09
0 Followers 261 Following
Fili @Fili07490151
19 Followers 428 Following
Andrea Bristol FCIM @ASextonPR
2K Followers 4K Following PR and Marketing at @AdaCoreCompany Tools for Ada/SPARK/C/C++/Rust. THE High-Integrity and Safety-Critical experts. 🌈 Rides horses. [email protected]
Imran Ali @imr_0n
21 Followers 286 Following M. Phil Organic Chemistry, Secondary School Teacher, At A Public School,
Jon Hughes 𓅪 @jon_hughes82
106 Followers 245 Following A Black Country aerospace engineer who is passionate about music, #WBA and Jesus
Daniel Rosewell @dan_rosewell
6 Followers 23 Following
Sid Hussmann @SidHussmann
87 Followers 69 Following interested in building trustworthy systems. CTO and co-founder of @gapfruit
TrustInSoft @TrustInSoft
466 Followers 592 Following C/C++/Rust Safety & Security Verification Software.
Code Skill Buddy @CodeSkillBuddy
1 Followers 36 Following
Timothy Reed @RealTimReed
22 Followers 336 Following
Xiao Sean Liang @xiaoseanliang
4 Followers 149 Following
Andreas Steyven @misterandy85
5 Followers 63 Following
QualityCon @qualitycon_tech
36 Followers 111 Following QualityCon is an online conference for everyone deeply invested in quality. This year we'll be exploring the Technology of Quality. Program announced!
@[email protected]Ⓥ�... @janneke_gnu
3K Followers 3K Following #vegan| towards a full source free software #bootstrap| #GNU Mes, Guix, the Hurd| cofounder: @GNU_LilyPond, @doe040| #nvc|#sociocracy| https://t.co/L4eRZBKOMm
Binary (Labs) @binaryxlabs
618 Followers 608 Following Transferring 90% domain-specific specialised tech skills through hands-on technical Workshops and Bootcamps. Championing Open Source Communities!
Lynx @LynxSoftware
663 Followers 487 Following Software frameworks that create safe and secure architectures for mission critical platforms in aerospace, military and federal markets.
Digital Security by D... @DSbDTech
447 Followers 223 Following DSbD is an initiative supported by the UK government to transform digital technology and create a resilient, and more secure foundation for a safer future.
techSPARK @techSPARKuk
7K Followers 1K Following techSPARK is the not-for-profit Bristol & Bath growth network. Follow us for techie events, news & jobs.
Red Pete #FBPE @PeterHancock1
11 Followers 115 Following
Martin Nyx Brain @ciphernyx
825 Followers 473 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Speakster @Speakster
753 Followers 2K Following Stories via analytics. Former journalist @CERN & leading #EUproject comms. Science communicator: writing on #science #computing. My views.
Digital Transit @DigitalTransit_
403 Followers 445 Following Leading the railway in Cyber Security, Computer-Vision and Software Assessment LinkedIn: https://t.co/sw8qfayfM9
guyyeomans.bsky.socia... @guyyeomans
3K Followers 5K Following Professional: Foresight & Horizon Scanning | Research: #resilienceforesight, #criticalinfrastructuresecurity, #emergingrisks | Views own
Tamas Szokol @tamas_szokol
137 Followers 2K Following
Zori Launcher @ZoriLauncher
2 Followers 199 Following
Richard S. Lingner( @... @rslingner
380 Followers 3K Following Interests: art, animals, tech, sci, UX, IxD, programming, NLP, mental health, decision support systems & deliberative democracies.
Klas @klasgroup
544 Followers 3K Following Klas, the Edge Technology Company. #EdgeTechnology #TheEdgeTechnologyCompany
Aditi RaiPoder @AditiRaipoder
384 Followers 5K Following
Robin Kennedy @robinkennedyuk
345 Followers 2K Following
Katie Smith @katie_ktsmith1
13 Followers 261 Following
Tamas Szokol @tamas_szokol
137 Followers 2K Following
Harmonic Software Sys... @HarmonicSW
81 Followers 202 Following Embedded Software Development Services : We fix and deliver critical embedded projects for the Space, Defence, Aerospace & Automotive Sectors
techSPARK @techSPARKuk
7K Followers 1K Following techSPARK is the not-for-profit Bristol & Bath growth network. Follow us for techie events, news & jobs.
Real-Time Innovations... @rti_software
4K Followers 1K Following We are Real-Time Innovations (RTI), the real-time data streaming company for intelligent distributed systems.
eeNews Europe @eeNewsEurope
7K Followers 2K Following eeNews Europe is an online publication that brings news, analysis, product and design information to the electronics engineering community
Paul Parkinson FIET @PJParkinson4478
100 Followers 409 Following Chartered Engineer | IET Fellow | Passionate about Aerospace, Defence and Space | Repost != Endorsement Image: Virgo Cluster, NSF–DOE Vera C. Rubin Observatory
ICCWales @ICCWales
3K Followers 746 Following Welcome to Immersive Brilliance | Newport, South Wales | State-of-the-art facilities | Inspiring events for all industries | #ICCWales
CapgeminiUK @CapgeminiUK
10K Followers 666 Following News from Capgemini UK. Learn about our people, projects & career opportunities. Insta: @Capgemini_UK Clubhouse: https://t.co/e97CGuMx3o…
E+T Magazine @EandTmagazine
8K Followers 603 Following Breaking engineering and technology news from the team at E+T Magazine, the award-winning title from @TheIET.
CoreAVI is now Lynx! @CoreAVI
207 Followers 96 Following CoreAVI is a global leader in safety critical products and services designed to enable complex discrete and SoC graphics processors.
Software News @softwarenews42
112 Followers 13 Following Software news coming from engineering blogs from github. Profile picture from https://t.co/Bg4kyf4xQG, book for inspiration: https://t.co/vgpHd9m3c8
Cyber Security Month @CyberSecMonth
31K Followers 225 Following Did you know October is European Cybersecurity Month? Check out this account for tips & advice on how to stay safe & secure online. Operated by @enisa_eu
Proofpoint Security A... @WombatSecurity
3K Followers 1K Following The Proofpoint Security Awareness Training account has moved. Get updates and join the conversation @Proofpoint.
MITRE @MITREcorp
20K Followers 2K Following Applying systems thinking to national challenges in AI, cybersecurity, healthcare, transportation, and national security.
Lynx @LynxSoftware
663 Followers 487 Following Software frameworks that create safe and secure architectures for mission critical platforms in aerospace, military and federal markets.
KRONO-SAFE @KRONO_SAFE
237 Followers 793 Following We offer the next generation of Real Time Kernel packaged in a highly automated development framework
dSPACE Group @dSPACEglobal
680 Followers 173 Following Imprint/Privacy Policy: https://t.co/UGchXJsvbR
SCSC @SafetyClubUK
341 Followers 121 Following The Safety-Critical Systems Club (SCSC) The UK's professional network for sharing knowledge about safety-critical systems covering all domains.
NCSC UK @NCSC
145K Followers 451 Following We are the National Cyber Security Centre – part of the UK’s intelligence & cyber agency @GCHQ. We help to make the UK the safest place to live and work online.
Marie Moe @MarieGMoe
5K Followers 2K Following Cyborg - Infosec Consultant @Google/@Mandiant - Associate Professor II @NTNU - Hacking my heart: https://t.co/BeXDTcgKFS
Frazer-Nash @frazer_nash
4K Followers 1K Following Frazer-Nash Consultancy is a leading independent systems and #engineering technology company. Follow us for UK and Australia careers, news and insights.
Andrew Banks @andrewbanks
302 Followers 296 Following #IEng #MIET #FBCS #CITP #FRSA Dad to Emily & Isobel; partner to Helen; Software Engineer #MISRA; #FreeThinker; ham-radio @M0YMA; & a bit of an all-round Geek.
Thales UK @ThalesUK
7K Followers 816 Following We’re investing in digital and “deep tech” innovations to build a future we can all trust, which is vital for the development of our societies.
The FAA ✈️ @FAANews
534K Followers 2K Following Official account of the Federal Aviation Administration. Following, mention or RP does not mean endorsement.
Philip Linardos @philiplinardos
830 Followers 1K Following Founder of @ShelfNow - disrupting Food & Beverage distribution | Passionate about #FoodTech
Antranig Vartanian (@... @antranigv
2K Followers 1K Following Co-Founder @illuria_inc, runs @CERT_AM # Unix, BSD, illumos, Elixir/Erlang, Wirthian, DNS, XMPP. Tweets Security, Privacy and Policy. Mostly harmless.
ND Frames @NDFrames303
925 Followers 4K Following Inventing technologies and it's concepts in the form of threaded software among the world
Pepe_wtf @pepewttf
8K Followers 8K Following Publisher, President #Influencer OpenSystems Media. @embedded_comp @military_cots #iiot #ai #iot @embedded_world #AutomateShow #ew24
Critical Software @CriticalSftware
1K Followers 191 Following For over 25 years, we've been changing the way the 🌎 uses technology. Proudly a Benefit Corporation. ⚡
Innovate UK @innovateuk
128K Followers 27K Following We are the UK’s innovation agency. We fund business & research collaborations to accelerate innovation. YouTube:https://t.co/CYNpeWgVsA Part of @UKRI_News
Joan Atkinson @Murrebook
3 Followers 7 Following
MR CFD LTD @mrcfdcom
735 Followers 2K Following MR CFD’s significant expertise is consulting, simulating, and training a wide range of CFD projects by ANSYS Fluent software. Our service includes industrial
techUK @techUK
39K Followers 5K Following Tech trade association championing tech's role in preparing and empowering the UK for what comes next in partnership with sister company @techskillsorg.
ADS Group @ADSgroupUK
11K Followers 3K Following ADS is the UK trade association securing UK advantage in aerospace, security, defence and space, to enable prosperity and clean secure growth for our nation.
BAE Systems @BAESystemsplc
115K Followers 880 Following Our advanced defence technology protects people and national security and keeps critical information and infrastructure secure.
L'Embarqué @lembarquemedia
3K Followers 924 Following Média d’information 100% numérique, L’Embarqué est focalisé sur le marché des briques logicielles et matérielles pour systèmes embarqués
Dstl @dstlmod
16K Followers 620 Following Dstl delivers the science and technology for UK defence and security. We're part of @UKArmaments in the Ministry of Defence (@DefenceHQ).
MBDA @MBDAGroup
28K Followers 554 Following MBDA drives #innovation in #defence, pioneering cutting-edge missile systems that proactively address the security challenges of today and tomorrow.Contemplate Ltd @contemplateltd
19 Followers 16 Following ThreadSafe is a static analysis product for finding concurrency defects in Java code.
ddino @dino_distefano
38 Followers 14 Following
QMUL Sci & Eng News @QMULSciEng
3K Followers 1K Following Science and engineering news from Queen Mary University of London, one of the UK's leading research universities.
QMUL Electronic Engin... @QMEECS
3K Followers 640 Following Official Twitter feed from the School of Electronic Engineering and Computer Science Queen Mary, University of London. #qmuleecs
Meta @Meta
9.9M Followers 683 Following Connect with what you love to make things happen. It’s Your World.













