Masahiro Sakai

@masahiro_sakai

Engineer @PreferredNet ← Research Scientist @東芝.『抽象によるソフトウェア設計』『型システム入門』共訳者, Haskeller, github.com/msakai, facebook.com/masahiro.sakai

+ Follow

Zhang, Lei

@zhangl

+ Follow

Ryan Williams @rrwilliams.bsky.social

@rrwilliams

Professor @MITEECS and @MIT_CSAIL. Computational complexity, algorithm design, and related math. I'll let you know when P != NP is proved (and when it's not)

+ Follow

Molham Aref

@molhamaref

CEO at @RelationalAI

+ Follow

Saurabh Joshi (@[email protected])

@sbjoshi

* Retweets ≠ endorsement * Views are personal

+ Follow

Robert Wille

@rbrtwll

Professor at @TU_Muenchen and CSO at the SCCH GmbH Hagenberg. Interested in #EDA, #CAD, #DesignAutomation, #QuantumComputing, #microfluidics, and more.

+ Follow

Mathieu Acher

@acherm

Professor @INSA_Rennes Researcher @DiverSE_Inria Junior member #IUF @InstUnivFr #SciencesDuLogiciel, Software #Variability, Artificial Intelligence and #Chess

+ Follow

David Pratten

@davidpratten

Release Train Engineer (SAFe) / UTS Computer Science PhD Student

+ Follow

唐古拉山贼

@tanggulashanzei

G+难民营出来的 上帝的做题家

+ Follow

snisimu

@snisimu

Formal Methods / Coq / SAT / Coalgebra

+ Follow

Piyush Jha

@nippon_shadow

Ph.D. Student @ GaTech

+ Follow

Kuldeep S. Meel

@ksmeel

Associate Professor at Georgia Tech and University of Toronto (On Leave). meelgroup.github.io Automated Reasoning | Formal Methods + AI

+ Follow

Shehab

@omarshehab

Staff Research Scientist @ IBM Quantum qubit-social.xyz/@shehab

+ Follow

Suhail

@pirzadasuhail

+ Follow

Mate Soos

@soosmate

Hacker, security architect, and researcher. Hobbies: SAT solving, accident investigations, rc modeling, etc.

+ Follow

anna

@aldlatour

Computer Scientist. Postdoc interested in Boolean satisfiability and counting. Feminist. Trekkie. Traveller. Opinions my own. @[email protected]

+ Follow

Daniel Große

@daniel_grosse

Professor for Complex Systems at @jkulinz. Interested in #EDA, #Verification, #FormalMethods, #RISCV, #VirtualPrototype, #SystemC.

+ Follow

অভিজীৎ/ Avijeet

@redrum_26_7

+ Follow

xyz

@wujunzero

+ Follow

Netsu🇺🇦

@pitometsu

symbolic💡structural🇺🇦 dreams are not my own

+ Follow

Hadar Shavit

@hadarshavit

PhD Candidate #AutoAI at @RWTH @ada_research

+ Follow

Jean-Pierre

@jeandudey

Software Engineer at @FOUNDATIONdvcs, say hello at [email protected]

+ Follow

Kripke

@sidesinorbit

Why are you here?

+ Follow

AteetBhalla

@ateetbhalla

Education|Technology Consultant|Knowledge Sharing|Collaborative Partnership. I follow MyGov.in Government of India citizen engagement platform

+ Follow

@[email protected]

@notjfmc

I work on github.com/ciao-lang/ciao, a modern Prolog system. You can also find me on mastodon.social/@jfmc IMDEA Software Institute & UPM

+ Follow

Armin Biere

@arminbiere

+ Follow

Stefan Szeider

@stefanszeider

So long, Twitter. Time to log off for good. Find me on Bluesky bsky.app/profile/szeide…

+ Follow

leano

@leanoai

🇿🇦

+ Follow

Dara

@dara_tourt

+ Follow

shobitch

@cantor_mlm

Real Analysis and Material analysis | Long live PLGA | bramhin hater from UP

+ Follow

Sk Asif Iqbal

@skasifiqbal19

Final-year MS in CS @IACS_Kolkata | Research in Explainable AI, Hybrid Systems, Formal Methods, & Automated Reasoning | Seeking PhD positions for Fall '25

+ Follow

Yuheng Su

@gispyh_icu

+ Follow

Aalok Thakkar (he/him)

@aalokdthakkar

Assistant Professor of Computer Science, @AshokaUniv. I work on formal methods, program synthesis, and automated reasoning.

+ Follow

a.refactored.live

@refactormyself

refactoring compute

+ Follow

kinglin

@rf4dsyuke8ccpzw

+ Follow

Aaron Saw Min Sern

@aaronsms78

+ Follow

Tung Nguyen

@casvafng

🛢🥑

+ Follow

Anshuman Sahoo

@anshuml264

Senior ML engineer at BenchSci; University of Toronto

+ Follow

Abhisekh S

@abhi_sekh_s

+ Follow

Ming

@vjwpcivmywgobbk

Design Automation and Test Generation

+ Follow

Zhonghan Wang

@yogurtshadow272

Master Student in Institute of Software @UCAS1978, previously in @NKU1919. Building Algorithms and Tools for SMT and related formal methods areas.

+ Follow

Jin Schofield

@jinschofield

CS @princeton

+ Follow

Shoib Loya

@loyashoib

Get ranked on AI Search

+ Follow

Manquinho

@vmanquinho

+ Follow

Sreepriya G

@silenceisgoldd

Loves Life, Maths, Programming, Logic Feminist, Parent, Optimist Research fellow @InfAtEd @DaphneJacksonTr Alumna @iitmadras @Cambridge_Uni @EdinburghUni

+ Follow

Aurel Ispas

@aurelispas4

Deep Tech , Financial markets, Technology

+ Follow

SowmithK

@sowmithk1999

Graduate Student at WSU EECS

+ Follow

Hai Xia

@haixia_tuwien

+ Follow

ArthurStrong

@arthurs53341762

+ Follow

西湖没有中秋

@traveluniver

克莱登大学 PPT 科学与工程系 | 不要耸肩 | 𝓜 ⊧ 𝜑

+ Follow

Yun-Rong Lauren Luo

@laurenluo1998

Ph.D student of @UMichCSE, interested in formal verification, automated reasoning, computational logic, received B.S. & M.S. from National Taiwan University.

+ Follow

fornever

@_for_never

+ Follow

Maxx Damian

@damesats

Global ₿itizen ∞ /21m ⚡︎ 🌎 | Digital Assets Gen #bitcoin | President @riblockchain | #coyg 🔴⚪️

+ Follow

Greed

@g3435d

+ Follow

Trinh Giang

@giangtrinh91

+ Follow

roadside_picnic

@poadside_ricnic

+ Follow

Alireza Farhadi

@alirezatcs

دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی

+ Follow

irfansha

@irfansha0100

Postdoc, Aarhus University, Denmark. I work in Quantum Circuit Optimization, Planning and 2-Player games. Mostly encoding the problems in SAT and QBF.

+ Follow