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