Achim D. Brucker
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@paulnaish.bsky.social
Publish Journals, walk dogs, eat donuts. #scicomm #mathematics #statistics #datascience #history #science #STS
@infowealth.bsky.social
"InfoWealth shares strategies for startup growth, entrepreneurial success, and business development. Join our community!" My BLOG : patreon.com/Infowealth1 #startup #entrepreneurs #business #wealth
@s4-advisory.bsky.social
🔶Planability when Founding a SAP Company 🔶SAP Franchising & Business Development 🔶SAP Company Purchase and Sale 🔶Network Entity @ S4-Experts SAP Franchising: https://s4-experts.com/sap-beratungsunternehmen-verkaufen-kaufen-ubernehmen-skalieren/
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@samguptausa.bsky.social
🎙Host #WBSRocks | Enterprise Software Industry Analyst | Co-host #AnalystsGoneWild | Independent #CRM, #Cx, #ERP, #HCM, #SupplyChain, #eCommerce, #DigitalTransformation Strategist | youtube.com/@ElevatIQ | linkedin.com/in/samguptausa
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
@9a883rhax0r.bsky.social
┌──(9a883rhax0r㉿kali)-[~] └─$whoami CTF nerd,Ethical hacker in free time, System Administrator for work. ┌──(9a883rhax0r㉿kali)-[~] └─$cat certifications A+,Net+,Sec+,CySA+,Pentest+,CCEH,CIOS,CSIS,CSAP,CNVP,CNSP
@rymguerbi.bsky.social
💻 Data Scientist || 🧮 Stats Engineer || 🥑 DevRel taipy.io || 🦄 Community Growth || open-source passionate || 🧳 Travel || 📸 Photography
@BSidesLuxembourg.infosec.exchange.ap.brid.gy
BSidesLuxembourg is back in 2025 ! June 19th in Belval Tickets -> https://pretix.eu/BSidesLux/2025/ Schedule -> […] [bridged from https://infosec.exchange/@BSidesLuxembourg on the fediverse by https://fed.brid.gy/ ]
@defcon.bsky.social
The world’s premier hacker conference. Serving the global hacker community since 1993. Defcon.org Forum.defcon.org Defcon.social
@bsidesbsk.bsky.social
BSides Basingstoke! Main event 25th July 2025, next mini meet Friday 11th April Website: https://www.bsidesbasingstoke.com/
@bsidesleeds.bsky.social
BSides Leeds 🦉- 21st of June 2025. Cloth Hall Court, Leeds, UK! ✨❤️
@cybershujin.bsky.social
Living at the intersection of cybersecurity and AI/ML 🤖💖 OWASP, Health-ISAC, OWASP https://cybershujin.com and https://github.com/cybershujin
@taltechtreks.com
Security Researcher | Blog writer | Hacker | DEFCON speaker | Gamer | Silly stuff lover. https://taltechtreks.com/
@javanrasokat.bsky.social
Product Security @ Sage, Security Research & Speaker, OWASP Contributor, Hacker & Creator. Personal blog: https://javan.de
@threatdragon.bsky.social
Threat Dragon threat modeling tool from OWASP owasp.org/www-project-threat-dragon/
@threatmodeling.dev
Threat model and prosper! 🖖 OWASP pytm Leader | OWASP Events Committee Chair (2024)
@spyrosec.bsky.social
open source | security | automation | founder smithy.security | maintainer opencre.org
@ctxt.bsky.social
Builder, infosec, SCA and SAST enthusiast, blue team. Founder of OWASP dependency-check. https://github.com/sponsors/jeremylong
@kingthorin.bsky.social
IT Sec guy, zaproxy co-lead, WSTG co-lead, VWAD co-lead, OWASP Ottawa volunteer, Hac≺3r, supporter of oxford commas, #INTJ. (Opinions == mine) 🍁
@ladynerd.bsky.social
CEO at SafeStack | coauthor of Agile Application Security and Security for Everyone | Host of Build Amazing Things (securely) | #appsec nerd | mom
@dependencytrack.bsky.social
Open Source SBOM Analysis Platform. Reduce Supply Chain Risk. #OWASP #SBOM #SaaSBOM #HBOM #VEX #SoftwareSupplyChain https://dependencytrack.org/
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@asksensors.bsky.social
AskSensors.com is an easy-to-use IoT cloud platform that allows you to: 1- Connect your IoT devices to the cloud. 2- Collect data from connected devices. 3- Visualize real time data streams. 4- Manage and analyze devices behavior.
@guyverhofstadt.bsky.social
President of @eminternational.bsky.social. #IAmEuropean🇪🇺 https://www.europeanmovement.eu/
@stphrolland.bsky.social
posts in Roma🇫🇷🇪🇸🇮🇹🇵🇹🇧🇷(🇷🇴)+Germ🇳🇱🇧🇪🇩🇪🇬🇧(🇸🇪🇳🇴🇩🇰)~Eo~Slav🇵🇱(🇸🇰🇨🇿🇭🇷🇺🇦🇷🇺🇧🇬)~A1🇨🇳🇹🇼~A0🇯🇵🇹🇷🇫🇮 Linguistics Climate Agnotology-Disinformation Bayes-Stats-Data-ML FP-Maths Linux Antispecism Astro 🌒🌕🌘 born@332ppm
@ghassankarame.bsky.social
Professor of Computer Science at RUB/HGI/CASA, Chief Scientific Advisor at NEC Labs, Decentralized Security
@dglynos.bsky.social
Cybersecurity | Product Security Expert Founder of https://intwave.com
@snezanalawrence.bsky.social
Historian of mathematical sciences. Latest book "A Little History of Mathematics", Yale UP, April 2025. snezana-lawrence.com
@corenext.bsky.social
Building a trustworthy-by-design computing platform for 6G flagship use cases to consolidate European digital sovereignty and unlock a new economic perspective.
@australo.bsky.social
⚡Marketing services for Science + Deep Tech 🌐https://www.australo.org/ 📍Spain + Estonia
@soatok.bsky.social
30-something gay furry with an interest in cryptography and software security. Mastodon: https://furry.engineer/@soatok Blog: https://soatok.blog 🎨 https://mrjimmydafloof.bsky.social
@handycon.bsky.social
HandyCon BLACK: Privacy, Persistence, and Potential - Where Decentralized Visions Take Root, March 5-7, 2025 Free Online Event DNS: https://2025.handycon.xyz HNS: http://Handshake.Conference
@attap.bsky.social
i'm Bruce Edward Spector. Artist, technologist, OG internet entrepreneur, investor. I founded WebCal in 1997 the first PIM (Personal Information Manager) for the web. My current project, ATTAP (ALL THINGS TO ALL PEOPLE), can be found at http://attap.ai
@rocketmeupcyber.bsky.social
Detect, Defend, Defeat – Building robust #CyberResilience for organizations through advanced, future-proof #CyberSecurity solutions. Lemmy: https://lemmy.ml/c/rocketmeup Matrix: https://matrix.to/#/#rocketmeup:matrix.org Telegram: https://t.me/rocketmeup
@kerstingaiml.bsky.social
AI Prof at TU Darmstadt, Founding Co-Director Hessian.AI, DFKI, AAAI/EurAI/AAIA/ELLIS Fellow, AAAI24 Ass. PC CoChair, Fmr. PC CoChair UAI, ECML PKDD, Invest. @Aleph__Alpha, Fmr. AI Column German Newspaper Welt (am Sonntag)
@bcantrill.bsky.social
Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
@roydanroy.bsky.social
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst. Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
@anil.recoil.org
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk, and am also to found at @conservation.cam.ac.uk. Homepage at https://anil.recoil.org
@thock.in
I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork.
@emmavardy2.bsky.social
Physician. Honorary Professor of Geriatric Medicine, University of Manchester. Delirium. Dementia. Quality improvement. Book lover. Mum to daughter with PKU.
@jlanday.bsky.social
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@ldklinux.bsky.social
Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
@liamoc.net
Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about. https://liamoc.net