Hannah ♡ 💫 @amigochiu.bsky.social down for whatever, just not boring 🙃
Ranked News @rankednews.bsky.social Ranked News is the most diverse, unbiased/uncensored free news platform. Articles ranked, summarized and translated in +200 languages. More in the iOS/Android app.
iOS app https://apps.apple.com/app/ranked-news/id6753876990
Website: https://Ranked.News
meier @meiermarie.bsky.social 
@janspoerer.bsky.social @janspoerer.bsky.social 
The Cyber Show UK @cybershowuk.bsky.social Cybersecurity podcast with top guests, events & banter on Dignity, Education, Surveillance State, Tech, Art, AI, Technofascism & more!
Website: cybershow.uk
YouTube: youtube.com/@cybershowuk
Spotify: open.spotify.com/show/0av5zTSOSIuBBtOjqjJWFc
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@akondrahman.bsky.social @akondrahman.bsky.social 
Christoph Laaber @christoph.laaber.net Software Engineer at Telenor Linx | PhD in Computer Science
https://laaber.net
Michele Lanza @lanzamichele.bsky.social 
Joachim Sokolowski @anwaltbloggt.bsky.social Strafverteidiger, Fachanwalt für Sozialrecht, Rechtsanwalt
https://sokolowski.org/impressum
https://sokolowski.org/datenschutz
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Programming Group @prg-grp.bsky.social Programming Group at the University of St. Gallen - School of Computer Science
Prof. Guido Salvaneschi
https://programming-group.com
Digital Skills Authority @digitalskillsauthority.org Industry’s global awarding body for advanced digital and digital business skills. DigitalSkillsAuthority.org
Channel: youtube.com/@DigitalSkillsAuthority
Linkedin: linkedin.com/company/digital-skills-authority
Linktr.ee/digitalskillsauthority
@mariah566.bsky.social @mariah566.bsky.social - D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Andrea Mocci @andreamocci.bsky.social Junior Group Leader @ http://codelounge.si.usi.ch . Tweets about software engineering, politics & more | He/him
David Spielmann @spdavid.bsky.social PhD student in the Programming Group at the University of St. Gallen
making Infrastructure as Code more reliable
https://david-spielmann.ch/
Deborah Collier @futuristleader.com Award Winning Strategic & Futurist Leader® in Digital, Media, Business & Technology. CEO, Author, Creator, Keynote Speaker, President & Founder of the Digital Skills Authority @DigitalSkillsAuthority.org My YouTube Channel: youtube.com/@futuristleader
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
Fabio Niephaus @fniephaus.com Research Manager on the @graalvm.org team at Oracle. Graal Languages, Native Image, developer tools, GraalVM developer experience. Previously at @hpi.bsky.social, @googlecolab.bsky.social, and @matonguitars.bsky.social. Views are my own.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Sebastian Graf @fixpt.de Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Johannes Borgström @joborgs.bsky.social Associate prof at Uppsala University in Programming languages
Swedish econ through an MMT lens - MMT for Sweden
Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭
Private account, he/him, 🌹 🇺🇦 🟣
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de