Pascal Poizat
Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
@aseconf.bsky.social
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
@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.
@sorbonne-universite.fr
🎓 Compte officiel de Sorbonne Université, université de recherche intensive et pluridisciplinaire en lettres, santé, sciences & ingénierie. Suivez notre actualité recherche ! https://www.sorbonne-universite.fr/
@splcconf.bsky.social
29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025 📅 September 1-5, 2025 📍A Coruña, Spain
@kimmens.bsky.social
@informatics-europe.bsky.social
Official Bluesky Account of Informatics Europe 🔊 We are the European Voice of Informatics Research and Education, representing the academic and research community in Informatics in Europe. 🌍 🔗https://www.informatics-europe.org
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@uparisnanterre.bsky.social
Compte officiel de l'Université Paris Nanterre https://www.parisnanterre.fr/
@macher.bsky.social
Chess-loving professor and researcher who champion the integration of software engineering and AI for reproducible science. Diving deep into software variability spaces, from Airbus to Linux. @rennesuniv.bsky.social #INSA #IUF @InstUnivFr @Inria #IRISA
@brunocartaxo.bsky.social
Mestrado e Doutorado em Computação: Um guia para iniciação e sobrevivência, sem academês. Meu livro pela casa do código 👉📚http://bit.ly/3YZpgsh
@robertoverdecchia.bsky.social
Assistant Professor in Software Engineering. University of Florence, Italy. Empirical Research, Software Architecture, Technical Debt, Green Software, Software Testing, Life, the Universe, and Everything.
@irif-paris.bsky.social
IRIF is a research laboratory of CNRS and Université Paris Cité, also hosting one Inria project-team. The research conducted at IRIF is based on the study and understanding of the foundations of all computer science.
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@icseconf.bsky.social
ICSE is the premier conference in software engineering Other social media accounts: X: https://x.com/icseconf (but you need to be logged in to X) Facebook: https://www.facebook.com/icseconf/ Main website: https://conf.researchr.org/home/icse-2025
@andwor.bsky.social
Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
@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
@techdebtconf.bsky.social
Official Bluesky account of the International Conference on Technical Debt (TechDebt) series. Co-located with @icseconf.bsky.social Website: https://conf.researchr.org/home/TechDebt-2025
@etienneandre.bsky.social
Professeur des Universités LIPN (@lipnlab.bsky.social) Université Sorbonne Paris Nord (@univ-spn.bsky.social) Institut Universitaire de France (2024-2029) #FlyLess (no plane travel within Europe) (he/him)
@chshersh.com
🧑💻 Senior Software Engineer at Bloomberg using OCaml 🐫 ♾️ Autistic 📽 Content: https://youtube.com/c/chshersh All opinions are my own.
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@jmjezequel.bsky.social
Prof. Software Engineering University of Rennes & Institut Universitaire de France. Président Informatics Europe
@petitroll.bsky.social
Laisse-moi faire c'que j'fais de mieux. J'continuerai mes conneries jusqu'à c'qu'ils m'prennent au sérieux.
@caracolhome.bsky.social
MCF Informatique, ingénierie logicielle, cybersecurité, défense, mer et montagne. Breizh lover.
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@basharnuseibeh.bsky.social
FREng MRIA MAE FACM #SoftwareWithoutBoundaries: interplay of digital-physical-social spaces #responsibleSoftwareEngineering Professor: The Open University, UCL (Honorary), NII (Visiting), UCD (Visiting) http://nuseibeh.com
@sergestinckwich.bsky.social
🇺🇳 Computer Science PhD, Head of Research at United Nations University Institute in Macau #SDG #sustainability #agentbasedmodels #socialsimulation #complexsystems #responsibleAI #OSS
@issta.bsky.social
The 34th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis Trondheim, Norway // 25-28 June 2025 https://conf.researchr.org/home/issta-2025
@softwaronnie.bsky.social
Tenure-Track Assistant Professor in Software Engineering. @SchulichENGG - @UCalgary. My research goal is to make software engineering more colorful! 🌈
@rahul.gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing https://rahul.gopinath.org
@jeremybradbury.bsky.social
Professor (Computer Science) at #OntarioTech Software Eng & CS Education Researcher Passionate about applying #AI to SE & #CSEd Views are mine👨🏻💻🇨🇦 (he/him) 🌐 www.seerlab.ca 🦋 @seerlab.bsky.social
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@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
@onierstrasz.bsky.social
OO Evangelist since 1981. Soul polisher at feenk.com. Emeritus professor at www.oscar.nierstrasz.org
@haskell.org
Committed to a welcoming, vibrant & flourishing #Haskell community! Find us on https://haskell.org and https://blog.haskell.org
@salvamartinez.bsky.social
Associate Professor - MDE - Security - Software Evolution
@martinfowler.com
Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him. host of https://martinfowler.com
@danielamyot.bsky.social
Software Engineering Professor, and Director of the Online Master of Digital Transformation and Innovation, University of Ottawa. Loves his family, Requirements Engineering / Modelling, Process Mining, soccer, teaching, and good craft beer.
@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/
@AndrzejWasowski.scholar.social.ap.brid.gy
An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and […] [bridged from https://scholar.social/@AndrzejWasowski on the fediverse by https://fed.brid.gy/ ]
@jcabot.bsky.social
Head of the Software Engineering RDI team at LIST (Luxembourg). FNR Pearl. Former ICREA, UOC, Inria/IMT, U of Toronto. 2xFounder. Interested in how to build better software faster using a combination of low-code, AI and open source
@tomvog.bsky.social
Testing software and engineering autonomous and self-adaptive systems | Software researcher at Humboldt-Universität zu Berlin https://thomas-vogel.github.io/