Department of Computer Science at the University of Oxford, sharing news on our outstanding research across a broad spectrum of computer science
#CompSciOxford
Computer Scientist, Leading Science and Strategic Initiatives @ Google DeepMind.
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods.
cs.utexas.edu/~swarat
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
Mathematician, writer, Orioles fan, Wisconsinite, cargo shorts dad
Complexity Theorist
professor of EECS at MIT, currently visiting IAS. 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)
![]()
Mathematician, writer, Cornell professor. All cards on the table, face up, all the time.
www.stevenstrogatz.com
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting.
www.quantamagazine.org
Our in depth reporting on innovation reveals and explains what’s happening now to help you know what’s coming next.
Find our journalists on Bluesky:
bsky.app/starter-pack/techno…
At the Fields Institute, mathematics research, innovation and education flourish. We foster an inclusive, equitable and collaborative culture where everyone can discover mathematics, and where mathematicians can make meaningful contributions to the world.
![]()
The Department of Mathematics at MIT is a world leader in pure and applied mathematical research and education.
![]()
The California Institute of Technology aims to expand human knowledge and benefit society through research integrated with education.
The AI community building the future!
PIMS is a consortium of universities in Western Canada and the Pacific NW, dedicated to promoting research in and the application of mathematical sciences.
Learn more:
pims.math.ca![]()
AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll.
Math! Machine learning! Cognitive Science!
We are a research institute investigating the trajectory of AI for the benefit of society.
epoch.ai
We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at
Claude.ai.
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage:
https://jaalonso.github.io
Sevilla, Spain
Original news, reviews, analysis of tech trends, and expert advice on the most fundamental aspects of tech.
Bluesky account of the Free Software Foundation Europe. Our main account is on Mastodon (mastodon.social/@fsfe)
fsfe.org
We’re a non-profit focused on growing and supporting a diverse community and tech based on the BEAM
#erlef
erlef.org
Building a better internet.
Making cloud native ubiquitous
things behind things behind things
Ops @leanprover
transfem nada engraçada, i do sillyous business.
This is my personal account that I post mainly in PT/BR
makes Lean at Lean FRO
Munich, Germany
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
CEO @ Harmonic
We fund research, engagement and education in science, technology, engineering, mathematics and economics. Based in NYC. More here:
sloan.org
Technologist, scientist. Co-founder of Convergent Research.
The global home for open source software, powering some of the world’s most ubiquitous software projects in web, big data, Java, IoT, cloud computing, and more. Learn more at
https://apache.org.
