Xavier Devroey @xdevroey.wsocial.eu Professor of software engineering and testing at the University of Namur.
Check https://snail.info.unamur.be/
🇧🇪🏳️🌈👨💻🐌
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)
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
UCSB Computer Science Department @ucsb-cs.bsky.social 
Mário Gaspar @gaspardelanuit.bsky.social Professor of Computer Science and Engineering at @istecnico.bsky.social. Ethics in science and tech. Information processing systems.
@stitchfan1980.bsky.social @stitchfan1980.bsky.social NO WOMEN Big soaps and gladiators fan
love stitch and porn ❤️
Instagram stewiegriffinfan
Allele Security Intelligence @alleleintel.com Allele Security Intelligence is an independent company specializing in Information Security research. Research and development are fundamental principles that guide our decision-making, enabling us to offer efficient and excellent services to our clients.
Bala Chandrasekaran @balakc.bsky.social Husband. Dad. Researcher. Educator. Photographer.
Resston @resston.bsky.social Brazilian photographer living in São Paulo.
Portfolio: bit.ly/3pz9cRK (look and download) or
Buy high-resolution, watermark-free photos directly from me at better prices via PIX or PayPal. Send me a message.
Instagram : @resston X : @RobResstonFo
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
Davide Ancona @davideancona.bsky.social University of Genova, Italy
@akondrahman.bsky.social @akondrahman.bsky.social 
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Eerke Boiten @eerkeboiten.bsky.social Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
Owen Maresh @graveolens.bsky.social Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
Jonny Low @jonnypjlow.bsky.social 🎓 PhD @ Monash | 🔷 Lecturer in IT @ VU | ⚙️ Software Engineering | 🩺 AI in Healthcare
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
HumaniSE Lab @humanise-lab.bsky.social Funded by ARC, our lab’s world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
Daniel Sokolowski @dsoko.bsky.social ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Ricardo Mateus @ricardojgmateus.bsky.social Decision Analysis. Operations Research. Multicriteria. Optimization. Data Science. Public Procurement.
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Augmenta iunera @license-token.com representative of iunera.com
#ai and #mcp fan!
Hunting crazy projects;
#java #python #angular;
#OpenSource #indiehacker ;
#Bigdata and #AI enthusiast;
loving #crypto and tokenization/#NFT use cases beyond art.
Disrupt #OSS: https://license-token.com
Revista Minerva Universitária @revistaminervauniv.bsky.social Publicação online com ensaios, críticas e crónicas. Uma ponte entre o mundo académico e a sociedade civil. www.revistaminerva.pt
Laura_lister417 @arlen5ta.bsky.social Entrepreneur 🚀
Travel / lifestyle 📍
Digital creator 🌎
Dr Oana Andrei @oanamandrei.bsky.social Senior 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.
Jérôme Maquoi @jmaquoi.bsky.social PhD student working on Green Software Engineering at the University of Namur, Belgium, in the SNAIL Team (https://snail.info.unamur.be/)
https://jeromemaquoi.github.io/
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Luís F. Gomes @luisfgomes.bsky.social SE PhD Student @ CMU | AI4SE | SE Productivity
Jorge A. Pérez @perezjorgea.bsky.social Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Andy Gill @andygillku.bsky.social Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@pcanelas.bsky.social @pcanelas.bsky.social https://pcanelas.com
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Molly Q Feldman @feldmanmolly.bsky.social Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
Matthew Parkinson @matt-parkinson.bsky.social Programming language researcher at Microsoft. 
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Caterina Urban @caterinaurban.bsky.social 
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Martin Mirchev @mirchevmartin.bsky.social PhD Student in Trustworthy and Secure Software Research group in National University of Singapore
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Facundo Molina @facundomolina.bsky.social Postdoc Researcher at @IMDEA_Software 🇪🇸, PhD @CONICET 🇦🇷.
https://facumolina.github.io/
Catarina Gamboa @catarinavgamboa.bsky.social PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Pedro Orvalho @pmorvalho.bsky.social 👨💻🕵️♂️ Marie Skłodowska-Curie Postdoctoral Fellow @ IIIA-CSIC, Barcelona 🇪🇸
🌐 pmorvalho.github.io 🇵🇹
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
Matthew Barr @matthewbarr.co.uk Head of Education & Practice, School of Computing Science, University of Glasgow. Programme Director, Graduate Apprenticeship in Software Engineering. Co-director, Games & Gaming Lab. Director, Ada Scotland Festival.
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
David Heath @davidheath.org Trying to make things work better
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
Pascal Poizat @pascalpoizat.bsky.social Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
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
Cyrus Omar in NYC @neurocy.bsky.social 🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~comar
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. 
Sebastian Baltes @sbaltes.bsky.social Software Engineering & Empirical Research
https://empirical-software.engineering
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
billions of packets @justinesherry.bsky.social I'm a member of the imperial senate on a diplomatic mision to Alderaan.
Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8!
www.justinesherry.com
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.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
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Softenheiro de Engeware @mao-ware.bsky.social Eng de software, TeaDAH baixas habilidades, gatero codafofo. “Estava antigamente com esses esquerdistas, mas larguei eles - usavam drogas demais” - Aurélio Barba
David Andersen @daveandersen.bsky.social Computer Science Professor, CMU;
co-founder and CTO, Enriched Ag
Energy-efficient computing, a dash of security, and a pinch of databases.
Also on Mastodon (https://hachyderm.io/@dave_andersen )
signal: dga.48
he/him
George A. Constantinides @gconstantinides.bsky.social Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
Michael Coblenz @mcoblenz.bsky.social Assistant Prof. at UC San Diego. Helping people write better software.
Sven Apel @svenapel.bsky.social Professor of Computer Science
https://www.se.cs.uni-saarland.de/apel/
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Alexander Serebrenik @aserebrenik.bsky.social Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code.
🇧🇪🇮🇱🏳️🌈 🐕 He/him
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
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.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
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/