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
@exomorphic.bsky.social
Assistant professor at Télécom Paris and Institut Polytechnique de Paris, working on decision making in complex systems. https://bakirtzis.net
@acmsigai.bsky.social
Association for Computing Machinery Special Interest Group in Artificial Intelligence: https://sigai.acm.org/main/
@museophile.bsky.social
Emeritus Professor of Computing at London South Bank University.
@profwinikoff.bsky.social
husband, father, professor at @vicuniwgtn.bsky.social, musician (piano, choir, composer), keen reader & board gamer. https://michaelwinikoff.com
@eerkeboiten.bsky.social
Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him. Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes.
@drolga.bsky.social
Teaching Fellow @ Swansea University | Institute of Coding in Wales | Technocamps Computer Science | Research | Education | AI | Project Management
@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
@arxiv-cs-cl.bsky.social
Computer Science -- Computation and Language source: export.arxiv.org/rss/cs.CL maintainer: @tmaehara.bsky.social
@bugcounting.net
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
@altmetric.com
We measure the attention that research outputs receive from policy documents, mainstream news outlets, social media and online reference managers. Come for the attention to research. Stay for the memes.
@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
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@rdbinns.bsky.social
Computery guy. HCI, ML, AI, privacy, security, fairness, political economy of tech. He/him. London/Oxford. Football alt at nofoolingreu.bsky.social
@aolteanu.bsky.social
Ethical/Responsible AI. Rigor in AI. Opinions my own. Principal Researcher @ Microsoft Research.
@joon-s-pk.bsky.social
CS Ph.D. student at Stanford. Oil painter. HCI, NLP, generative agents, human-centered AI
@agiselarc.bsky.social
Transitional Assistant Professor at University of Nottingham, UK. Human-Computer, Human-Robot, Human-AI Interaction research. Mexican. She/her. Part of TAS Hub (https://tas.ac.uk/) and RAi UK (https://rai.ac.uk/) Views my own. reyescruz.com
@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
@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
@pietromonticone.bsky.social
Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus. • GitHub: https://github.com/pitmonticone • YouTube: https://www.youtube.com/@PietroMonticone
@mulibrarycat.bsky.social
Purring my way through life outside MU Library. Unofficial account, kinda.
@judithmichael.bsky.social
PostDoc at RWTH Aachen University, Germany | Passionate for research | #SoftwareEngineering #Modeling #DigitalTwins | private tweets
@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.
@emilevankrieken.com
Post-doc @ University of Edinburgh. Neurosymbolic Machine Learning, Generative Models, NLP https://www.emilevankrieken.com/
@gustavorezende02.bsky.social
@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.
@zhouxingshi.bsky.social
PhD candidate at UCLA. Trustworthy ML | Formal verification for NN | robustness & safety
@5tuartreeves.bsky.social
ACADEMIC PERSON @UoNComputerSci, @UniOfNottingham, @TheOfficialMRL + @HorizonDER ❑ RESEARCH COMBINES HUMAN-COMPUTER INTERACTION (#HCI) + ETHNOMETHODOLOGY (#EMCA)
@taliaringer.bsky.social
@dgarzonramos.com
Research Associate in Swarm Robotics at the Bristol Robotics Lab | Member of the EIC EMERGE project | Past IRIDIA, ULB dgarzonramos.com
@oliverlemon.bsky.social
Prof in CS; Academic Lead of National Robotarium; 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
@kawamataryo.bsky.social
Frontend engineer @lapras-inc / ex-FireFighter 🔥 Developer of Sky Follower Bridge: www.sky-follower-bridge.dev Donation☕ : https://ko-fi.com/kawamataryo GitHub: github.com/kawamataryo 𝕏: x.com/KawamataRyo Zenn: zenn.dev/ryo_kawamata
@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
@halcyene.bsky.social
Data/AI policy @adalovelaceinst.bsky.social (Political) philosophy of tech @lsegovernment.bsky.social @lsepoltheory.bsky.social Views my own 🔮✨
@laragroves.bsky.social
Senior Researcher in AI accountability @AdaLovelaceInstitute | interested in participatory methods & research, civic tech, politics, cycling, beer | half-baked opinions all my own
@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
@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
@shannonvallor.bsky.social
Philosopher/AI Ethicist at Univ of Edinburgh, Director @technomoralfutures.bsky.social, co-Director @braiduk.bsky.social, author of Technology and the Virtues (2016) and The AI Mirror (2024). Views my own.
@luctielen.bsky.social
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.