Xavier Devroey @xdevroey.wsocial.eu Professor of software engineering and testing at the University of Namur.
Check https://snail.info.unamur.be/
🇧🇪🏳️🌈👨💻🐌
Florian Chen @florianchen.bsky.social
Kutand Alkım Bayer @kutandalkim.bsky.social IZTECH-Chemistry, I like to be Polymath(learning different subjects), Polygot(interested in the learning different languages) comments and opinions are my own RT≠ is not endorsement (he/him)
UCSB Computer Science Department @ucsb-cs.bsky.social
BabySwiss @284-220.bsky.social Loves to swim
OeAD Citizen Science @oeadcitizenscience.bsky.social Informations-, Beratungs- & Servicestelle für #CitizenScience im OeAD
Information, Advisory & Service Center for #CitizenScience at the OeAD
https://oead.at/de/studieren-forschen-lehren/citizen-science/zentrum-fuer-citizen-science
Daniel @fancy11111.eurosky.social Studying Software Engineering & Internet Computing @ TU Wien
CV: https://sifa.id/p/fancy11111.eurosky.social
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security
@vanille-kipferl.bsky.social @vanille-kipferl.bsky.social
Christoph Hochrainer @chochrainer.bsky.social PhD researcher improving reliability in Web3. Testing zero-knowledge tools with custom fuzzers. Into smart contracts, compilers, and system reliability.
🌐 https://christoph-hochrainer.at/
shefski @shefski.bsky.social Leon
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Charley Wu @thecharleywu.bsky.social Prof. of Computational Cognitive Science at TU Darmstadt & PI of the Human and Machine Cognition lab | hmc-lab.com
@lutzoettershagen.bsky.social @lutzoettershagen.bsky.social Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
@madhu001.bsky.social @madhu001.bsky.social
Johannes Sterba @johannessterba.at Physicist, working in radiochemistry and radioanalytical methods like INAA, archaeometry and nuclear safety and security @tuwien.at
http://www.johannessterba.at/about-me
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Pia Pachinger @pia-p.bsky.social PhD student @ TU Wien, interested in social bias, personalization, and low-resource settings in NLP, AI safety and interpretability
David Moon @dm0ney.bsky.social PhD UMich • building http://tylr.fun http://hazel.org • dmoon.info
@hannelita.bsky.social @hannelita.bsky.social
Alex @satisfies.bsky.social he/him. computers. cats. they know what are they are doing and they do it anyway.
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Michaël Marcozzi @marcozzi.net 🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing).
Works at CEA List Institute from Université Paris-Saclay (France).
http://www.marcozzi.net
I make software safer by viciously torturing it to reveal its flaws.
I can be kind too.
@thuanpv.bsky.social @thuanpv.bsky.social Senior Lecturer in Cyber Secutity at @UniMelb & ARC DECRA Fellow. Prev @MonashInfotech & @NUSComputing . (Fuzz) Testing enthusiast.
Hamidur Tanvir @hamidurtanvir.bsky.social Seeking MS &/ PhD Opportunity | HCI, UI/UX Enthusiast
USI Faculty of Informatics @inf.usi.ch News and events from the Faculty of Informatics of the Università della Svizzera italiana (USI) - Lugano, Switzerland
miso @miso-uam.bsky.social Modelling and Software Engineering research group at the Computer Science Departament of the Universidad Aútonoma de Madrid
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
@ieee-scam.org @ieee-scam.org
VCLA | TU Wien @vclatuwien.bsky.social The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
Minister Denzil Carnegie @lloydmill.bsky.social 🇨🇦 🍁 🇨🇦 Faith Family Outreach Ministry focuses on sharing the good news of salvation to all nations Jesus Christ teaching on repentance and forgiveness of sins to all nations Toronto Ontario Canada 🇨🇦 ♥️ ❤️ 💙
Jahrim Gabriele Cesario @jahrim.bsky.social PhD Student in Programming Languages at the University of St. Gallen (HSG)
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Preetha Chatterjee @preethac.bsky.social Asst. Prof. Drexel Dept. Of Computer Science @drexeluniv | Research on mining software repositories, empirical software engineering
https://preethac.github.io/
https://t.ajrkmx1.com/331727/6224/0?po=6533&aff_sub5=SF_006OG000004lmDN
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
Divanilson Rodrigo Campelo @dcampelo.bsky.social Associate Professor at UFPE (Universidade Federal de Pernambuco), Recife, Brazil. | Data networking, vehicular networking, security and privacy. | https://www.cin.ufpe.br/~dcampelo/
Mastodon: @dcampelo@fediscience.org
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social
@doesterr.bsky.social @doesterr.bsky.social
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
Gregory Gay @greggay.bsky.social Associate Professor (Chalmers and University of Gothenburg), mostly working on software testing.
American living in Sweden.
Sometimes gaming journalist.
70% composed of memes.
More on my work at http://greggay.com
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Steffen Herbold @sherbold.bsky.social https://www.fim.uni-passau.de/ai-engineering/
Guy Van den Broeck @guyvdb.bsky.social 🎓 CS Prof at UCLA
🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI
https://web.cs.ucla.edu/~guyvdb/
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
David Justo @davidjustodavid.bsky.social PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
Christoph Laaber @christoph.laaber.net Software Engineer at Telenor Linx | PhD in Computer Science
https://laaber.net
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Alexa VanHatttum @avh.bsky.social Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Stefan Neumann @neumannstefan.com Assistant professor @ TU Wien, associate faculty @ Complexity Science Hub.
Previously: KTH, Brown, Uni Wien.
I study algorithms for data science and social-network analysis. Connecting theory 🤝 practice.
More info: https://neumannstefan.com.
Nicolas Diaz Ferreyra @nicolasediaz.bsky.social Senior Researcher and Lecturer at SoftSec@TUHH 🏫 Ph.D 🎓 Computer Scientist 🖥 #usablesecurity #HCI #EmpiricalSoftwareEngineering Argentinian in Germany 🇦🇷🇩🇪
🌎 https://www.ndiaz-ferreyra.com/
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Austin Henley @azhenley.bsky.social Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Joe Cutler @alphaconvert.bsky.social cutler.pl
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods.
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.
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
José Cambronero @josepablocam.bsky.social DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
👑✨RebelYelliex✨👑 @rebelyelliex.bsky.social Internetainer, Video Director/Editor & Blogger 💖 LFC 💖 Quick wit dispenser for entertainment purposes only 🫶🏻 Don't do it if you can't monetize it ✨ https://linktr.ee/rebelyelliex