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
University of York @york.ac.uk We’re a leading UK university and part of the Russell Group 🦆
See news, events and find out more about York at: york.ac.uk
Dr Matt Osborne @thefuriousengineer.bsky.social Safety Scientist. Visiting Research Fellow @CfAA_York. Independent Safety Consultant at The Furious Engineer. Pretender to the Eco Warrior throne
Life Science Network @lifesciencenet.bsky.social A platform for life sciences. Publications, research protocols, news, events, jobs and more. Sign up at https://www.lifescience.net.
Dr. Holly E.A. Sutherland @heasutherland.com audhd postdoctoral researcher @Cambridge_Uni // currently midrash, reading diversity, and creativity // generally autism, neurodiversity, mixed methods
Nature Machine Intelligence @natmachintell.nature.com A Nature Research journal on AI, robotics and machine learning
@natureportfolio.bsky.social
nature.com/natmachintell
PAL Robotics @palrobotics.bsky.social We design robot to elevate everyday living 🤖
University of Oxford @ox.ac.uk Welcome to our official account 👋 Follow for the latest news, research and updates about life at Oxford.
ELSA – European Lighthouse on Secure and Safe AI @elsa-ai.eu ELSA is a growing Network of Excellence that spearheads efforts in foundational safe and secure AI methodology research.
elsa-ai.eu
Funded by the European Union.
UKRI CDT in Safe & Trusted AI @ King's & Imperial @safetrustedai.bsky.social Collaborative UKRI Centre for Doctoral Training between King's College London and Imperial College London pioneering next gen safe & trusted AI.
https://safeandtrustedai.org/
Safe AI Forum @safe-ai-forum.bsky.social Trying to foster international cooperation on AI safety. We run
the International Dialogues on AI Safety (IDAIS). Find us at http://saif.org
Max Lamparth, Ph.D. @mlamparth.bsky.social Research Fellow @ Stanford Intelligent Systems Laboratory and Hoover Institution at Stanford University | Focusing on interpretable, safe, and ethical AI/LLM decision-making. Ph.D. from TUM.
Tara Steele @tarasteele.bsky.social AI safety for children | Founder, The Safe AI for Children Alliance | Exploring AI’s potential for both harm and good!
(Please note that my BlueSky direct messages are not always checked regularly)
Dr Zena Assaad @zenaassaad.bsky.social Host Responsible Bytes Podcast 🎙
Assoc Prof of Engineering @ ANU | Deputy Director ANU Defence Institute | UNIDIR Fellow - researching the decommissioning of military AI systems | 🇦🇺🇱🇧
https://www.zenaassaad.com
Repost ≠ Endorsement- 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/
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/
York Environmental Sustainability Institute (YESI) @yesiuoy.bsky.social Interdisciplinary research partnerships generating sustainable solutions to global challenges. Newsletter: http://bit.ly/2yVFYz6, YESI 🎬: https://ow.ly/8u2A50Tz00M
Professional Education and Skills at University of York @uoybiztraining.bsky.social Providing corporate training to develop businesses competitive advantage through transformational learning experiences
Open Research at York @uoyopenres.bsky.social Engaging with our research community, supporting good practice and sharing updates on all aspects of #openresearch #openaccess #opendata @york.ac.uk
Open Research at York: https://york.ac.uk/open-research
Email the team: lib-open-research@york.ac.uk
Dental Protection @dentalprotection.bsky.social We are the world’s leading provider of professional protection for dentists & dental professionals.
🔗 www.dentalprotection.org
Medical Protection @medicalprotection.bsky.social We are the world’s leading provider of professional protection for doctors and healthcare providers.
🔗 www.medicalprotection.org
Improvement Academy @improvementacademy.bsky.social Connecting people across Yorkshire and Humber to improve our health services
Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social Empowering scientists to reach for the edge of the possible
www.aria.org.uk
University College London Hospitals NHS Foundation Trust @uclh.bsky.social University College London Hospitals NHS Foundation Trust provides acute and specialist services in 6 hospitals. 
Doctors’ Association UK @thedauk.bsky.social We are the voice of frontline doctors. DAUK is a non-profit professional association run by volunteer NHS doctors
GP Team: @dauk-gp.bsky.social
www.dauk.org
NIHR ARC Yorkshire & Humber @arc-yharc.bsky.social The NIHR ARC Yorkshire & Humber is one of 15 @nihrarcs.bsky.social funded by the National Institute for Health and Care Research (@nihr.bsky.social). We work with our partners in Yorkshire & Humber on applied health and care research
Yorkshire and Humber Secure Data Environment @yorkshumbersde.bsky.social Y&H SDE is a secure NHS data storage and access system that brings together healthcare data in one place and allows researchers and innovators to use it safely for their work. 
Health Innovation Yorkshire & Humber @healthinnovyh.bsky.social We are one of 15 health innovation networks set up by NHS England to operate as the key innovation arm of the NHS - https://www.healthinnovationyh.org.uk/
The Guardian @theguardian.com The need for independent journalism has never been greater. Become a Guardian supporter https://support.theguardian.com
🇺🇸 Guardian US https://bsky.app/profile/us.theguardian.com
🇦🇺 Guardian Australia https://bsky.app/profile/australia.theguardian.com
Sky News @news.sky.com The full story, first. Free, wherever you get your news. 
NHS West Yorkshire ICB R&D @wy-icb-research.bsky.social The R&D team for the ICB and general practices across West Yorkshire, working on behalf of the NHS West Yorkshire Integrated Care Board.
NHS England @england.nhs.uk 
Krishnan Guru-Murthy @krishgm.bsky.social Channel 4 News, Unreported World, Ways to Change the World, The Fourcast, Class of 2023 on Strictly
Also Chairman of Duchenne UK
Vishal Sharma PhD ⓥ💙 @v1sharma.bsky.social Observer of human behaviour, archer, axe thrower, blood donor, runner, lifter, and Lego builder. Views are my own.
Imogen Parker @imogen-parker.bsky.social Associate Director, Ada Lovelace Institute. Mainly posting about AI, society and social policy.
Previously IPPR, Citizens Advice, 5Rights, Fabian Society.
image cred: Yutong Liu & Kingston School of Art / Better Images of AI / Talking to AI 2.0 / CC-BY 
White Rose University Consortium @whiteroseuc.bsky.social We work collaboratively across the universities of Leeds, Sheffield, and York, to enable individuals from all backgrounds to thrive within our institutions.
https://whiterose.ac.uk
XR Stories @xrstories.bsky.social A University of York project supporting research, development and innovation in technology-led creative content, experiences and stories. Also leading XR Network+, providing funding and support to researchers working in virtual production technologies.
Tom Lawton @lawtontri.bsky.social Large GBR long distance triathlete. 💙
Critical Care @BTHFT, Lead Clinical AI NHS NEY, fellow @AAIP_York & Hon. Prof. MBE.
Ran in a mask once. (he)
@LawtonTri on most networks
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
SAINTS CDT, University of York @saints-cdt.bsky.social Bolstering our research capability is our UKRI AI Centre for Doctoral Training in Lifelong Safety Assurance of AI-enabled Autonomous Systems (SAINTS CDT). It’s the UK’s first PhD programme wholly dedicated to the safety of AI at the University of York.
STITCHES Medicine - the Best of Medical Research @medicine.stitches.today From the experience of @stitches.today, we bring you the best papers in medicine, daily in your inbox - for free!
Subscribe 👉 www.stitches.today/medicine
HRC York @hrcyork.bsky.social Humanities Research Centre, University of York. Supporting research in the Arts and Humanities.
Ada Lovelace Institute @adalovelaceinst.bsky.social Making data & AI work for people & society.
Sign up for our fortnightly newsletter: https://adalovelaceinstitute.org//newsletter-subscribe
UK Research and Innovation @ukri.org The UK’s largest public funder of research. Our mission is to advance knowledge, improve lives and drive growth.
#FundedByYou
Also autoposting to @news.ukri.org, @funding.ukri.org, @blogs.ukri.org and @events.ukri.org. Topic specific feeds coming soon!
Royal Academy of Engineering @raeng.org.uk We create and lead a community of outstanding experts and innovators to engineer better lives. Find out more: raeng.org.uk
Professor Sue Black OBE @drblack.bsky.social Professor of Computer Science and Tech Evangelist at Durham University; International Keynote Speaker; #womenintech, #100moments tech #podcast host and so much more… https://linktr.ee/drsueblack
Ibrahim Habli @ihabli.bsky.social Professor of Safety-Critical Systems at the University of York
#AIsafety #academicsky #safetysky
Design Informatics @designinf.bsky.social An interdisciplinary research group and master’s programme at UoE exploring design from, with and by data.
Ewa Luger @ewaluger.bsky.social Professor of Human-Data Interaction, University of Edinburgh; Codirector @braiduk.bsky.social; & https://www.responsiblenlp.org Researches AI/HCI
Bahareh Heravi @bheravi.bsky.social Prof of AI & Media at Institute for People-Centred AI, University of Surrey. @braiduk.bsky.social Fellow with BBC R&D.
Founding co-chair @datajconf.com
https://about.me/bheravi
BRAID UK @braiduk.bsky.social We are the Arts & Humanities Research Council programme working to enable a healthy Responsible AI ecosystem in the UK.
You can also keep up to date via our newsletter: https://braiduk.org/#newsletter
@hawkinsrd.bsky.social @hawkinsrd.bsky.social 
Academic Life 🌎📚 @academiclife.bsky.social The public scholarship project.
👩🏻💻 Academic editing: christinagessler.com
📰 Newsletter: https://christinagessler.substack.com
🎙️ Academic Life podcast: Apple, NBN, etc
Knowledge is a public good.
#AcademicSky #SkyWriting #BookSky #Skystorians #BookTok
@markn2.bsky.social @markn2.bsky.social 
Royal College of Physicians @rcphysicians.bsky.social
The professional home of physicians. Supporting our membership community, setting standards and using our voice to improve patient care. Together we're shaping the future of medicine.
Lloyd's Register Foundation @lr-foundation.bsky.social Lloyd's Register Foundation is an independent global charity that aims to protect life and property. We are engineering a safer world, because life matters.
Kate Preston @kateelizpreston.bsky.social Research associate at the University of York. Interested in all things human factors, safety and AI👩🏼💻🦆
Mark Sujan @marksujan.bsky.social Chartered Ergonomist (C.ErgHF). Interested in human factors and safety science.
@anamacintosh.bsky.social @anamacintosh.bsky.social 
Victoria Hodge @vjhodge.bsky.social
Researcher in Safety Assurance and Robotics at UniOfYork: AI, Machine Learning, Safety Assurance and Anomaly Detection across a variety of Robotics domains.
Rob Alexander @robalexander.bsky.social Exists.
Philippa @flipperville.bsky.social AI safety and responsibility researcher at University of York. Also: lgbtq, cycling, anything neolithic, board games, nerd!
Charlotte O'Brien @cobrien.bsky.social Professor of Law, University of York (she/her). Social security; EU law; discrimination; migration; social justice.
Judith Krauss @judithekrauss.bsky.social Lecturer @ UoYork, UK, Politics, IGDC member, YESI co-research theme lead, Assoc Editor @JPoliticalEcology. Sustainable value chains, convivial conservation, SDGs, squirrels & more. Love singing & cycling, sometimes in conjunction. My views. She/her
Sara Van Goozen @drsvg.bsky.social Lecturer in Political Philosophy (UoYork). Ethics of war, global justice, animals. Posting in personal capacity but mostly about work. She/her, fucking massive nerd. I write for @justiceeverywhere.bsky.social
Anna Strhan @annastrhan.bsky.social Sociologist at the University of York | religion, ethics, values, culture, cities, childhood | neurodivergent | she/her | new book 'Growing Up Godless' https://press.princeton.edu/books/paperback/9780691247250/growing-up-godless
Kate Lancaster @drkatel.bsky.social All about lasers/plasmas/fusion/bread/miscellany. Professor in physics. She/Her
Martin Webber @martinwebber.bsky.social Professor of Social Work at the University of York; Director of Mental Health Social Care Research Centre; interested in evaluating social interventions and tackling social determinants of mental health; and I like riding my bike!
Department of Politics and International Relations @uoypolitics.bsky.social News and upcoming events from the Department of Politics and International Relations at the University of York.
School of PPE @uoyppe.bsky.social We are based at the University of York and provide world-class opportunities for interdisciplinary study and research.
https://www.york.ac.uk/ppe/
https://www.instagram.com/uoyppe/
https://www.facebook.com/uoyppe
Department of Education @uoyeducation.bsky.social News from the Department of Education based at the University of York!
https://www.york.ac.uk/education/
https://www.youtube.com/@UoYEducation
https://www.instagram.com/uoyeducation
Dr Kevin D. Tennent @kevindtennent.bsky.social Reader in Management at the #University of York and general business history expert. Research interests include corporate governance, sport, transport and teaching and learning using history. Opinions expressed are mine, not the University's.
Sam Hellmuth @samhellmuth.bsky.social languages & linguistics, mostly Arabic & mostly phonology, views my own, Prof @UniofYork [sæm ˈhɛlmʌθ] (she/her)
Art At York - University of York Art Collection @artatyork.bsky.social Over 900 artworks dating from 1500 to the present day, spread across the University of York beautiful campus and available to all. Tweets by the Art Curator, Helena Cox. #UoYArt
Gary Brannan @gbrannanarchive.bsky.social Acting Director of Library, Learning Services and Research Collections @uniofyork.
'Makes archives sexy.'
'International Man of History'
'A weird bird, in a good way'
All views my own.
Librarianth @librarianth.bsky.social University of York Acquisitions Librarian. Professional Northerner. Bang on about armchair politics, books, ebooks, coffee, & Boro. Views/opinions personal. UTB
Susannah Lyon-Whaley @susannah-lw.bsky.social MSCA Postdoctoral Fellow at University of York on 17th-century queens and global nature, cross-cultural material exchange | PhD, Art History, on Catherine of Braganza | Honorary Fellow, Waipapa Taumata Rau University of Auckland
Alex Pike @alexandrapike.bsky.social Senior Lecturer in Mental Health @YorkPsychology || eating disorders, anxiety disorders, cognition/computation || she/her
Group page: https://cognition-mental-health.github.io/
Laura Yeoman @lauray-archives.bsky.social Archivist, medievalist, Scot. Access & Digital Engagement Archivist at The Borthwick Institute for Archives, University of York. All views my own. 
Claire Chambers @clarachambara.bsky.social 'Scholar-adventurer'. Scholarship nowadays mostly in literature from South Asia and diaspora, postcoloniality/decolonization, & translation studies - Uni of York. Adventures are in food, Hindi/Urdu, Indo house, cycling, & (formerly) Zumba teaching
Angela de Bruin @angeladebruin.bsky.social Professor, Department of Psychology, University of York. Research interests include bilingualism, language production, and cognitive ageing.
Chloe Wigston Smith @chloewigstonsmith.bsky.social Prof of eighteenth-century studies in York | material culture studies, women’s work and the Atlantic world | print culture & dress history | trying at social media
📚Novels, Needleworks & Empire https://yalebooks.yale.edu/9780300270785/novels-needleworks-a
Lauren Working @laurenworking.bsky.social Early modernist at the University of York | A GOLDEN WORLD (Faber, 2026) | TEMPEST for Oxford World's Classics (2024) | BBC Radio 3 New Gen Thinker | Rep'd by Emma Bal at Madeleine Milburn.
Sophie Coulombeau @sophiecoulombeau.bsky.social Senior Lecturer in English Literature & Creative Writing. Burneys, book history, 18thc reading habits & naming practices. Novelist. Maker of radio. Mother & carer. Yotam Ottolenghi superfan.
Mary Fairclough @maryfairclough.bsky.social Professor, Department of English and Related Literature and Centre for Eighteenth Century Studies at the University of York. Books, running, messiness, cats
Will Tullett @willtullett.bsky.social He/him. Senior Lecturer in Early Modern History at University of York. Books on 'Smell in Eighteenth-Century England' and 'Smell and the Past'. Sniff: A History of Smells out 8th September #smellhistory #smellstudies #sensoryhistory
Oleg Benesch @olegb.bsky.social History prof at the University of York. Most recently Research Partner for "Samurai" at the British Museum. Also working on castles, masculinity, drugs, sport, emotions, comics, medievalism, and public history. Too many hobbies.
www.olegbenesch.com
Emilie K. M. Murphy @emiliekmmurphy.bsky.social director @CREMS-York.bsky.social ~ advocacy & public engagement @royalhistsoc.org ~ writing on early modern religion & culture: music, language, sound, travel, women ~ reviews editor: sonancejournal.com ~ views mine ~ www.york.ac.uk/history/people/murphy/
Gareth Gaskell @mggaskell.bsky.social Professor of psychology at the University of York. Interested in language, sleep, memory, learning.
https://www.york.ac.uk/psychology/staff/academicstaff/mgg5/
Aidan Horner @aidanhorner.bsky.social Professor of Cognitive Neuroscience.
Co-director of York Neuroimaging Centre (YNiC).
Interested in memory, spatial navigation and brain imaging.
He/Him
http://www.aidanhorner.org/ 
Jennie Batchelor @jenniebatchelor.bsky.social Academic (#c18th century #literature) and Head and Prof of English and Related Literature at the Uni of York working on periodicals, media, women writers, material culture, dress history. Writer. Crafter. #SEND parent. Coffee Lover. 
Mariana J López @marianajlopez.bsky.social Professor in Sound Production and Post Production, Sound Designer, Educator. Researcher in acoustical heritage and accessibility through sound design. Zumba instructor. Latina. She/Her https://marianajlopez.com/
Richard A Carter @richardacarter.bsky.social Academic in Digital Culture, University of York, UK. Exploring digital art, literature, and storytelling; ecology, materiality, and the more-than-human. Glider pilot. https://richardacarter.com/ Note: DMs unavailable as in UK
Lusine Grigoryan @grigolus.bsky.social Social & cross-cultural psychologist studying prejudice, identity, values, and morality. Assistant professor at the University of York, UK.
https://www.socolab.co.uk/
Jeremy Moulton @jeremymoulton.bsky.social Senior Lecturer in Politics @uoypolitics.bsky.social
Board Member @aspirenetwork.bsky.social
Regular columnist @alpsblog.bsky.social
HEA Senior Fellow
Interested in climate action, political myth, the EU, the Scholarship of Teaching & Learning
Martin O'Neill @martinoneill.bsky.social dad of four · professor of political philosophy at the university of york · london-irish turned northerner · arsenal fan · trustee at the democracy collaborative · writing about the theory and practice of social and economic justice