Loris D'Antoni
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@mguarnieri.bsky.social
Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
@mcognetta.bsky.social
Language and keyboard stuff @Google + PhD student at Tokyo Institute of Technology. I like computers and Korean and computers-and-Korean and high school CS education. Georgia Tech → 연세대학교 → 東京工業大学. https://theoreticallygoodwithcomputers.com/
@joannacss.bsky.social
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
@corneliocristina.bsky.social
Research Scientist @ Samsung AI https://corneliocristina.github.io Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
@license-token.com
representative of iunera.com #buildInPublic 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
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@yuriybrun.bsky.social
Professor at the University of Massachusetts Amherst https://people.cs.umass.edu/~brun/
@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, ...
@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.
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@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/
@mvsamuel.bsky.social
I solve large software systems problems with programming language techniques. Previously, I was the first frontend engineer on Google Calendar, and was a security engineer who worked on the industrial-strength Mad Libs undergirding Gmail.
@remyjck.bsky.social
PhD Candidate @ Cambium, INRIA Paris OCaml x Program Verification https://remyjck.github.io
@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
@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
@jiayuwang.bsky.social
CS PhD @UW-Madison | Data- and compute- efficient, reasoning for foundation models Website: https://jiayuww.github.io/
@georgetakei.bsky.social
I’ve boldly gone into the clear blue yonder. Follow for more recipes and tips.
@godsped.com
@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.
@akariasai.bsky.social
Ph.D. student at University of Washington CSE. NLP. IBM Ph.D. fellow (2022-2023). Meta student researcher (2023-) . ☕️ 🐕 🏃♀️🧗♀️🍳 I’m on academic job market this year! https://t.co/1bqn4gUpUs
@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
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@allylouks.bsky.social
Working on olfactory ethics and teaching at Cambridge. ‘One of those academic types who turn to books as a substitute for social interaction’.
@fredashi.bsky.social
Assistant Professor & Canada CIFAR AI Chair, University of Waterloo & Vector Institute | Excited about "grounding" in any form | Feeder of 3 🐈 | 🏸, 🏐, 🏂 | she/her
@aspuru.bsky.social
Professor of Chemistry and Computer Science University of Toronto Faculty member, Vector Institute Director, Acceleration Consortium My views expressed here are personal and are not those of my employers.
@yoshuabengio.bsky.social
Full professor at UdeM, Founder and Scientific Advisor at Mila - Quebec AI Institute, A.M. Turing Award Recipient. Working towards the safe development of AI for the benefit of all. Website and blog: https://yoshuabengio.org/
@glenberseth.bsky.social
Assistant Prof at @UMontreal @mila-quebec.bsky.social @MontrealRobots . CIFAR AI Chair, RL_Conference chair. Creating generalist problem-solving agents for the real world. He/him/il.
@michaelhbowling.bsky.social
Professor of Computing Science at the University of Alberta. Interested in AI, reinforcement learning, and games of all sorts.
@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.
@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!
@davidduvenaud.bsky.social
Machine learning prof at U Toronto. Working on evals and AGI governance.
@erdog.bsky.social
Professor at University of Toronto. Research on machine learning, optimization, and statistics.
@alonaf.bsky.social
Associate prof @ UAlberta (CS and Psychology) studying language and semantic representations in the brain. TED speaker
@cgagne.bsky.social
Professor at Université Laval - IID - Mila | Machine Learning Researcher https://chgagne.github.io/