Lef Ioannidis
21 following
LightNews LightNews
Hacker News Bot
Hacker News Bot
@newsycombinator.bsky.social
José A. Alonso
José A. Alonso
@jalonso.bsky.social
Conor Mc Bride
Conor Mc Bride
@pigworker.bsky.social
MIT Computer Science & Artificial Intelligence Laboratory
MIT Computer Science & Artificial Intelligence Laboratory
@csail.mit.edu
ISSS - University of Pennsylvania
ISSS - University of Pennsylvania
@issspenn.bsky.social
University of Pennsylvania
University of Pennsylvania
@upenn.edu
Klaus v. Gleissenthall
Klaus v. Gleissenthall
@gleissen.bsky.social
Orestis Ousoultzoglou
Orestis Ousoultzoglou
@xlxs4.bsky.social
Maddy Bowers
Maddy Bowers
@mlbowers.bsky.social
Dan Grossman
Dan Grossman
@dangrossmanseattle.bsky.social
Steve Jones
Steve Jones
@sjfloat.bsky.social
Ilya Sergey
Ilya Sergey
@ilyasergey.bsky.social
Konstantinos Kallas
Konstantinos Kallas
@konstantinoskallas.bsky.social
Formal Methods for Autonomous Systems
Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
Mike Dodds
Mike Dodds
@m-dodds.bsky.social
David Darais
David Darais
@daviddarais.bsky.social
Reshabh K Sharma
Reshabh K Sharma
@reshabh.bsky.social
Stephen Diehl
Stephen Diehl
@www.stephendiehl.com
Joe Cutler
Joe Cutler
@alphaconvert.bsky.social
Bluesky
Bluesky
@bsky.app