Carsten Sinz

@dddejan.bsky.social

Automated reasoning @ AWS. https://dddejan.github.io/

@ulrichjunker.bsky.social

Scientist in Artificial Intelligence and the Decision Sciences. https://uli-research.com/About_Me.html

@lorensi.bsky.social

Professor in Computer Science / Artificial Intelligence / SAT / Constraints / Logic / Knowledge Representation / Video Games (AI). Deleted X account. Slowly moving here.

@arminbiere.bsky.social

SAT Solver Hacker, Professor, University of Freiburg

@sinzandrea.bsky.social

Full (W3) Professor Pharm. Chem. & Bioanalytics at MLU Halle-Wittenberg; Center for Structural Mass Spectrometry https://agsinz.pharmazie.uni-halle.de https://rtg2467.uni-halle.de/ Cross-linking mass spectrometry, intrinsic disorder 🧪 #teammassspec

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app