Lef Ioannidis
34 followers
LightNews LightNews
Formal Methods for Autonomous Systems
Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
CoopCoding
CoopCoding
@coopcoding.bsky.social
rozzai.bsky.social
rozzai.bsky.social
@rozzai.bsky.social
Ernest Ng
Ernest Ng
@ngernest2.bsky.social
ionchy
ionchy
@ionchy.ca
Stephanie Weirich
Stephanie Weirich
@fancytypes.bsky.social
Màrié
@mariziv.bsky.social
jnpn
jnpn
@jnpn.bsky.social
Noa Kaplan
Noa Kaplan
@noakaplan.bsky.social
Ferhat Erata
Ferhat Erata
@erata.bsky.social
📎🐸ZhSigma@332ppm≅Σx,x∈S={🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life
📎🐸ZhSigma@332ppm≅Σx,x∈S={🌱💚🇪🇺λP(θ|y)⁂}learn-languages-world-life
@stphrolland.bsky.social
Harry Goldstein
Harry Goldstein
@harrisongoldste.in
Formal Methods Europe
Formal Methods Europe
@formalmtds.bsky.social
Daniel Sainati
Daniel Sainati
@sainati.bsky.social
0adb.bsky.social
@0adb.bsky.social
earlorange.bsky.social
earlorange.bsky.social
@earlorange.bsky.social
Labrador Retriever 🇺🇸🇨🇦
Labrador Retriever 🇺🇸🇨🇦
@karelianfan.bsky.social
Joe Cutler
Joe Cutler
@alphaconvert.bsky.social
Stratos Psomadakis
Stratos Psomadakis
@ps0mas.bsky.social
joewhaley.bsky.social
joewhaley.bsky.social
@joewhaley.bsky.social
rtadelacruz.bsky.social
rtadelacruz.bsky.social
@rtadelacruz.bsky.social
Konstantinos Kallas
Konstantinos Kallas
@konstantinoskallas.bsky.social
David Darais
David Darais
@daviddarais.bsky.social
Tavian Barnes
Tavian Barnes
@tavianator.com
1/2
1/2
@perfect-blue.bsky.social
Reshabh K Sharma
Reshabh K Sharma
@reshabh.bsky.social
Conor Mc Bride
Conor Mc Bride
@pigworker.bsky.social
José A. Alonso
José A. Alonso
@jalonso.bsky.social
Orestis Ousoultzoglou
Orestis Ousoultzoglou
@xlxs4.bsky.social
Stephen Diehl
Stephen Diehl
@www.stephendiehl.com