IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
@madhu001.bsky.social @madhu001.bsky.social 
Valentin Wüstholz @vwuestholz.bsky.social Principal Researcher and Co-founder at Diligence Security, previously at Consensys, ETH Zürich, UT Austin, Microsoft Research, and Google
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Marco @mcognetta.bsky.social Language and keyboard stuff at Google.
I like computers and Korean and computers-and-Korean and high school CS education.
Georgia Tech → 연세대학교 → 東京工業大学.
Regrettably no longer based in Tokyo :/
https://theoreticallygoodwithcomputers.com/
Joanna C S Santos @joannacss.bsky.social Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
Cristina Cornelio @corneliocristina.bsky.social Research Scientist @ Samsung AI https://corneliocristina.github.io
Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
Augmenta iunera @license-token.com representative of iunera.com
#ai and #mcp fan!
Hunting crazy projects;
#java #python #angular;
#OpenSource #indiehacker ;
#Bigdata and #AI enthusiast;
loving #crypto and tokenization/#NFT use cases beyond art.
Disrupt #OSS: https://license-token.com
@vijaychidambaram.bsky.social @vijaychidambaram.bsky.social 
Guido Salvaneschi @guidosalva.bsky.social Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Jürgen Cito @citostyle.bsky.social CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
Yuriy Brun @yuriybrun.bsky.social Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~brun/
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, ...
@hernanponcedeleon.bsky.social @hernanponcedeleon.bsky.social Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
Techmeme @techmeme.com Top news and commentary for technology's leaders, from all around the web.
This account shares top-level Techmeme headlines. Visit https://techmeme.com/ for full context.
João F. Ferreira @jff-dev.bsky.social Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Lin Tan @lin-tan.bsky.social Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
https://www.cs.purdue.edu/homes/lintan/
Tim Ng @timng.bsky.social I teach computer science https://cs.uchicago.edu/~timng/
Mike Samuel 🟣 @mvsamuel.bsky.social Programming languages person focused on software systems problems.
Previously, first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
Pro-trans-rights is pro-family.
Remy Seassau @remyjck.bsky.social PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
David Andersen @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
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Jiayu (Mila) Wang @jiayuwang.bsky.social CS PhD @UW-Madison | Building efficient and intelligent agentic systems.
| Website: https://jiayuww.github.io/
George Takei @georgetakei.bsky.social Husband, Actor, Activist, Uncle George to the Internet 🖖
Samir Rashid @godsped.com i love my computer
Hal Daumé III @haldaume3.bsky.social Human-centered AI #HCAI, NLP & ML. Director TRAILS (Trustworthy AI in Law & Society) and AIM (AI Interdisciplinary Institute at Maryland). Formerly Microsoft Research NYC. Fun: 🧗🧑🍳🧘⛷️🏕️. he/him.
Akari Asai @akariasai.bsky.social Ph.D. student at University of Washington CSE. NLP. IBM Ph.D. fellow (2022-2023). Meta student researcher (2023-) . ☕️ 🐕 🏃♀️🧗♀️🍳 
@julesjacobs.bsky.social @julesjacobs.bsky.social 
Mark Cuban @mcuban.bsky.social Entrepreneur
Costplusdrugs.com
Slashdot @slashdot.org News for Nerds, Stuff that Matters
#tech #news #software #engineering #AI #bitcoin #linux #business
Website: https://slashdot.org
Software Directory: https://slashdot.org/software/
RSS: https://rss.slashdot.org/Slashdot/slashdot
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Aws Albarghouthi @awsto.bsky.social Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws/
Dr Ally Louks @drallylouks.bsky.social ✍🏻 Author 📚Literary Scholar 👩🏻🏫 Public Academic👃🏻Smell Expert 📖 UNDER YOUR NOSE: Spring 2027
Freda Shi @fredashi.bsky.social Assistant Professor & Canada CIFAR AI Chair, University of Waterloo & Vector Institute | Excited about "grounding" in any form | Feeder of 2 🐈 | 🏸, 🏐, 🏂 | she/her
Alán Aspuru-Guzik @aspuru.bsky.social Professor of Chemistry and Computer Science
University of Toronto
Faculty member, Vector Institute
Director, Acceleration Consortium
Senior Director of Quantum Chemistry NVIDIA
My views expressed here are personal and are not those of my employers.
Yoshua Bengio @yoshuabengio.bsky.social Working towards the safe development of AI for the benefit of all at Université de Montréal, LawZero and Mila.
A.M. Turing Award Recipient and most-cited AI researcher.
https://lawzero.org/en
https://yoshuabengio.org/profile/
Glen Berseth @glenberseth.bsky.social Associate Prof at @umontreal-en.bsky.social @mila-quebec.bsky.social @MontrealRobots
. CIFAR AI Chair, @RL_Conference chair. Creating generalist problem-solving agents for the real world. He/him/il.
Michael Bowling @michaelhbowling.bsky.social Professor of Computing Science at the University of Alberta. Interested in AI, reinforcement learning, and games of all sorts.
Sarath Chandar @sarath-chandar.bsky.social Associate Professor at Polytechnique Montreal and Mila.
Jeff Clune @jeffclune.com Professor, Computer Science, University of British Columbia. CIFAR AI Chair, Vector Institute. Senior Advisor, DeepMind. ML, AI, deep RL, deep learning, AI-Generating Algorithms (AI-GAs), open-endedness. 
Audrey Durand @audurand.bsky.social Associate professor @ Université Laval - IID - Mila
Interested in reinforcement learning, bandits, partial monitoring, active learning, ... anything that learns by getting its own data from the environment!
David Duvenaud @davidduvenaud.bsky.social Machine learning prof at U Toronto. Working on evals and AGI governance.
Murat A. Erdogdu @erdog.bsky.social Professor at University of Toronto. Research on machine learning, optimization, and statistics.
Alona Fyshe @alonaf.bsky.social Associate prof @ UAlberta (CS and Psychology) studying language and semantic representations in the brain. TED speaker
Christian Gagné @cgagne.bsky.social Professor at Université Laval - IID - Mila | Machine Learning Researcher
https://christiangagne.net
Matthew Guzdial @matthewguz.bsky.social Associate professor @ University of Alberta and Canada CIFAR AI Chair @ Alberta Machine Intelligence Institute.
Games, machine learning, and creativity | he/him
Gillian Hadfield @ghadfield.bsky.social Economist and legal scholar turned AI researcher focused on AI alignment and governance. Prof of government and policy and computer science at Johns Hopkins where I run the Normativity Lab. Recruiting CS postdocs and PhD students. gillianhadfield.org
Rahul G. Krishnan @rahulgk.bsky.social Assistant Professor at the University of Toronto
⚒️ 🏥 Deep learning and causal inference for computational medicine
Guillaume Lajoie @glajoie.bsky.social Professor at Université de Montréal & Mila -- Québec AI Institute
mathematics - neuroscience - artificial intelligence
Levi Lelis @programsynthesis.bsky.social Associate Professor - University of Alberta
Canada CIFAR AI Chair with Amii
Machine Learning and Program Synthesis
he/him; ele/dele 🇨🇦 🇧🇷
https://www.cs.ualberta.ca/~santanad
Marlos C. Machado @marloscmachado.bsky.social Assistant Professor at the University of Alberta. Amii Fellow, Canada CIFAR AI chair. ML researcher. All things reinforcement learning. Photo by Ampersand Grey.
📍 Edmonton, Canada 🇨🇦
🔗 https://mcmachado.github.io/
🗓️ Joined November, 2024
Chris J. Maddison @cmaddis.bsky.social Asst. Prof. in Machine Learning at UofT. #LongCOVID patient.
https://www.cs.toronto.edu/~cmaddis/
Eilif B. Muller @neuralensemble.bsky.social A leading cause of In Silico #Neuroscience world-wide since 2010
https://neuro.plasticit.ai
Patrick M. Pilarski @patrickpilarski.bsky.social Professor and Canada CIFAR AI Chair (Amii) at the University of Alberta, Dept. Medicine, BLINCLab. Corporate director. Previously: office co-lead at DeepMind Alberta. https://pilarski.github.io
Reihaneh Rabbany @reirab.com CS Faculty at Mila and McGill, interested in Graphs and Complex Data, AI/ML, Misinformation, Computational Social Science and Online Safety
Siva Reddy @sivareddyg.bsky.social Assistant Professor @Mila-Quebec.bsky.social
Co-Director @McGill-NLP.bsky.social
Researcher @ServiceNow.bsky.social
Alumni: @StanfordNLP.bsky.social, EdinburghNLP
Natural Language Processor #NLProc
Catherine Regis @catherineregis.bsky.social Law professor at Université de Montréal, Canada CIFAR Chair in AI and Human Rights, Canada research chair in Health Law and Policy, Academic Member at Mila, Director of social innovation and international policy at IVADO
Geoffrey Rockwell @grockwel.bsky.social Philosophy and Digital Humanities at the U of Alberta
David Rolnick @drolnick.bsky.social Assistant Professor in Computer Science, McGill University /
Mila Quebec AI Institute. Co-Founder and Chair, Climate Change AI. MIT Tech Review "Innovator Under 35". he/him/his
Bo Wang @bowang87.bsky.social Chief AI Officer @ UHN; Assistant Prof. @ U of Toronto; CIFAR AI Chair @ Vector Institute; AI & Biology
Danica Sutherland @djsutherland.ml machine learning asst prof at @cs.ubc.ca and amii
statistical testing, kernels, learning theory, graphs, active learning…
she/her, 🏳️⚧️, @queerinai.com
Csaba Szepesvari @skiandsolve.bsky.social ⛷️ ML Theorist carving equations and mountain trails | 🚴♂️ Biker, Climber, Adventurer | 🧠 Reinforcement Learning: Always seeking higher peaks, steeper walls and better policies.
https://ualberta.ca/~szepesva
Jian Tang @tangjian.bsky.social Associate Professor at Mila. Working on Generative AI, Geometric Deep Learning for Protein Design, Multiomics
@lcharlin.bsky.social @lcharlin.bsky.social 
Jocelyn Chen @jqchen.bsky.social 
Jessica Shi @jwshi.bsky.social PhD student at Penn.
Aditya Nori @avnori.bsky.social Researcher at Microsoft Research, Cambridge
Deepak Kumar @kumarde.bsky.social I'm a faculty member in Computer Science & Engineering @UCSD, a playwright, a composer, and a lyricist.
Jonah Stockwell @jonahstockwell.com Theoretical computer science, math, art.
In NYC @ Columbia University.
cassio @cassiodecampos.bsky.social AV wants a rice bowl. And apparently it can't be any rice bowl.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
지산 @zee.town eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @ fission, comcast, basho, arc90, nypl_labs | online @ https://zee.town | pastes @ https://scpaste.zee.town | livin @ songdo, s. korea.
🎵 NP: "Yam Yam" by No Vacation
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@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
@jeffbezanson.bsky.social @jeffbezanson.bsky.social 
José Valim @josevalim.bsky.social Creator of Elixir. Working at Dashbit and Livebook.
Rick Minerich @rickasaurus.bsky.social Algos/ML/LLMs/FP/Mgmt, Formerly: AI Healthcare VP of Eng, AI RegTech CTO (successful exit). Twitter circa 2008.
Alice Averlong 🏳️⚧️ @alice.averlong.com Mad Scientist and Necromancer, she/her 🏳️⚧️🏳️🌈
AuADHD creature of elemental internet
collector of keysmashes
used to be called Foone, before the war
hardmaru @hardmaru.bsky.social Co-Founder & CEO, Sakana AI 🎏 → @sakanaai.bsky.social
Visit → https://sakana.ai/
WARF (Wisconsin Alumni Research Foundation) @warfnews.bsky.social Supporting UW-Madison innovators. Moving #CoolScience from campus to the world. Advancing technologies to benefit humankind. Making a difference since 1925.
Luca de Alfaro @lucadealfaro.bsky.social luca.dealfaro.com
Josh Grubbs @joshuagrubbsphd.com Very (un)serious person who, occasionally, makes friends along the way… (also an addiction researcher/psychologist)
(for professional inquiries: www.joshuagrubbsphd.com)
Kevlin Henney @kevlin.bsky.social consultant · father · he/him · human (very) · husband · itinerant · programmer · keynote speaker · technologist · trainer · writer
Tianyi Zhang @tianyizhang.bsky.social 📖 PhD Student in Robotics at ETH Zürich
🔍 Computer Vision, 3D Reconstruction, Structure-from-Motion, SLAM, Geometry
Sankha Narayan Guria @sankhs.com Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
Peyman Milanfar @docmilanfar.bsky.social Distinguished Scientist at Google. Computational Imaging, Machine Learning, and Vision. Posts are personal opinions. May change or disappear over time.
http://milanfar.org
Ben Wikler @benwikler.bsky.social Host, This Is Wisconsin with @civicmedia.us | Author, This is the Plan: How to End America's Meltdown and Save Democracy | www.thisistheplan.com
Dr. Kareem Carr, Ph.D. @kareemcarr.bsky.social Statistician. PhD @Harvard • Masters degree in pure math • Follow me for fun, nerdy content.
Sign up to my newsletter: kareemcarr.substack.com
Sback @sback.bsky.social 
Banditten i midten @eeide.bsky.social 
Ryan O'Donnell @booleananalysis.bsky.social