Erin @lilibells.bsky.social 
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
รric Vautier @ericvautier.bsky.social Web developer. History enthusiast (especially about Reformation). Avid Sci-fi reader. London-based.
Bob Kroleski @kroleski.bsky.social Husband. Father. Artificial Intelligence and Machine Learning. Software Developer. Retired Army Intelligence Officer. Progressive. Antifascist. GenX. INTP.
Colorado, USA.
Eric B. @intikham.bsky.social Live Love Repeat!
๐ณ๏ธโ๐ @joannakapatou46.bsky.social owner12companies one yatch 2jeep car member peirate party
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- G Andreas Graf @grafandreas.bsky.social Autonomous Driving ๐ AI for Systems Engineering ๐ง
Marios Papachristou @papachristoumarios.bsky.social Assistant Professor at ASU WP Carey
website: https://papachristoumarios.github.io/
Opinions are my own.
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
@joondevon141.bsky.social @joondevon141.bsky.social 
Matteo Busi @mbusi.bsky.social Researcher at @CaFoscari. Formal methods, language-based security and secure compilation.
Shambhavi Singh @28shambhavi.bsky.social Robotics PhD student @UMich
trying to teach robots to push ๐ฆ๐๏ธ
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
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.
BigBogeyFace @bigbogeyface.bsky.social I build robots ๐ฆพ๐ฆพ๐ฆพ
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.
Joce @jocelynbk.bsky.social Natural Language Processing Grad Student | Based in Paris โบ๏ธ
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
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...
Formally proved nerd @lostcrab.bsky.social Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
Francisco Giral @frangiral.bsky.social PhD Student at Technical University of Madrid (UPM) | Reinforcement Learning, decision-making & control, Autonomous Systems.๐ค
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
Hรผseyin Aydฤฑn @aydinhuseyin.bsky.social Assistant Professor@METU-CENG
Giovanni Toffetti @gtof.eurosky.social Father of 2 girls, senior lecturer @ZHAW๐จ๐ญ, interested in robots ๐ค, AI ๐ง , cloud โ๏ธ
https://gtoff.github.io/
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
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
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.
Hasan Poonawala @hasanpoonawala.bsky.social Robots, algorithms, tinkering.
https://poonawalalab.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.
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.
๐ณ๏ธโ๐๐ฉท๐๐
Matt Franchi @mfranchi.bsky.social computer science phd candidate @ cornell tech, nyc
https://mfranchi.net
Pulkit Verma @pulkitverma.bsky.social Postdoc @csail.mit.edu, Ph.D. from @scai-asu.bsky.social
Working on AI Safety, AI Assessment, Automated Planning, Interpretability, Robotics
Previously: Masters from IITGuwahati, Research Intern at MetaAI
https://pulkitverma.net
Bruno Costa @brunocosta.io Enthusiastic about Distributed Systems, Databases, Performance, and Correctness. Currently, I work as Principal Site Reliability Engineer (SRE).
@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).
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
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called โeclairโ with Haskell and LLVM.
Louise A. Dennis @louiseadennis.bsky.social Computer Scientist, Doctor Who Fan.
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. ๐ด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟ๐ฉ๐ช๐ธ๐ช๐ช๐บ
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Joe Cutler @alphaconvert.bsky.social cutler.pl
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
Zhouxing Shi @zhouxingshi.bsky.social PhD candidate at UCLA. Trustworthy ML | Formal verification for NN | robustness & safety
David Garzรณn Ramos @dgarzonramos.com Assistant Professor at University College Dublin | Collective Robotics & AI | Past IRIDIA, ULB & Bristol Robotics Lab
dgarzonramos.com
pfung @pfung.dev robotics | advisor @Cline | ex-founder (medical, 55m exit) | eng #15 @Meta
pfung.dev
RocketMe Up I/O @rocketmeupio.bsky.social Building scalable, intelligent #ecosystems that enhance productivity and efficiency, using advanced #technology to transform #industries and streamline operations.
โ๏ธ +212660010350
โ๏ธ hello@rocketmeup.com
๐ rocketmeup.com
๐ Marrakesh, Morocco ๐ฒ๐ฆ
Max Tromanhauser @max.troman.haus PhD Student @ Cornell
Quantum Cryptography / Complexity
Yebyte @yebyte.bsky.social Early investor in Science, media and technology. $1.7 Billion AUM driving innovation and empowering creativity. Publisher for www.citadelscience.com