BigBogeyFace @bigbogeyface.bsky.social I build robots ๐ฆพ๐ฆพ๐ฆพ
Vincenzo Riccardi @vinric.bsky.social AI, Ethics, SmartCity
๐ฆ๐ฎ๐ฝ๐ถ๐ฒ๐ป๐๐ฎ ๐จ๐ป๐ถ๐๐ฒ๐ฟ๐๐ถ๐๐: lecturer Planning and Strategic Management
๐๐ก๐๐: member of National Authority for AI association
๐ง๐๐ : Account Manager
๐ฐ https://doi.org/10.1108/TG-04-2024-0096
๐ https://www.linkedin.com/in/vriccardi
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell
ngernest.github.io
Max Tromanhauser @max.troman.haus PhD Student @ Cornell
Quantum Cryptography / Complexity
Robert Campbell @robert-g-campbell.bsky.social PhD student at UC Santa Cruz working on autonomous cyber-operations. Interested in decision making and it's applications to cybersecurity.
๐ณ๏ธโ๐๐ฉท๐๐
Danny Xie @dnnxl.bsky.social Young ML/DL Researcher
Statistical anomaly in a predictable world
Jake Buzhardt @jbuzhar.bsky.social Interested in modelling and control of complex dynamical systems, fluid dynamics, reduced order modelling, and SciML
Postdoc, UW Madison; PhD - Mechanical Engineering, Clemson University;
jbuzhar.github.io
Francisco Giral @frangiral.bsky.social PhD Student at Technical University of Madrid (UPM) | Reinforcement Learning, decision-making & control, Autonomous Systems.๐ค
Giovanni Toffetti @gtof.eurosky.social Father of 2 girls, senior lecturer @ZHAW๐จ๐ญ, interested in robots ๐ค, AI ๐ง , cloud โ๏ธ
https://gtoff.github.io/
Oliver Obst @oliverobst.bsky.social Assoc Prof. in Robotics at UNSW.
I am exploring physical and collective intelligence in robotics and real world systems โ from smart materials, learning systems, to team behaviours.
Eytan Adar @eytan.adar.prof Michigan faculty, http://www.cond.org
Lerrel Pinto @lerrelpinto.com Assistant Professor of CS @nyuniversity.
I like robots!- E Embir Lab (Talia Moore) @embirlab.bsky.social UMich biomechanics & robotics & bioinspired robotics
Sagar Patil @basavasagar18.bsky.social MS Robotics UMich!!
Shambhavi Singh @28shambhavi.bsky.social Robotics PhD student @UMich
trying to teach robots to push ๐ฆ๐๏ธ
Dont Get a Job @dontgetajob.bsky.social Publishing, poetry, writing, the memes. Because who needs a job anyway? 
Juan S. Cely G. @juanscelyg.bsky.social Robotics Researcher. Linux User, R of Robotics and Researching. #SinCienciaNoHayFuturo #LinuxAllTheWay
SChMobility_Sky @schmobility.bsky.social A research neurophysiologist studying sensory and motor function. Innovating ways to improve the ability to capture biosignals using wearables for diagnosis and therapies.
Program leader for MRes neuroscience at the University of Leeds
Snehesh Shrestha, PhD @snehesh.bsky.social Postdoc #NIST Adjunct Faculty #UMD #IMI #UMDCS #AIforMusic #Education #Violin #CV #Multimodal #ML #AI #HRI #HCI
Jeff Bingham @bingjeff.bsky.social Robots. Learning. Moving.
The swaying of a branch in the wind, a rotary gallop of a cheetah, sinusoidal commutation of a brushless motor, or that time I fell down the stairs; motion in all its forms fascinates me.
Ananth Jonnavittula @ananthj.bsky.social Imitation Learning for manipulation. PhD from VT.
Hasan Poonawala @hasanpoonawala.bsky.social Robots, algorithms, tinkering.
https://poonawalalab.github.io/
Katie Murray @katiemurray.bsky.social A mathematician/computer-scientist/conservationist doing a PhD at the University of Exeter under K Hockings, D Hodgson and M Mueller using AI and ML algorithms for chimpanzee conservation.
Srinath Tankasala @srinathtankasala.bsky.social Applied Scientist II @ Amazon | PhD UT Austin and currently in San Diego | making bots more human
David Watkins @davidjwatkins.bsky.social Was called a polymath once. I work on robotics and cognitive intelligence. Opinions are my own.
Abhishek @abhishek47.bsky.social Has eclectic tastes, mostly a lurker on here
Bob Kroleski @kroleski.bsky.social Husband. Father. Artificial Intelligence and Machine Learning. Software Developer. Retired Army Intelligence Officer. Progressive. Antifascist. GenX. INTP.
Colorado, USA.
Hรผseyin Aydฤฑn @aydinhuseyin.bsky.social Assistant Professor@METU-CENG
Micah Corah @micahcorah.bsky.social Assistant Prof, CS@Mines
Director: @napplab.bsky.social
Aerial and multiple robots; autonomous filming, mapping, perception
Enjoys: ๐งโโ๏ธ๐ดโโ๏ธ๐ธ๐ถ๐ค
Ursula Le Guin stan. Call me on my ansible.
He/him pronouns ๐๐๐
Opinions my own.
https://www.micahcorah.com/
Raymond Mumme @rpmumme.bsky.social Grad Student in Comp Sci @ UIUC @uofigrainger.bsky.social | Former Sr. Research Asst. in Radiation Physics @ Univ. of Texas MD Anderson Cancer Center @mdanderson.bsky.social, developed AI for RPA https://rpa.mdanderson.org | ๐ณ๏ธโ๐ he/him | Views are my own
Paul Allison @paulallison.bsky.social Working with National Writing Project teachers and students to create Writing Partners writingpartners.net a social annotation platform that supports AI-guided writing, reading, and discussion. I'll be posting here about what we are learning together.
Joce @jocelynbk.bsky.social Natural Language Processing Grad Student | Based in Paris โบ๏ธ
Wyatt Makedonski @wyatty.bsky.social Energy and machine learning. Co-founder of @gradient_energy and independent researcher. Topics: grid architecture, AI applied to energy (virtual power plants and distributed energy resources).
https://makedon.ski/
arxiv cs.RO @arxiv-cs-ro.bsky.social Computer Science -- Robotics (cs.RO)
source: export.arxiv.org/rss/cs.RO
maintainer: @tmaehara.bsky.social
Christian Gjรธrret @christiangjoerret.bsky.social Daily updates on #robotics and #robot #culture.. 
Deep_In_Depth @deep-in-depth.bsky.social Just moved away from "Previously Twitter". It was about time!
#DeepLearning #MachineLearning #AI #LLM #ComputerVision #NLP #NeuralNetwork curated News feed. So dip into the Detphs !
Run by: https://www.linkedin.com/in/eric-feuilleaubois-ph-d-43ab0925/
Prof Jim Khan @pcolorectal.bsky.social Professor of Surgery
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
julia ferraioli @juliaferraioli.com Doing open source-y stuff, probably full of bees. opensourcestories.org co-founder. Human to Luna Rae Muppet Show.
she/her ๐ณ๏ธโ๐
Josรฉ A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Ray Myers @raymyers.bsky.social Software Revivalist.
Founder of The Coding Agency. Interested in programming languages and formal methods. Learning Chess.
jan Pana Suno li toki pona
Max von Hippel @maxvh.bsky.social CS PhD student at Northeastern studying formal methods. Creator of the Boston Computation Club (https://bstn.cc).
Vaishak Belle @vaishakbelle.bsky.social AI and Science. Faculty at U of Edinburgh. Write and think on: http://www.vaishakbelle.org
Odette Scharenborg @odettes.bsky.social Full professor of inclusive speech communication at TU Delft, The Netherlands. Former president of the International Speech Communication Association (ISCA). Mother of 3๐
Margaret Mitchell @mmitchell.bsky.social Researcher trying to shape AI towards positive outcomes. ML & Ethics +birds. Generally trying to do the right thing. TIME 100 | TED speaker | Senate testimony provider | Navigating public life as a recluse.
Former: Google, Microsoft; Current: Hugging Face
Iris van Rooij ๐ญ @irisvanrooij.bsky.social Professor of Computational Cognitive Science | Dept. of Cognitive Science & Artificial Intelligence | @Iris@scholar.social on ๐ฆฃ | http://irisvanrooijcogsci.com | she/they ๐ณ๏ธโ๐
Gaia Marcus @gaiamarcus.bsky.social - Director @adalovelaceinst.bsky.social:ensuring data & AI work for ppl & society
- Stint in government - led #NationalDataStrategy; roles in Cabinet Office, ONS & MHCLG
- Charity roles inc. Samaritans Trustee; staff @ The RSA, Centrepoint, ParkinsonsUK
Ekaterina Hertog @katyahe.bsky.social Associate Professor of AI & Society
Oxford Internet Institute and Institute for Ethics in AI, University of Oxford
Principal Investigator at DomesticAI (http://domesticai.oii.ox.ac.uk) project funded by ESRC
Charlotte Hรถgberg @chogberg.bsky.social Postdoc in Technology & Society, Lund Uni. Sweden.
Researching "AI" from STS, social science and humanities perspectives. At the moment mainly focused on epistemology & ethics of medical prediction & classification.
She/her
Deb Raji @rajiinio.bsky.social AI accountability, audits & eval. Keen on participation & practical outcomes. CS PhDing @UCBerkeley. 
Scott Hosking @scotthosking.bsky.social Director in Environment and AI Research | @theturing.bsky.social
scotthosking.com
Formally proved nerd @lostcrab.bsky.social Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
Shannon Vallor @shannonvallor.bsky.social Philosopher/AI Ethicist at Univ of Edinburgh, FRSE. Co-Director @technomoralfutures.bsky.social and BRAID @braiduk.bsky.social, author of Technology and the Virtues (2016) and The AI Mirror (2024). Views my own. Humble servant to Carol and Puffin. She/her.
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called โeclairโ with Haskell and LLVM.
Dr Amy Gaeta @amygaeta.bsky.social Research Associate at Leverhulme Centre for the Future of Intelligence at Cambridge. Thinking about drones, militarization, surveillance, AI ethics, gender, disability, & what it means to be human today
She/They
amygaeta.com
Pip Thornton @pipt.bsky.social Chancellorโs Fellow & BRAID Fellow @EdinburghUni. Critic of Linguistic Capitalism. @Braid_UK 'Writing the Wrongs of AI' (with @edbookfest) http://www.wwai.info #PATM
www.pipthornton.com
Lara Groves @laragroves.bsky.social Senior Researcher in AI accountability @AdaLovelaceInstitute | likes participatory methods & research, civic tech, cycling, beer |
Matt Davies @halcyene.bsky.social Data/AI policy @adalovelaceinst.bsky.social
(Political) philosophy of tech @lsegovernment.bsky.social @lsepoltheory.bsky.social
Views my own ๐ฎโจ
๐ณ๏ธโ๐๐ณ๏ธโโง๏ธ
Oliver Lemon @oliverlemon.bsky.social Prof in CS; ELLIS Fellow; Edinburgh Centre for Robotics; Heriot-Watt, Edinburgh. Postdocs at Stanford and Edinburgh. Research in NLP, dialogue, conversational AI, multimodality, robots, embodied AI, collaborative AI
David Garzรณn Ramos @dgarzonramos.com Assistant Professor at University College Dublin | Collective Robotics & AI | Past IRIDIA, ULB & Bristol Robotics Lab
dgarzonramos.com
Bob @rgiacobazzi.bsky.social Computer scientist and (bad) golfer...
Andrew Blair @andrewlblair.bsky.social PhD Student in Social Robotics @uofgcompsci.bsky.social
James Villarrubia @jamesv.bsky.social Tech, AI๐ค, and education๐ startup nerd. Former @WhiteHouse, @DeptofDefense, @TheJusticeDept wonk. Now an Innovation Fellow in AI @NASA ๐. BS/MPP@UVA, MBA@MIT. Posts are my own.
Eleonora Giunchiglia @e-giunchiglia.bsky.social Assistant Professor at Imperial College London | EEE Department and I-X.
Neuro-symbolic AI, Safe AI, Generative Models
Previously: Post-doc at TU Wien, DPhil at the University of Oxford.
Emile van Krieken @emilevankrieken.com Assistant professor @ VU Amsterdam, prev University of Edinburgh.
Neurosymbolic Machine Learning, Generative Models, commonsense reasoning
https://www.emilevankrieken.com/
Judith Michael @judithmichael.bsky.social Full Prof at University of Regensburg, Germany | Passionate for research | #SoftwareEngineering #Modeling #DigitalTwins | private tweets
Pietro Monticone @pietromonticone.bsky.social AI for Mathematics @HarmonicMath || Formalising Mathematics and Software in @LeanProver || Developing Free Open Source Software in #Lean, #Python and #Julia.
HannahtheOboist @hannahtheoboist.bsky.social PhD student @HorizonCDT ~Video games~ Consumer Law~ ethical design~ Oboes. As seen in the Guardian, GI.Biz, Gamesradar and Privacy Law & Business!
https://www.linkedin.com/in/hannah-heilbuth/
https://highlights.cdt.horizon.ac.uk/students/llyhmh
Paul Goldberg @paulwgoldberg.bsky.social Professor of Computer Science, Oxford University. Research interest in Algorithmic Game Theory, also Computational Complexity.
Also interested in good urbanism & cartoons
https://www.cs.ox.ac.uk/people/paul.goldberg/index1.html
Gisela Reyes-Cruz @agiselarc.bsky.social Transitional Assistant Professor at University of Nottingham, UK.
Human-Computer, Human-Robot, Human-AI Interaction research.
Mexican. She/her.
Member of https://rai.ac.uk/
Views my own.
reyescruz.com
Joon Sung Park @joon-s-pk.bsky.social CS Ph.D. student at Stanford. Oil painter. HCI, NLP, generative agents, human-centered AI
Alexandra Olteanu @aolteanu.bsky.social Ethical/Responsible AI. Rigor in AI. Grumpy eastern european in north america. Lovingly nitpicky. www.aolteanu.com
Reuben Binns @rdbinns.bsky.social Computery guy. HCI, ML, AI, privacy, security, fairness, political economy of tech. He/him. London/Oxford.
Joe Cutler @alphaconvert.bsky.social cutler.pl
Benoรฎt Rihoux @benoitrihoux.bsky.social Full Prof, political science, UCLouvain | Chair of MethodsNET @methodsnet.bsky.social, global hub for #researchmethods #innovation & accessible #training | Into #QCA, comparison, #mixedmethods, multidata & cool collaborative projects | #methods pluralist
Dr Olga Petrovska @drolga.bsky.social Teaching Fellow @ Swansea University | Institute of Coding in Wales | Technocamps
Computer Science | Research | Education | AI | Project Management
Sanmay Das @sanmayd.bsky.social CS prof at VT Innovation Campus, Assoc. Dir., AI for Social Impact, Sanghani Center. Professional: AI and society, EconCS, etc. Chair, ACM SIGAI. Personal: Husband, dad, squash player, cyclist. From Delhi to NoVA, via Boston, upstate NY, STL, others...
Louise A. Dennis @louiseadennis.bsky.social Computer Scientist, Doctor Who Fan.
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Heerko Groefsema @heerkog.bsky.social Assistant Professor at the CS department of the Bernouilli Institute of the University of Groningen. Applying formal methods to BPM. Likes to check compliance of change.
https://hgroefsema.nl
Bruno Costa @brunocosta.io Enthusiastic about Distributed Systems, Databases, Performance, and Correctness. Currently, I work as Principal Site Reliability Engineer (SRE).
Matt Sottile @mjsottile.bsky.social 
Bhamla Lab @ Georgia Tech @bhamlalab.bsky.social Curiosity driven science in physics of life and frugal innovations for planetary scale challenges
https://bhamla.gatech.edu/
Ashfaq Farooqui @ashfaqfarooqui.bsky.social Helping autonomous systems do the correct thing. Researcher. FOSS aficionado. Avid reader. Foodie and novice cook.
Matteo Busi @mbusi.bsky.social Researcher at @CaFoscari. Formal methods, language-based security and secure compilation.
Qian Li @qianli.dev Co-founder @dbos.dev โข Stanford CS PhD
Co-organizer @southbaysystems.xyz
Working on ๐ Database + Systems + AI
Amateur bird watcher ๐ฆ
Personal site: qianli.dev
She/her.
@mikolasonblue.bsky.social @mikolasonblue.bsky.social I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods. These days manly focus on Satisfiability Modulo Theories (SMT).
Rohit @rohitum1986.bsky.social Roboticist, PhD Student, Bonn, Germany
Books, Science, Travel, Quizzes
Left-liberal, Anti-fascist
Bombay Mallu who advocates urbanism and pedestrian rights
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
Eric Smith @ewsmith.bsky.social formal methods researcher, CEO of Kestrel Institute- G Andreas Graf @grafandreas.bsky.social Autonomous Driving ๐ AI for Systems Engineering ๐ง
Lef Ioannidis @elefthei.bsky.social PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
Zhouxing Shi @zhouxingshi.bsky.social PhD candidate at UCLA. Trustworthy ML | Formal verification for NN | robustness & safety
Bernd Porr @berndporr.me.uk Realtime AI, Bio-inspired AI, robotics, biosignals, neuroscience, research ethics and signal processing. Senior Lecturer at the University of Glasgow. Occasional filmmaker (https://www.eigenproductions.co.uk/). Oh, and recovering anti Brexit activist.
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Universitร della Svizzera italiana.