@onurorman.bsky.social @onurorman.bsky.social 
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
Steve Reeves @stevereeves.bsky.social Dead film star and Rocky Horror name-check, cyclist, cat lover, Prof, type-theorist, logician, functional programmer, Z logic developer, watercolourist, vegan, Coq/Rocq-er, Lean-er etc. :-)
Kirikiriroa/Hamilton, Aotearoa/New Zealand
npapoylias @npapoylias.bsky.social Programming Languages & Tools, AI, Simulation, Reflection, Debugging.
Director of Research 🚀 Bringing the Future Back !
tolmix @tolmix.bsky.social tolmix.com: The first A.I.R. network (Augmented Intelligent Reality)
3D AI/VR on ALL screens with AND without headset
.. the edge of 2D-net a bridge to 4D-worlds ..
Nucleus Fuselius @nfuselius.bsky.social Nucleus Fuselius, Director of Philosophy @ tolmix.com
📜 tolmix.com/Fusion-Punk-Aesthetics
Ishan S. @nahsimai.bsky.social PhD student, using scene graphs to formalize and validate autonomous systems at runtime.
#FormalMethods #RuntimeMonitoring #SceneGraphs