Ashfaq Farooqui
Helping autonomous systems do the correct thing. Researcher. FOSS aficionado. Avid reader. Foodie and novice cook.
@quim-motger.bsky.social
🔎 Post-doc researcher @gessi_upc | 📖 Assistant professor @la_UPC and @UOC | 🎭 Amateur actor and director @RebrotTeatre
@hivemind-eu.bsky.social
🇪🇺 European project: Human-centred collaboratIVE MultI-ageNt framework for accelerating software Development and maintenance
@obsidian.md
The free and flexible app for your private thoughts. For help and deeper discussions, join our community: http://obsidian.md/community
@brotheromid.bsky.social
Islamic studies prof (Duke U). Jedi-wannabe. Rumi, Martin, Malcolm, and my Momma's love. Leads spiritually oriented Turkey & Morocco, Spain & Umrah. Teaches online http://illuminatedcourses.com
@shabana.bsky.social
Author, 'Muslim American Women on Campus' Views are always mine only, not those of my employer
@shortridge.bsky.social
software resilience, cybersecurity, complex systems | daedric prince of chaos | vp @fastly “In the information society, nobody thinks. We expected to banish paper, but we actually banished thought.” kellyshortridge.com previously @swagitda_ on Twitter
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@danluu.com
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
@taliaringer.bsky.social
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@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/
@teuber.bsky.social
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@mattluckcuck.bsky.social
(Slightly Less) Precarious Computer Scientist | Nullius in verba
@fmasworkshop.bsky.social
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Skeets by Matt Luckcuck & Akhila Bairy
@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/
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app