This user hasn't set any names or pronouns yet.
This user hasn't set any names or pronouns yet.
People Ishan S. follows on Bluesky
Samuel Teuber
@teuber.bsky.social
CAV
@confcav.bsky.social
@floc2026.bsky.social
@techaltar.bsky.social
AI + FM papers
@ai-fm-papers.bsky.social
Formal Land
@formalland.bsky.social
FormaliSE
@formalise.bsky.social
Deutsches Zentrum für Luft- und Raumfahrt (DLR)
@dlr-de.bsky.social
German Space Agency at DLR
@dlr-spaceagency.bsky.social
DLR-next
@dlr-next.bsky.social
German Aerospace Center (DLR)
@dlr-en.bsky.social
Vision and Graphics Trends
@si-cv-graphics.bsky.social
Tübingen AI Center
@tuebingen-ai.bsky.social
Judith Michael
@judithmichael.bsky.social
Joshua Garcia
@joshua-garcia-swe.bsky.social
Andreas Graf
@grafandreas.bsky.social
Somesh Jha
@someshjha.bsky.social
@berndfinkbeiner.bsky.social
Ezio Bartocci
@eziobartocci.bsky.social
Formal Methods Europe
@formalmtds.bsky.social
ACM Special Interest Group on AI
@acmsigai.bsky.social
Lucas Beyer (bl16)
@giffmana.ai
Andreas Geiger
@andreasgeiger.bsky.social
Magnus Carlsen
@magnus-carlsen.bsky.social
PyCon DE & PyData
@pyconde.bsky.social
Dr Oana Andrei
@oanamandrei.bsky.social
Ashfaq Farooqui
@ashfaqfarooqui.bsky.social
Heerko Groefsema
@heerkog.bsky.social
Ted Pavlic (he/him/his)
@tedpavlic.bsky.social
Matt Luckcuck
@mattluckcuck.bsky.social
Formal Methods for Autonomous Systems
@fmasworkshop.bsky.social
Bluesky
@bsky.app
All caught up ✓