Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Gemeente Delft @gemeentedelft.bsky.social 
David Lusseau @lusseau.bsky.social Professor of marine sustainability @ DTU | #SDG #ODD | socioecological models | blue economy | centriste @ UDI | my own views
CNN @cnn.com Asking the hard questions and bringing unique perspectives from across the globe. This is CNN.
El Mundo Today @elmundotoday.com La actualidad del mañana.
arxiv cs.RO @arxiv-cs-ro.bsky.social Computer Science -- Robotics (cs.RO)
source: export.arxiv.org/rss/cs.RO
maintainer: @tmaehara.bsky.social
Dr. M. Birna van Riemsdijk @mbirna.bsky.social Computer Scientist @utwente.bsky.social #LogicBasedAI #MultiAgentSystems | Intimate Computing #values #vulnerability https://intimate-computing.net | Disability | Towards a caring and inspiring digital society
MIT Computer Science & Artificial Intelligence Laboratory @csail.mit.edu MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: rachelg@csail.mit.edu
IJCAIconf @ijcai.org IJCAI is the longest-running premier international AI research conference since 1969. 🌍 Connect across domains and feel the pulse of AI. 🗓️ #IJCAI2027❗August 7-13, 2027❗Kyoto, Japan
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
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/
Dr. Fei-Fei Li @drfeifei.bsky.social Prof (CS @Stanford), Co-Director @StanfordHAI, Cofounder/CEO @theworldlabs, CoFounder @ai4allorg #AI #computervision #robotics #AI-healthcare
Ian Goodfellow @ian-goodfellow.bsky.social Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Founding chairman of www.publichealthactionnetwork.org
Melanie Mitchell @melaniemitchell.bsky.social Professor, Santa Fe Institute. Research on AI, cognitive science, and complex systems.
Website: https://melaniemitchell.me
Substack: https://aiguide.substack.com/
Willem van Valkenburg @wfvanvalkenburg.bsky.social Tweet about teaching & learning and some politics | Executive Director TU Delft Extension School for Continuing Education
Based in The Netherlands, living in Sassenheim, working in Delft
Diomidis Spinellis @coolsweng.bsky.social Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/
(Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
SoSyM @sosym.org Journal of Software and Systems Modeling
Nelly Bencomo @nellybencomo.bsky.social Associate Prof @DurhamUniversity @comp_sci_durham
- British 🇬🇧 & Venezuelan 🇻🇪 Usually twits about SE & CS research, & politics (personal @Nell_Bencomo) www.nellybencomo.me
IEEE Spectrum @spectrum.ieee.org The latest technology news and analysis from the world's leading engineering magazine.
Andreas Wortmann @andwor.bsky.social Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
Ivano Malavolta @imalavolta.bsky.social Associate professor in Software Engineering at #VUamsterdam | Director of Network Institute | https://www.ivanomalavolta.com
Patricia Lago @plago.bsky.social Professor of Software Engineering and Sustainability
Andy Zaidman @azaidman.bsky.social Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Thomas Vogel @tomvog.bsky.social Software engineering and autonomous systems.
Researcher @humboldtuni.bsky.social, previously @unipaderborn.bsky.social, PhD from @hpi.bsky.social. Find me at https://thomas-vogel.github.io/
ACM SIGSOFT @sigsoft.bsky.social The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering.
Arie van Deursen @avandeursen.bsky.social Professor in software engineering at Delft University of Technology, The Netherlands. I'm mostly active on Mastodon, as https://mastodon.acm.org/@avandeursen 
Sebastijan Dumancic @sdumancic.bsky.social Assistant Professor at TU Delft, working on program synthesis, probabilistic programming, and neuro-symbolic AI.
https://sebdumancic.github.io/
Internet Archive @archive.org Internet Archive is a non-profit research library preserving web pages, books, movies & audio for public access. Explore web history via the Wayback Machine. 
NeurIPS Conference @neuripsconf.bsky.social San Diego Dec 2-7, 25 and Mexico City Nov 30-Dec 5, 25. Comments to this account are not monitored. Please send feedback to townhall@neurips.cc.
Gary Marcus @garymarcus.bsky.social AI and cognitive science, Founder and CEO (Geometric Intelligence, acquired by Uber). 8 books including Guitar Zero, Rebooting AI and Taming Silicon Valley.
Newsletter (100k subscribers): garymarcus.substack.com
Andrzej Wąsowski (moved away) @andrzejwasowski.scholar.social.ap.brid.gy An insolent elitist derogatory fearless context-free professor conjugates a well-typed glass of higher-order prilimubary students. Living in and […]
[bridged from https://scholar.social/@AndrzejWasowski on the fediverse by https://fed.brid.gy/ ]
Ingo Lütkebohle @iluetkeb.bsky.social Robotics software engineering lead in an advance engineering department at a large multinational. Before that, 10 years in academia (5 of that PhD). All opinions are my own.
PAL Robotics @palrobotics.bsky.social We design robot to elevate everyday living 🤖
euRobotics @eurobotics.bsky.social euRobotics aisbl - shaping the future of #robotics in Europe
RT, like ≠ endorsement
Thilo Zimmermann @thilozimmermann.bsky.social #Research Coordination #Innovation Management
#Robotics #Manufacturing #Mobility #SoftwareDefined #OpenSource #InnovationCampus #FutureMobility #UniversityStuttgart #KIT #BaWue #TheLänd #Stuttgart #Karlsruhe 
TU Delta @tudelta.bsky.social Delta is TU Delft's independent journalistic platform.
delta.tudelft.nl
Water Management, TU Delft @tudelftwm.bsky.social Department of Water Management, Delft University of Technology
🌐 water.tudelft.nl
☔ Section Water Resources
🚰 Section Sanitary Engineering
The New Yorker @newyorker.com Unparalleled reporting and commentary on politics and culture, plus humor and cartoons, fiction and poetry. Get our Daily newsletter: http://nyer.cm/gtI6pVM
Follow The New Yorker’s writers and contributors: https://go.bsky.app/Gh5bFwS
Robotics @robotics.bsky.social Robotics research.
Mark Riedl @markriedl.bsky.social AI for storytelling, games, explainability, safety, ethics. Professor at Georgia Tech. Director of ML Center at GT. Time travel expert. Geek. Dad. he/him
Last Week Tonight with John Oliver UPDATE @lastweektonight1.bsky.social / video / info / resources /
Last Week Tonight with John Oliver
~ unaffiliated
Ken Goldberg @ken-goldberg.bsky.social Artist, Prof. of Engineering @UCBerkeley, Chief Scientist, @AmbiRobotics & @JacobiRobotics. Interested in robots, rockets, redwoods, rebels.
Arkady Zgonnikov @azgonnikov.bsky.social Assistant professor @tudelft. Cognitive modeling, human-robot interaction, automated driving, meaningful human control over AI
Tom Ziemke @ziemke.bsky.social Embodied cognition & human-robot interaction. Professor at Linkoping University.
The Washington Post @washingtonpost.com Democracy Skies in Blueness
The New York Times @nytimes.com We seek the truth and help people understand the world. Not a subscriber? Your first month is now free in our app. https://nytimes.onelink.me/Xpht/zbx4nci9
Verena Vanessa Hafner @vvh.bsky.social Scientist in Berlin
Developmental Robotics, Embodied AI, Cognitive Science, Artificial Self- E Erico Guizzo @ericoguizzo.bsky.social Digital Innovation Director at IEEE Spectrum @spectrum.ieee.org
Co-creator of the Robots Guide https://robotsguide.com/
Missy Cummings @forrealflygirl.bsky.social Stop supporting Amazon and Apple - their CEOs are bankrolling the war on America
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
Dr. Phillip Alvelda @alvelda.bsky.social NASA I DARPA | MIT AI Lab | Cornell | Venture Capital | Biosecurity | Neurotech | Emmy winning media technologist | World Economic Forum Technology Pioneer
Founded Brainworks, Infinite Entertainment, Medio Labs, MobiTV, WiseTeachers & MicroDisplay
Matt Mason @mattmasonrobo.bsky.social Roboticist
Professor Emeritus, Carnegie Mellon University
Blogging at https://mtmason.com
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
José Miguel Guerrero @jmguerreroh.bsky.social Ph.D. and Associate Professor at @URJC @IntellRobLabURJC. Research in Robotics and Computer Vision. Digital alchemist, the art of turning pixels into magic.
David Garzón Ramos @dgarzonramos.com Assistant Professor at University College Dublin | Collective Robotics & AI | Past IRIDIA, ULB & Bristol Robotics Lab
dgarzonramos.com
Sam @awesomebytes.bsky.social Roboticist, PhD, Python enthusiast, tinkerer, reverse engineer
Evan Ackerman @evanackerman.bsky.social Senior editor at IEEE Spectrum. I hug robots.
spectrum.ieee.org
Cadena SER @cadenaser.com Somos la radio más escuchada en España 📻 👋 https://cadenaser.com/ 
EL PAÍS @elpais.com La mejor información en español. Con nuestra mirada puesta en España, Europa y América. Suscríbete: https://tinyurl.com/yfbk27jh
Aquí puedes consultar nuestra política de privacidad: https://tinyurl.com/32dnhzc9
European Commission @ec.europa.eu News and information from the European Commission. Social media and data protection policy: http://europa.eu/!MnfFmT
Séverin Lemaignan 🤖 @skadge.bsky.social Social robots tamer & Senior scientist #SocialRobotics and AI @palrobotics. 🐘@me@skadge.org. Own opinions.
Allison Thackston @althack.bsky.social 🤖Roboticist and Pun-veyor🤖
🔧 Building bots, breaking stereotypes, and having a byte of fun💥
allisonthackston.com
kscottz @kscottz.bsky.social Engineer: mainly robots and computer vision stuff. Developer advocate for ROS at Open Robotics. Open Source Hardware Association board member. Lover of rats and plants. 
@davidlu.bsky.social @davidlu.bsky.social 
Davide Faconti @facontidavide.bsky.social Doing robotics, open source software and programming in C++, for fun and profit.
fmrico @fmrico.bsky.social Doctor engineer in Robotics, robot hacker, and Full Professor at Rey Juan Carlos University. Leader of @IntellRobotLabs | ex-ROS 2 TSC
Esteve @esteve.bsky.social I love cheese
Riccardo M.G. Ferrari 🇪🇺 @cionnratz.bsky.social Associate Professor at TU Delft (NL). Safety and Resiliency of Dynamical Systems | Control Systems | Piano player | he/him
#academicsky #windpower #cybersecurity #controlsystems #electricvehicles
http://www.dcsc.tudelft.nl/~riccardoferrar
Soumith Chintala @soumithchintala.bsky.social Cofounded and lead PyTorch at Meta. Also dabble in robotics at NYU.
AI is delicious when it is accessible and open-source.
http://soumith.ch
AI Conference DL Countdown @dlcountdown.bsky.social Bot. I daily tweet progress towards machine learning and computer vision conference deadlines. Maintained by @chriswolfvision.bsky.social
Jan Peters @jan-peters.bsky.social #RobotLearning Professor (#MachineLearning #Robotics) at @ias-tudarmstadt.bsky.social of
@tuda.bsky.social @dfki.bsky.social @hessianai.bsky.social 
Miguel Alonso Jr. @miguelalonsojr.bsky.social Building generally intelligent agents - ML, RL, Robotics
Christian Wolf @chriswolfvision.bsky.social Principal Scientist at Naver Labs Europe, Lead of Spatial AI team. AI for Robotics, Computer Vision, Machine Learning. Hobby Cyclist. Austrian in France. https://chriswolfvision.github.io/www/
Frank Dellaert @fdellaert.bsky.social Robotics/Perception Prof at Georgia Tech; Chief AI Officer at Verdant Robotics. Stints at Skydio, B*8, Reality Labs, Google Research. https://dellaert.github.io
Loy @loybeek.bsky.social l0y.nl | Dad | Robotics at aigro.nl | RoboCup@Home @TechUnited | scout at scoutingboxtel.nl | Interested layman in anything. Mastodon:
@loy@fosstodon.org.
Robot Talk @robottalkpod.bsky.social Weekly podcast hosted by @claireasher.bsky.social exploring the exciting world of #robotics, artificial intelligence, and autonomous machines. New episode every Friday.
https://linktr.ee/robottalkpod
Dr Claire Asher @claireasher.bsky.social Freelance science writer & communicator, occasional comedian & opportunistic wildlife photographer. Co-author of Brave Green World, Author of Marvolution. Host of the Robot Talk Podcast (@robottalkpod.bsky.social).
She / her.
http://claireasher.co.uk/- T Thomas Dietterich @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/
Mahi Shafiullah @notmahi.bsky.social Building generally intelligent robots that *just work* everywhere, out of the box, at Berkeley AI Research (BAIR) and Meta FAIR.
Previously at NYU Courant, MIT and visiting researcher at Meta AI.
https://mahis.life/
Rodney Brooks @rodneyabrooks.bsky.social Primarily Robotics and AI. Distinguishing hype-notism from plausibility one press release at a time. rodneybrooks.com/blog people.csail.mit.edu/brooks
Dileep George @dileeplearning @dileeplearning.bsky.social AGI research @DeepMind.
Ex cofounder & CTO Vicarious AI (acqd by Alphabet),
Cofounder Numenta
Triply EE (BTech IIT-Mumbai, MS&PhD Stanford). #AGIComics
blog.dileeplearning.com
Chris Paxton @cpaxton.bsky.social Writing about robots https://itcanthink.substack.com/
RoboPapers podcast https://robopapers.substack.com/
All opinions my own
Gillian Saunders @mrsaerolec.bsky.social Senior lecturer Robotics TU Delft| Engineering Education| TU Delft Education Fellow|AVgeek|maker|neurodiversity|opinions are my own
Joanna Bryson @j2bryson.bsky.social Professor of Ethics & Technology @ Hertie School, Berlin. Interests: Artificial & Natural Intelligence; Behavioural Ecology; Cooperation; Digital Governance. Social media policy: https://joanna-bryson.blogspot.com/2024/10/guidance-to-my-social-media.html
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app