Martin Jaggi @mjaggi.bsky.social Prof at EPFL
AI • Climbing
New Ideas in Networked Systems @nines-conference.org A new conference on networked systems dedicated to all the new ideas fit to discuss!
https://nines-conference.org/
Katie Mack @astrokatie.com Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr.
Personal account; not speaking for employer or anyone else.
Solal Pirelli @solalpirelli.bsky.social Scala compiler engineer @ EPFL. Scientific integrity, and random rants. Previously: PhD in automated software verification.
Dr. Alexandra “Ali” Cirone @alicirone.bsky.social Faculty at the London School of Economics;
Co-Director, EMAP/EMPP;
Governance Innovation Council, Meta
Studying lotteries in democracy and tech, participatory tech, HPE, political economy
acirone.com
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him- O @odersky.bsky.social @odersky.bsky.social
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
The Bellairs Quest @bellairs.quest https://bellairs.quest
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
Ian Brown 👨🏻💻 @ianbrown.tech 💻 regulation (🔑 #privacy 🗳)
⛷🚴🏻♂️🥾🗺 🇮🇨🇪🇸🇪🇺🏳️🌈🌻
Visiting Prof @fgvoficial.bsky.social 👨🏫
Formerly DCMS Principal Scientific Officer/Prof. Information Security & Privacy @oii.ox.ac.uk
Tech News @1br0wn.eupolicy.social.ap.brid.gy
Atmosphere Community @atmosphere.community atproto ecosystem. AT Community Fund, Tech Talks, and other social & community events content.
Previous handle @atprotocol.dev, now actually dev focused!
#AtmosphereConf is a wrap! See https://atmosphereconf.org for talks & videos
Thomas Gazagnaire @gazagnaire.org #ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
Cornell Bowers Computing and Information Science @cornellbowers.bsky.social Cornell Bowers is the new frontier of tech—moving technology, humanity, and society forward as one. bowers.cornell.edu
Tom Pepinsky @tompepinsky.com Teacher, researcher, internationalist, republican.
tompepinsky.com
Zerina Kapetanovic @zerinak.bsky.social Assistant Professor @ Stanford
Benno Stein @bennoste.in bennostein.org
DARPA @darpa.mil Creating breakthrough technologies for national security.
Damian Williams @damian-williams.bsky.social Proud father, husband, Brooklynite, and former U.S. Attorney for the Southern District of New York. www.damianwilliamsofficial.com.
Leah Litman @leahlitman.bsky.social Michigan Law Prof.
Co-host, Strict Scrutiny Podcast
Author, NYT Bestseller “LAWLESS: How the Supreme Court Runs on Conservative Grievance, Fringe Theories, & Bad Vibes”
https://www.simonandschuster.com/books/Lawless/Leah-Litman/9781668054628
Boya @wangboya.bsky.social I dance, run, and do research.
https://wangboya.org/
Rolf Neugebauer @rn212.bsky.social 
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
Sangeetha Abdu Jyothi @ajsangeetha.bsky.social Assistant Professor, Computer Science at UC Irvine
https://ics.uci.edu/~sabdujyo/
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Chris Murphy @chrismurphyct.bsky.social U.S. Senator from Connecticut.- T @tforcworc.bsky.social @tforcworc.bsky.social
Elizabeth Sacha Baroness Cohen @alixabeth.bsky.social Maxwell Professor of United States Citizenship at Boston University and Political Theory Editor at American Journal of Political Science. I write about immigration, citizenship, and the politics of time. https://www.bu.edu/polisci/profile/elizabeth-cohen/
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Brighten Godfrey @bgodfrey.bsky.social https://pbg.cs.illinois.edu
jamelle @jamellebouie.net The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group.
Send me your mutual aid requests.
Molly Q Feldman @feldmanmolly.bsky.social Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Zsolt István @zistvan.bsky.social Prof. at the Systems Group at TU Darmstadt
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Victoria Dean (she/they) @vdean.bsky.social Teaching Faculty @ Princeton University | CMU, MIT alum | reinforcement learning, AI ethics, equity and justice, baking | ADHD 💖💜💙
Josh Gancher @jgancher.bsky.social Assistant Prof @ Northeastern. Formal verification + security + crypto. https://gancher.dev
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
tijana minić @tijanaminic.bsky.social phd student at @uwcse | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
Mary Sheeran @nishiorain.bsky.social Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
Umang Mathur @umathur.bsky.social Presidential Young Professor at the National University of Singapore.
https://www.comp.nus.edu.sg/~umathur/
Manuel Rigger @mrigger.bsky.social Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability. 
@ccadar.bsky.social @ccadar.bsky.social 
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Saugata Ghose @saugataghose.bsky.social Computer architect who started working on Random Access Memories around the same time as Daft Punk. One of us went platinum.
Assistant professor @IllinoisCDS
@carmelatroncoso.bsky.social @carmelatroncoso.bsky.social 
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Kim Weeden @weedenkim.bsky.social Inequality, higher education, gender, work and organizations, open science, Alaska.
All posts are made in my personal, not professional, capacity. I do not speak for my employer.
Josh Cowen @joshcowenmi.bsky.social Author; Policy Professor; I write about politics, markets, and schools; Find me at newsletter The Forum: joshcowen.substack.com
Aaron Roth @aaroth.bsky.social Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
Michael Kearns @mkearnsphilly.bsky.social CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
David Mimno @dmimno.bsky.social He teaches information science at Cornell. http://mimno.infosci.cornell.edu
Renee DiResta @noupside.bsky.social 🌐Studies influence, propaganda, platform design@Georgetown
✍🏼Lawfare,The Atlantic, Substack/Ghost Newsletter (signup on my site if you want Ghost)
📕Invisible Rulers: The People Who Turn Lies Into Reality (invisiblerulers.com)
🦹🏻♀️Twitter Files supervillain
Nicolas Papernot @nicolaspapernot.bsky.social Security and Privacy of Machine Learning at UofT, Vector Institute, and Google 🇨🇦🇫🇷🇪🇺 Co-Director of Canadian AI Safety Institute (CAISI) Research Program at CIFAR. Opinions mine
@mflatt.bsky.social @mflatt.bsky.social 
Malte Schwarzkopf @ms705.bsky.social Computer systems researcher in the ETOS group (https://etos.cs.brown.edu) at Brown University.
Kate Starbird @katestarbird.bsky.social Researcher of online rumors & disinformation. Former basketball player. Prof at University of Washington, HCDE. Co-founder of the UW Center for an Informed Public. Personal account: Views may not reflect those of my employer.
Josh Sunshine @joshsunshine.bsky.social Assistant Professor at Carnegie Mellon. I help people understand the software they create. 
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Raghav Malik @r4ghav.bsky.social PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
Jules Villard @theblatte.bsky.social Yes it's really me.
sardean @sardean.bsky.social asst prof @cornellbowers.bsky.social thinking about dynamics, control, machine learning
sdean.website
Antoine Kaufmann @antoine.systems 
KSV @ksvesq.bsky.social Founder, Risepoint Search Partners. Former litigator. Mom to two amazing girls. Color commentary for @stevevladeck.bsky.social.
Steve Vladeck @stevevladeck.bsky.social @ksvesq.bsky.social’s husband; father of daughters; professor @georgetownlaw.bsky.social; #SCOTUS nerd @CNN.com
Bio: www.law.georgetown.edu/faculty/stephen-i-vladeck
"One First" Supreme Court newsletter: stevevladeck.com
Book: tinyurl.com/shadowdocketpb
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Soren Iverson @soren.bsky.social New ideas daily.
https://linktr.ee/soreniverson
Gautam Kamath @gautamkamath.com Assistant Prof of CS at NYU Courant. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Gianni Antichi @gianniantichi.bsky.social Faculty at Politecnico di Milano and Queen Mary University of London. Interested in Programmable Hardware, Operating Systems, I/O interfaces and networks
https://gianniantichi.github.io/
Sam Lindley @reifyreflect.bsky.social 
Paul Krugman @pkrugman.bsky.social Ex NY Times, now author of Substack Paul Krugman. Nobel laureate and, according to Donald Trump, "Deranged BUM". Also Research Professor at the City University of New York Graduate Center and senior scholar at the GC-CUNY Stone Center.
Neil Lewis, Jr. @neillewisjr.bsky.social Behavioral Scientist & Science Communicator.
Nancy and Peter Meinig Family Investigator in the Life Sciences and Associate Professor of Communication, Medicine, and Public Policy at Cornell University.
More here: neillewisjr.com
Personal account
Hakeem Jefferson @hakeemjefferson.bsky.social Assistant professor of political science at Stanford. Forthcoming book, Respectability Politics, with University of Chicago Press.
Not Hakeem Jeffries, the Minority Leader.
hakeemjefferson.com
Luke Zettlemoyer @lukezettlemoyer.bsky.social Professor at UW; Researcher at Meta. LMs, NLP, ML. PNW life.- M Mike O’Neill @mpo.bsky.social Try outs
Hanna Wallach @hannawallach.bsky.social VP and Distinguished Scientist at Microsoft Research NYC. AI evaluation and measurement, responsible AI, computational social science, machine learning. She/her.
One photo a day since January 2018: https://www.instagram.com/logisticaggression/
Matthias Hauswirth @hauswirth.bsky.social Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
OCaml @ocaml.org https://ocaml.org
Sarah Lawsky @sarahlawsky.bsky.social Law professor at UIUC, Catala team at Inria. Tax law, computational law. https://www.sarahlawsky.org/
Denis Merigoux @denismerigoux.bsky.social Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Giulia Guidi @giulsguidi.bsky.social Cornell CS Assistant Prof | LBNL Affiliate Faculty | UC Berkeley PhD | ALPS Lab | Dogs, Skis, Pottery | she/her
https://giuliaguidi.github.io/
David Bindel @dbindel.bsky.social Professing computing and applied math at Cornell. Numerical methods for data science, plasma physics, other stuff depending on the day. Director, Cornell Center for Applied Mathematics; Director, Simons Collaboration on Hidden Symmetries and Fusion Energy.
Sam Kumar @samkumar.bsky.social Assistant Professor, UCLA Computer Science. Interested broadly in System Security and Networked Systems.
https://www.samkumar.org
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Jim Larus @jameslarus.bsky.social Retired EPFL CS professor/dean.
Retired Microsoft researcher/manager.
Time to do something new….
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Katherine Mohr @kmohr.bsky.social mit '23 | meng '24 | stanford phd ???
your friendly neighborhood PL enjoyer
she/her
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
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.
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Natacha Crooks @nacrooks.bsky.social CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater. - J Joe Hellerstein @joehellerstein.bsky.social Computer things @Berkeley and music things elsewhere.
Mor Naaman @informor.bsky.social Cornell Tech professor (information science, AI-mediated Communication, trustworthiness of our information ecosystem). New York City. Taller in person. Opinions my own.
Kristina @4ierplane.bsky.social Asst. Prof. in CS at Cornell. I lead the Cornell Computational Imaging Lab. I like cameras, microscopes, and telescopes, as well as bikes and safe streets.
https://kristinamonakhova.com/