Florian Chudigiewitsch @fchtcs
TCS PhD student @UniLuebeck. Theory of Computation ∩ Logic. He/him. florian.website Joined March 2019-
Tweets10
-
Followers17
-
Following342
-
Likes523
Florian Chudigiewitsch retweeted
Great speech by @IOHK_Charles on the future of maths and computer science: youtu.be/gCLJOrJFLZQ
17
73
547
0
10
Florian Chudigiewitsch retweeted
Florian Chudigiewitsch retweeted
Formal methods are a cool way to verify that your hardware or software is working as intended™ Z3 is a one stop shop for FM with theorem proving, SAT, SMT, and computer algebra capabilities. Let's look at some fun examples 👇 1/6
Florian Chudigiewitsch retweeted
Must watch Abel Prize announcement describing the breadth and depth of the works of Avi and Laci and, more generally, the broad and deep impact of theoretical computer science to mathematics, science, and society. youtu.be/0_NK_OkpmUY
Rahul @_rahulgoraniya_
63 Followers 1K Following BSc in CS @unibirmingham | PTAS, Parameterized Complexity & Graph Algorithms | Seeking PhD opportunities
Lukas @louquard
84 Followers 1K Following About Tech, Maths, Teaching (high school); Politikjunkie (can't help myself)
Sebastian Berndt @berndt_seb
102 Followers 800 Following Computer scientist doing algorithms and cryptography. Likes games and books. he/him
Tobias Nießen @tniessen_
543 Followers 624 Following PhD student @tu_wien, TSC member @nodejs, prev @Cloudflare @UNB @UniHannover, born at 362ppm, he/him
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Anupam Das @ADasAcademic
110 Followers 53 Following Proof theorist, logician, mathematician, in order of abstraction.
𝕐asir 𝕄ahmood @Yaa_Siir
557 Followers 290 Following PhD CS • Complexity Theory • Logical Foundations of AI • ♡: 🎯♞🌿🌲🎶✍ • 🇵🇰 🇫🇮 🇩🇪
[email protected]... @NE555
148 Followers 593 Following Computation for the 21st century. IBM zSystems & IBM Quantum; sharing personal thoughts and views only; I like FOSS, physics, computation & photography;
The Truth Of Signs @TruthOfSigns
1K Followers 1K Following The history of formal logic, one excerpt at a time.
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
PACE challenge @PACE_challenge
98 Followers 21 Following The Parameterized Algorithms and Computational Experiments Challenge
sorexus @sorexus3
5 Followers 58 Following
some ferry @a_kafegory
22 Followers 338 Following 🏳️🌈 26 y/o | he/him | Maths PhD student in Berlin | ❤️ algebraic geometry, theoretical CS | gamer | dabbles in art and music | memes | humor
Sabrina A. Gaube @gaube_s
9 Followers 68 Following
Damianos P. Melidis �... @damianosmel
339 Followers 1K Following Dr. rer. nat. & Bioinformatics Scientist @platomics. Alumni of @unihannover. From sunny Athens 🇬🇷. Opinions and grammar are mine!
Jiyad ... the grad @just_a_grad
11 Followers 107 Following Alumni Sharif University. Interested in building systems with intersection of #AI #ML #deeplearning.
Christian Komusiewicz @chkomus
122 Followers 513 Following Computer Scientist, Friedrich Schiller University Jena
Schecter Guitars Offi... @SchecterGuitars
93K Followers 267 Following The one & only Schecter Guitars Twitter Account
[LOGIC] List @LOGIC_list
1K Followers 16 Following Archive of postings: https://t.co/lAsrRrzQU2 Twitter account is not monitored, but posts automatically list postings.
Victor Lecomte @vclecomte
662 Followers 197 Following CS PhD student at Stanford / Researcher at the Alignment Research Center
agata ciabattoni @agataciab
48 Followers 58 Following
Lijie Chen @wjmzbmr1
5K Followers 370 Following Assistant professor at UC Berkeley EECS Previously: Miller Postdoctoral Fellow at UC Berkeley, Ph.D. in MIT EECS
Logic at Melbourne @logicmelb
892 Followers 13 Following Logic at Melbourne. Weekly seminars, workshops, logic classes, and more.
Buenos Aires Logic Gr... @BALogicGroup
1K Followers 126 Following Researchers from the UBA and CONICET, Argentina 🇦🇷, specialized in Logic and Philosophical Logic. They/them.
Bergen Logic Group @BergenLogic
788 Followers 370 Following A logic research group at the Department of Philosophy, University of Bergen, Norway. @UiB @UiB_Philosophy
Cliff Pickover @pickover
201K Followers 52 Following Increase your sense of wonder. (Author of 50 books & 800 patents. Yale Ph.D.) "Pickover contemplates realms beyond our known reality." ~NY Times
Some theorems @CihanPostsThms
29K Followers 6 Following Posting some theorems, and occasionally other stuff. By @bahran_cihan
Johannes K. @joedaa
84 Followers 260 Following
Rupei Xu @RupeiXu
557 Followers 608 Following Fan of Ron Graham🤹🏻who juggles Math, TCS, OR, Telecom…Kindness and Fun! Third time's a charm! PhD in TE and Master in CS @UTD_ECE, Master in IE @UMNISyE
Hila Peleg is not her... @HilaCodes
2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
Tim Nelson @logicpreacher
162 Followers 80 Following
Katie Mack @AstroKatie
373K Followers 3K Following Cosmologist, pilot, author, connoisseur of cosmic catastrophes. She/her. Dr. Personal account; not representing employer or anyone else.
Kurzgesagt @Kurz_Gesagt
482K Followers 164 Following Sciency videos made with love, a lot of time and after effects.
Sebastian Berndt @berndt_seb
102 Followers 800 Following Computer scientist doing algorithms and cryptography. Likes games and books. he/him
Christine benz @_christlne_benz
6K Followers 291 Following Director of personal finance and retirement planning for Morningstar. Author of the bestselling book "How to Retire." https://t.co/TvaW1irena
ISTAustria @ISTAustria
11K Followers 2K Following We will stop posting on X by April 30, 2025. Follow our new Bluesky account for our latest breakthroughs: https://t.co/TkB8XAjkog
Daniil Chivilikhin @chivdan
91 Followers 156 Following Senior Software Engineer @ Siemens DISW. Previously: ITMO University. Interested in SAT solvers, synthesis, and formal verification.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Armin Biere @ArminBiere
946 Followers 217 Following
Pravesh K. Kothari @praveshkkothari
4K Followers 346 Following Assistant Professor @PrincetonCS, @the_ias Research: Theoretical Computer Science, Optimization, Algorithmic Statistics.
Joshua Grochow @joshuagrochow
2K Followers 444 Following Assoc. Prof. @ CU Boulder Comp. Sci. & Math. TheoryCS, pure math, complex systems. He/him. #BlackLivesMatter @joshuagrochow{@mathstodon.xyz,.bsky.social}
Rob Scallon @RobScallon
65K Followers 240 Following I play guitar for the internet. Page is run with a little help from my friends.
Threatening Music Not... @ThreatNotation
333K Followers 12 Following Cataloguing threatening music notation. DM submissions welcome—please include source whenever possible.
Vivienne Medrano 💖 @VivziePop
1.1M Followers 617 Following Please follow me other places! Only rtwts here n' slowly leaving. Aim to be gone this year. @vivziebizzie on insta/threads @vivziepop on bluesky!
Lenore Blum @BlumLenore
2K Followers 381 Following
Hellaverse On Prime @HellaversePrime
852K Followers 22 Following Home for all things HELLUVA BOSS and HAZBIN HOTEL on Prime Video 😈
Academia ɐɹnɔsqO @AcademiaObscura
102K Followers 237 Following The hidden silly side of higher education. 📕 https://t.co/zAJJR5GHRq.
Lance Fortnow @fortnow
6K Followers 370 Following Professor. Complexity Theorist @iitcomputing @[email protected] @lance.fortnow.com
дблп - ☮ Stop t... @dblp_org
2K Followers 95 Following dblp computer science bibliography we are currently trying out: https://t.co/yejhKScR9E
Gautam Kamath @thegautamkamath
57K Followers 568 Following Assistant Prof of CS @UWaterloo, Faculty @VectorInst, Canada @CIFAR_News AI Chair. Joining @NYU_Courant September 2026. Co-EiC @TmlrOrg. I lead @TheSalonML.
Google Fonts @googlefonts
85K Followers 1K Following Open access to communication for everyone, everywhere
EATCS @eatcs_secretary
680 Followers 72 Following European Association for Theoretical Computer Science
Open Logic Project @OpenLogicProj
2K Followers 15 Following Open Source, Customizable, Advanced Logic Text. No longer active on Twitter. See pinned post.
CSTheory SE @StackCSTheory
521 Followers 0 Following A Q&A site for theoretical computer scientists and researchers in related fields
tcs whispers @tcswhispers
825 Followers 5 Following finding comments in tex source files in arXiv preprints posted to cs•CC and cs•DS. comments are anonymized, DM if you need a tweet taken down :)
Typography Nerd @typographynerd
689 Followers 565 Following
Universität Lübeck @UniLuebeck
3K Followers 465 Following Wir beenden unsere Aktivitäten auf X. Bleiben Sie mit uns im Dialog – auf unseren anderen Kanälen. Impressum: https://t.co/883jtxU75A…
Tobias Nießen @tniessen_
543 Followers 624 Following PhD student @tu_wien, TSC member @nodejs, prev @Cloudflare @UNB @UniHannover, born at 362ppm, he/himTrends for United States
40,7 B posts
70,4 B posts
9.523 posts
76,2 B posts
60,2 B posts
42,6 B posts
8.254 posts
10,3 B posts
37 B posts
8.776 posts
1.642 posts
8.152 posts
1.266 posts
7.087 posts
41,8 B posts
45,1 B posts
2.328 posts
8.100 posts
8.814 posts
33,7 B posts
You might like
VCLA at TU Wien
@vclaTUwien
2K Followers
Stefan Schmid
@schmiste_ch
779 Followers
Aniruddha
@Anirudd32765129
341 Followers
Norbert Melzer
@NobbZ1981
88 Followers
Josep Font
@J0s3p_F0nt
84 Followers
Mr Possibility
@MrPossibility_
44 Followers
mrragava
@mrragava
220 Followers