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