João F. Ferreira
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
@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.
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@aturon.bsky.social
Choosing love Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@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)
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@aserebrenik.bsky.social
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him
@lmcaires.bsky.social
I live in Lisbon. I work at Técnico Lisboa as a Professor of Computer Science. Also Interested in science and tech, music and art, philosophy and cinema.
@rrwilliams.bsky.social
professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc. i'll let you know when P != NP is proved (and when it's not)
@reifyreflect.bsky.social
@feldmanmolly.bsky.social
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
@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
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@apf.bsky.social
I like writing silly skeets, but that doesn't pay so I also make Google Chrome. mamá, Eng Director, volunteer at Second Harvest. 🇺🇲🇨🇷 Twitter: @__apf__
@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
@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.
@adolfont.github.io
Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social
@matthewbarr.co.uk
Head of Education & Practice, School of Computing Science, University of Glasgow. Programme Director, Graduate Apprenticeship in Software Engineering. Director of Education, SICSA. Co-director, Games & Gaming Lab. Director, Ada Scotland Festival.
@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: @[email protected]
@mao-ware.bsky.social
Dev proletário-comuna, TeaDAH baixas habilidades, gatero codafofo. Ni iporã redes sociales, pero vida che obliga.
@mirchevmartin.bsky.social
PhD Student in Trustworthy and Secure Software Research group in National University of Singapore
@kritoke.bsky.social
IT Professional, lover of functional languages. Currently building a side project in Elixir. Learning Haskell, Ocaml, Gleam, and others.
@pascalpoizat.bsky.social
Professor at Université Paris Nanterre and LIP6 (Sorbonne Université). Software Engineering. Business Processes. Applied Formal Methods.
@facundomolina.bsky.social
Postdoc Researcher at @IMDEA_Software 🇪🇸, PhD @CONICET 🇦🇷. https://facumolina.github.io/
@kylenetes.bsky.social
DevSecOps Engineer, meme enthusiast. This is my new emotional support hellsite after the other one sank
@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
@drolga.bsky.social
Teaching Fellow @ Swansea University | Institute of Coding in Wales | Technocamps Computer Science | Research | Education | AI | Project Management
@bugcounting.net
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
@jonnypjlow.bsky.social
🎓 PhD @ Monash | 🔷 Lecturer in IT @ VU | ⚙️ Software Engineering | 🩺 AI in Healthcare
@catharz.bsky.social
Aussie, living in Burrinja on Wurundjeri land, working with Elixir and playing with Unreal.
@vasilescu.bsky.social
I shorten academic research papers to fit in 10 pages for a living, at CMU. https://www.instagram.com/count_scratchula http://bvasiles.github.io
@japj.bsky.social
Interested in software (engineering) & (making) music, sometimes combining the two. http://japj.net https://youtube.com/@japjnl
@azaidman.bsky.social
Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
@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.
@yuriybrun.bsky.social
Professor at the University of Massachusetts Amherst https://people.cs.umass.edu/~brun/
@istecnico.bsky.social
Instituto Superior TÉCNICO is the largest school of Architecture, Engineering, Science and Technology in Portugal, involving a community of 12000+ people on campus 🏛️🇵🇹 tecnico.ulisboa.pt
@icseconf.bsky.social
The premier International Conference on Software Engineering. April 18-26, 2026. Official hashtag: #icse2026. https://conf.researchr.org/home/icse-2026
@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/
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]