@scottjshapiro.bsky.social
Southmayd Prof @YaleLawSch + Philosophy @Yale. Ed, @LegalTheory + Stanford Encyclopedia of Phil. Content creator. Author, “Fancy Bear Goes Phishing"
@chrislhayes.bsky.social
Bronx boy. Cubs fan. Dad, husband, writer, podcaster and cable news host. The Sirens’ Call: How Attention Became the World’s Most Endangered Resource out now. https://sirenscallbook.com/
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category […] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@vclatuwien.bsky.social
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms. https://www.vcla.at
@simonsinstitute.bsky.social
The world's leading venue for collaborative research in theoretical computer science. Follow us at http://YouTube.com/SimonsInstitute.
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@93mschwarz.bsky.social
PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
@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
@sanders.senate.gov
Sen. Sanders of Vermont, Ranking Member of the U.S. Senate Committee on Health, Education, Labor & Pensions, is the longest-serving independent in congressional history.
@markethotel.bsky.social
community nightclub / concert place since 2008 1140 Myrtle Ave @ Broadway (above Mr Kiwi) Myrtle/Broadway, Bushwick, Brooklyn, New York City http://linktr.ee/markethotel
@dsoko.bsky.social
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@joshua-garcia-swe.bsky.social
Assistant Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture. Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@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.
@benbenbrubaker.bsky.social
Staff writer @quantamagazine.bsky.social covering computer science. Formerly freelance physics writer (Quanta, SciAm, Physics Today, elsewhere), ex-physicist.
@tobiasrth.bsky.social
Cryptography, Complexity Theory, Formal Methods Enthusiast prev. Cryptography @ Arcium CS @ TUM https://tobias-rothmann.github.io
@scotusblog.com
Independent news and analysis on the U.S. Supreme Court. This is the official account of scotusblog.com.
@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/
@markriedl.bsky.social
AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Associate Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
@taliaringer.bsky.social
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@robreich.bsky.social
Professor, Stanford University Just Giving: Why Philanthropy is Failing Democracy System Error: Where Big Tech Went Wrong
@tdietterich.bsky.social
Safe and robust AI/ML, computational sustainability. Former President AAAI and IMLS. Distinguished Professor Emeritus, Oregon State University. https://web.engr.oregonstate.edu/~tgd/
@alextamkin.bsky.social
machine learning, science & society @anthropic.com | recently: Clio, Anthropic Economic Index, Claude Artifacts | prev: phd, stanford nlp. alextamkin.com
@profsanjeevarora.bsky.social
Director, Princeton Language and Intelligence. Professor of CS.
@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
@szeider.bsky.social
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
@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)
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@carstensinz.bsky.social
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
@hbarbosa.bsky.social
SMT solving for fun and profit. https://hanielbarbosa.com/ Also, movies. https://hanielbarbosa.com/filminhos/
@kartikchandra.bsky.social
I'm a PhD student at MIT CSAIL. More about me: https://cs.stanford.edu/~kach
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social