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
@andwor.bsky.social
Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
@lambdaviking.bsky.social
Will irl - PhD student @ NYU on the academic job market! Using complexity theory and formal languages to understand the power and limits of LLMs https://lambdaviking.com/ https://github.com/viking-sudo-rm
@kfisler.bsky.social
Research Prof at Brown Computer Science studying computing education. K-12 outreach through Bootstrap. Avid jigsaw puzzler.
@csedresearch.bsky.social
Advancing PreK-12 computer science and AI education for all children through evidence.
@vishalmisra.bsky.social
Vice Dean Computing and AI @CUSEAS. Dean of Cricket Analytics @SFOUnicorns. Tweets on academia, cricket, dad/bad/wry jokes. Opinions of guy am pointing at.
@scriptmonkey.bsky.social
Tester of Pens, Ex-Teamer of Red things, now with a more purpley shade. Biker and Recovering Eve-Online Addict. o7 https://blog.scriptmonkey.uk
@christruncer.bsky.social
Deputy Chief, Red Team, CISA && BJJ && MMA && Veil Framework / Open Source Dev
@righto.com
Computer history. Reverse-engineering old chips. Restored Apollo Guidance Computer, Alto. Ex-Google, Sun, Msft. So-called boffin.
@oanamandrei.bsky.social
Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@jjx.therealjj.com
Author "Wireless Security Architecture" and "Low Tech Hacking" | Speaker | CISO CTO @ViszenSecurity.com | Packet Protector 🎙️| @CISOLaunch.com | Security Architecture, Network, WiFi, IoT, Zero Trust | Faculty @IANS_security | www.SecurityUncorked.com
@alexplaskett.bsky.social
Security Researcher | Pwn2Own 2018, 2021, 2022, 2024 | Posts about 0day, OS, mobile and embedded security.
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Post mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@irerik.bsky.social
@s4-marketing.bsky.social
🔶SAP Products, Business Models & Services 🔶Business Development, Marketing & Sales 🔶Store, Magazines, Hubs, Newsletter 🔶Social Media & Entity @s4experts https://s4-experts.com/sap-kundengewinnung-leads-absatzsteigerung-umsatzsteigerung-verkaufswachst
@s4-recruiting.bsky.social
🔶 E-Mail & Module Entry 🔜 Projects 🔶 Recruitment without Commissions 🔶 All Job & Project Provider in Hubs 🔶 Part of the Network Organization Join our Database: https://s4-experts.com/kandidateneintrag/
@s4-akademie.bsky.social
🔶 Training 4 Free, Webinars & AI Bots 🔶 System Access, Demos and Videos 🔶 Books, White Papers and Tutorials 🔶 Part of the S4-Experts Network SAP Academy inclusive Translator: https://s4-experts.com/sap-akademie/
@s4experts.bsky.social
🔶Network Organization, AI Bots & Hubs 🔶Consulting & Business Development 🔶Recruiting, Academy & Magazines 🔶Store, Marketing & Sales Boosts 🧡 Follow us to Learn about new Business Models, SAP Products & News: https://s4-experts.com
@s4-outsourcing.bsky.social
🔶SAP Offshore & Nearshore Services 🔶Seeking global & local Partnerships 🔶SAP Managed Service Provider 🔶Network Entity of S4-Experts Network Organization with Partnerships and SAP Franchising. https://s4-experts.com/sap-outsourcing-partnerschaften/
@simonberry.bsky.social
Tech. Founder. Startups. AEC / Built Environment. Wildlife. Africa
@secpoint.bsky.social
SecPoint: Advanced Cybersecurity Solutions. Penetrator Vulnerability Scanner & Protector UTM Firewall with Whitelabel & MSP support. Protecting networks
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@heavypackets.bsky.social
PL + Constructive Security @agoric ♥️ Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
@ralf-ladner.bsky.social
Fundierte News und Artikel zu den Themen #Cloud, #Datacenter, #Sicherheit #Infrastruktur und #Telekommunikation sowie #disruptive Technologien.
@rosiesherry.com
Community builder. Indie founder. Unschooler. 5x Mother. AuDHD . She/her. 🇬🇧 “Don’t let the social networks have all the fun” 🌈 Rosie.land: writing about community building 🪐 Founder & CEO @ministryoftesting.com
@gojimmypi.bsky.social
Gizmos! Embedded Devices part time @wolfSSL; B.S. Electronic Engineering from @CalPoly; Senior Software Engineer @ Day Job: SQL C# dotnet. he / him. Views and opinions only mine. https://gojimmypi.github.io/
@aetherczar.bsky.social
Scientist, Inventor, Entrepreneur, Author https://amzn.to/2NaGlNx #CommissionEarned https://t.me/aetherstream https://www.researchgate.net/profile/Hans-Schantz
@parasoft.bsky.social
Parasoft helps organizations continuously deliver high-quality software with its AI-powered software testing platform and automated test solutions. Supporting the embedded, enterprise, and IoT markets. #AutomatedSoftwareTesting
@ms-chief.bsky.social
Infosec award loosing founder/director of DI Security. Chapter lead for @owaspmcr.bsky.social and @2600Manchester.bsky.social.
@marcbrown75.bsky.social
Criminal Hack. www.18rlc.co.uk. Radio ham (M0ITB), deeply average bass player, and epic caravaner (rtd).
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@ubports.bsky.social
We develop Ubuntu Touch, an Ubuntu based mobile OS, to increase freedom of choice with an user respecting and community developed option. UBPORTS WEBSITE https://ubports.com/ DEVICE LIST https://devices.ubuntu-touch.io/ WEB FORUM http://forums.ubports.com
@heidykhlaaf.bsky.social
Climber 🇪🇬 |Chief AI Scientist at @ainowinstitute.bsky.social | Safety engineer (nuclear, software & AI/ML). |x- Trail of Bits, Zipline, OpenAI, Adelard, MSFTResearch https://www.heidyk.com/
@hackerxbella.bsky.social
Principal analyst @Forrester bringing cyberattacks into the context of today's biggest global events infosec, opinionated human https://hackerxbella.substack.com/
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io