Formal Methods for Autonomous Systems
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
@lostcrab.bsky.social
Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
@rajiinio.bsky.social
AI accountability, audits & eval. Keen on participation & practical outcomes. CS PhDing @UCBerkeley.
@abeba.bsky.social
Founder & PI @aial.ie, @tcddublin.bsky.social AI accountability, AI audits & evaluation, critical data studies. Cognitive scientist by training. Ethiopian in Ireland. She/her
@chogberg.bsky.social
PhD student in Technology & Society, Lund Uni. Sweden Researching "AI" from STS, social science and humanities perspectives.
@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
@elmosmoe.bsky.social
Leading delivery of Scotland’s AI Strategy. Advocate for diversity in STEM, data and AI. Scottish AI Alliance. Diverse AI. Working towards a trustworthy, ethical and inclusive AI future. Failed astrophysicist. Film geek. Parent. Love a GIF
@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
@irisvanrooij.bsky.social
Professor of Computational Cognitive Science | @AI_Radboud | @[email protected] on 🦣 | http://cognitionandintractability.com | she/they 🏳️🌈
@mariak.bsky.social
Always growing, she/her, RAG builder, LLM whisperer, tech generalist
@mariaa.bsky.social
Postdoc at the Pioneer Centre for AI in Copenhagen, soon-to-be Assistant Professor of Computer Science at CU Boulder 👩💻 NLP, cultural analytics, online communities, narratives, healthcare 🌐 https://maria-antoniak.github.io
@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
@odettes.bsky.social
Associate professor of inclusive speech technology at TU Delft, The Netherlands. President of the International Speech Communication Association (ISCA). General Chair of @interspeech.bsky.social Rotterdam, 2025. Mother of 3🌈
@catherinebreslin.bsky.social
AI scientist & consultant :: prev Amazon Alexa, Toshiba, Cam Uni :: voice & language tech :: powered by coffee :: photographer :: Cambridge UK https://www.catherinebreslin.co.uk
@vickiboykis.com
ML Engineering. LLMs 😬. Information retrieval. Infra. Systems. Normcore code. Nutella. Vectors. Words. Vibes. Bad puns (soon). https://vickiboykis.com/what_are_embeddings/
@tutaprivacy.bsky.social
Tuta is secure email with automatic encryption. Private by design, open source & free. Imprint: http://tuta.com
@clegra.bsky.social
interests: love for dancers. kizomba, funana, batuku 🇨🇻🇦🇴🇲🇿🇵🇹🇸🇹🇬🇼. find facts. sciences. ¡No pasarán! 🇺🇦 🇪🇺 work: theoretical computer science & applied logic https://clegra.github.io 📌 in: L'Aquila, 🇮🇹 some posts in 🇦🇹🇩🇪 🇳🇱 🇮🇹
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@vaishakbelle.bsky.social
AI and Science. Faculty at U of Edinburgh. Write and think on: http://www.vaishakbelle.org
@oanamandrei.bsky.social
Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
@orpheuslummis.info
Building software & events for AI safety, collective intelligence, civ resilience – https://orpheuslummis.info – 📍Montréal
@etorreborre.blog
Haskell / Scala / Rust developer (author of the specs2 and registry libraries) github.com/etorreborre etorreborre.blog
@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.
@n6tw.bsky.social
Amateur Radio | Formal Methods | Japan 📡 FT8, learning CW | FT-891 & dual FT-818s for satellite ops 🔬 Yosys & Coq for hardware verification 🤖 Prolog & guarded command languages enthusiast ⛩️ Wakayama & Nara 🏡 Canterbury Shaker Village
@nealjc.bsky.social
Software engineer. Into distributed systems, storage, formal methods https://nealc.com
@stringlytyped.bsky.social
Researcher interested in identity, cryptography and formal methods. Expert in crisis mismanagement. ADHD, exvangelical, 🇨🇦 in 🇬🇧 Life story: https://www.linkedin.com/in/jsnyman
@maxvh.bsky.social
CS PhD student at Northeastern studying formal methods. Creator of the Boston Computation Club (https://bstn.cc).
@bhamlalab.bsky.social
Curiosity driven science in physics of life and frugal innovations for planetary scale challenges https://bhamla.gatech.edu/
@theboycalledhp.bsky.social
Distributed Systems. Databases. Operating System. Low level stuff enthusiast.
@mjsottile.bsky.social
@tad.me
realtime software engineer, space buff, shutterbug, past JET ESL ALT near Hiroshima, thinks of Tucson as home. Ham callsign W7TAD. Parker, CO #ispace employee, opinions my own Mastodon: tad.me/@tad Twitter: twitter.com/tadm Keybase: keybase.io/tadm
@brunocosta.io
Enthusiastic about Distributed Systems, Databases, Performance, and Testing. Currently, I am a Principal Site Reliability Engineer (SRE).
@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.
@ashfaqfarooqui.bsky.social
Helping autonomous systems do the correct thing. Researcher. FOSS aficionado. Avid reader. Foodie and novice cook.
@annika-thomas.bsky.social
PhD Candidate @MIT | Spatial AI, Multi-Agent Perception, Autonomy in Space
@jim-ecker.bsky.social
AI, Machine Learning, and Autonomous systems researcher @NASA | Back-to-back World’s Best Dad Champion of the World
@azhegalin.bsky.social
Control Systems Engineer. Autonomous cyber-physical systems development enthusiast. LinkedIn: azhegalin
@tedpavlic.bsky.social
ASU Assoc. Prof in SCAI and SOLS. Decision making and behavior in living and artificial autonomous systems. I ❤️ ants, bees, wasps, robots, and optimal foraging theory. mastodon: @[email protected] Twitter/X: @TedPavlic @TEDx: http://youtu.be/9GWXCRetOjk
@williamdemeo.bsky.social
Formal Methods Engineer @iohk, recovering academic, logic/algebra researcher; PL, AI, Agda, Lean, etc.
@sobornost.tech.lgbt.ap.brid.gy
[recently migrated] researcher interested in cryptography and formal methods... i post on my blog sometimes (never) [bridged from https://tech.lgbt/@sobornost on the fediverse by https://fed.brid.gy/ ]
@mbusi.bsky.social
Researcher at @CaFoscari. Formal methods, language-based security and secure compilation.
@altaircepheus.bsky.social
Software Engineer (TDD, Cloud, Containers, Go, Rust, Typescript), Math and Physics enthusiast, interested in Haskell, and formal methods with TLA+, and Alloy 6. I want to keep learning and build cool stuff.
@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
@sdpoll.bsky.social
Computer scientist researching formal methods. I enjoy TTRPGs and staying inside.
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @[email protected]
@wiredaemon.bsky.social
Formal Methods, Programming languages, Specifications. discord: wiredaemon she / her 🏳️⚧️
@provablysafe.ai
Connecting and onboarding researchers at the intersection of formal methods and AI safety. Posts by @agentofuser.com. https://provablysafe.ai