Diego Marmsoler
45 following
LightNews LightNews
Eerke Boiten
Eerke Boiten
@eerkeboiten.bsky.social
Lawrence Paulson
Lawrence Paulson
@lawrpaulson.bsky.social
Ilya Sergey
Ilya Sergey
@ilyasergey.bsky.social
Jan Kofroň
Jan Kofroň
@jankofron.bsky.social
Formally proved nerd
Formally proved nerd
@lostcrab.bsky.social
Yuzhou Fang
Yuzhou Fang
@yzfang.bsky.social
Remy Seassau
Remy Seassau
@remyjck.bsky.social
Junrui Liu
Junrui Liu
@junrui-liu.bsky.social
Francesco Ranzato
Francesco Ranzato
@ranzato.bsky.social
aadsfasdfasdf
@asdfafsf.bsky.social
Florent Delgrange
Florent Delgrange
@florentdelgrange.bsky.social
AI + FM papers
AI + FM papers
@ai-fm-papers.bsky.social
Dominik Winterer
Dominik Winterer
@dominikwinterer.bsky.social
Isil Dillig
Isil Dillig
@idillig.bsky.social
Eric Smith
Eric Smith
@ewsmith.bsky.social
Kuniwak
Kuniwak
@kuniwak.com
Hillel
Hillel
@hillelwayne.com
Hui-ke me up before you go go
Hui-ke me up before you go go
@thyacinth.bsky.social
Adrian Herrera
Adrian Herrera
@adrianherrera.bsky.social
Alexa VanHatttum
Alexa VanHatttum
@avh.bsky.social
Eunsuk Kang
Eunsuk Kang
@eskang.bsky.social
Jingbo Wang
Jingbo Wang
@jingbow.bsky.social
Somesh Jha
Somesh Jha
@someshjha.bsky.social
Matthew Di Ferrante
Matthew Di Ferrante
@mattdf.bsky.social
Kristin
Kristin
@wiredaemon.bsky.social
Swarat Chaudhuri
Swarat Chaudhuri
@swarat.bsky.social
University of Exeter
University of Exeter
@exeter.ac.uk
Dr Oana Andrei
Dr Oana Andrei
@oanamandrei.bsky.social
Carlo A. Furia
Carlo A. Furia
@bugcounting.mastodon.acm.org.ap.brid.gy
Formal Methods for Autonomous Systems
Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
Mike Dodds
Mike Dodds
@m-dodds.bsky.social
Formal Land
Formal Land
@formalland.bsky.social
Dr Olga Petrovska
Dr Olga Petrovska
@drolga.bsky.social
Julien Signoles
Julien Signoles
@julien-signoles.bsky.social
Kettle, Turing-complete
Kettle, Turing-complete
@turing-full-kettle.bsky.social
José A. Alonso
José A. Alonso
@jalonso.bsky.social
Achim D. Brucker
Achim D. Brucker
@adbrucker.bsky.social
Étienne André
Étienne André
@etienneandre.bsky.social
Formal Methods Europe
Formal Methods Europe
@formalmtds.bsky.social
claudio-menghi.bsky.social
claudio-menghi.bsky.social
@claudio-menghi.bsky.social
Einar Broch Johnsen
Einar Broch Johnsen
@ebjohnsen.bsky.social
Carlo A. Furia
Carlo A. Furia
@bugcounting.net
ETAPS conferences
ETAPS conferences
@etapsconf.bsky.social
Bluesky
Bluesky
@bsky.app