Swen Jacobs
14 following
LightNews LightNews
CNRS
CNRS
@cnrs.fr
Tom Henzinger
Tom Henzinger
@thenzinger.bsky.social
International Conference on Software Engineering
International Conference on Software Engineering
@icseconf.bsky.social
Times Higher Education (THE)
Times Higher Education (THE)
@timeshighered.bsky.social
Formal Methods Europe
Formal Methods Europe
@formalmtds.bsky.social
David Monniaux
David Monniaux
@monniauxd.bsky.social
Aarhus Universitet
Aarhus Universitet
@au.dk
IRISA Institut de Recherche en informatique& systèmes aléatoires
IRISA Institut de Recherche en informatique& systèmes aléatoires
@irisa-lab.bsky.social
Julien Narboux
Julien Narboux
@jnarboux.bsky.social
CNRS à Paris-Saclay
CNRS à Paris-Saclay
@cnrs-paris-saclay.bsky.social
Patricia Bouyer-Decitre
@patriciabouyer.bsky.social
Loria
Loria
@labo-loria.bsky.social
Étienne André
Étienne André
@etienneandre.bsky.social
Bluesky
Bluesky
@bsky.app