Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Supporting the Formal Mathematics revolution
Professor of Software Engineering and Sustainability
Funded by ARC, our lab’s world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
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
Professor of Computer Science at National University of Singapore
https://abhikrc.com
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
https://conf.researchr.org/home/icse-2026
Assistant Professor in Software Engineering. University of Florence, Italy.
Empirical Research, Software Architecture, Technical Debt, Green Software, Software Testing, Life, the Universe, and Everything.
Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
https://austinhenley.com/
Tenure-Track Assistant Professor in Software Engineering. @SchulichENGG - @UCalgary. My research goal is to make software engineering more colorful! 🌈
Associate Professor @ University College Dublin | Director of the MSc in Cybersecurity @ University College Dublin
Research Interests: Software Engineering, Requirements Engineering & Cybersecurity
Professor of Software Systems, Trinity College Dublin. MRIA
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Tenure Track Assistant Professor of Computer Science at Colorado State University
Professor in Software Engineering at University of Mons, Belgium
