This user hasn't set any names or pronouns yet.
This user hasn't set any names or pronouns yet.
People Anastasia Isychev follows on Bluesky
Armin Biere
@arminbiere.bsky.social
@berndfinkbeiner.bsky.social
norinecoenen.bsky.social
@norinecoenen.bsky.social
Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
Argot Collective
@argot.org
Dan Plyukhin
@dplyukhin.bsky.social
Igor Konnov | konnov.phd
@k0nn0v.bsky.social
Lawrence Paulson
@lawrpaulson.bsky.social
Type Theory Forall
@ttforall.bsky.social
PLDI
@sigplan-pldi.bsky.social
Stefan Marr
@stefan-marr.de
Technische Universität München
@tum.de
Imperial College London
@imperialcollegeldn.bsky.social
Dominik Winterer
@dominikwinterer.bsky.social
@afd-icl.bsky.social
School of Computer Science, University of Sydney
@sydneycompsci.bsky.social
Rahul Gopinath
@rahul.gopinath.org
Christoph Hochrainer
@chochrainer.bsky.social
SIGPLAN
@sigplan.bsky.social
Andrea Gilot
@agilot.bsky.social
@floc2026.bsky.social
Nikolaj
@nikolajbjorner.bsky.social
Niklas Metzger
@niklasmetzger.bsky.social
International Conference on Automated Software Engineering (ASE)
@aseconf.bsky.social
@hannelita.bsky.social
Santosh Nagarakatte
@santosh-nagarak.bsky.social
Valentin Wüstholz
@vwuestholz.bsky.social
Michael Schwarz
@93mschwarz.bsky.social
@heyheiko.bsky.social
Guido Salvaneschi
@guidosalva.bsky.social
Jürgen Cito
@citostyle.bsky.social
International Conference on Software Engineering
@icseconf.bsky.social
Abhik Roychoudhury
@abhikrc.bsky.social
Yann Herklotz
@yannherklotz.com
ICFP Conference
@icfp-conference.bsky.social
Max Willsey
@mwillsey.com
@rakamaric.bsky.social
Arpan Gujarati
@arpanbg.bsky.social
@ccadar.bsky.social
CAV
@confcav.bsky.social
Alexandra Silva
@xanovsky.bsky.social
@rpiskac.bsky.social
Matteo Maffei
@matteomaffei.bsky.social
Aws Albarghouthi
@awsto.bsky.social
Alcides Fonseca
@alcidesfonseca.com
Borzoo Bonakdarpour
@borzoo.bsky.social
Dan Grossman
@dangrossmanseattle.bsky.social
Manuel Rigger
@mrigger.bsky.social
Clément Canonne
@ccanonne.github.io