Arijit Shaw @masterarijit
Computer Science PhD Candidate at Chennai Mathematical Institute, advised by @ksmeel. Formal Methods / SMT / Model Counting. arijitsh.github.io Singapore Joined October 2010-
Tweets39
-
Followers108
-
Following655
-
Likes104
Arijit Shaw retweeted
A bit of recap of all the SAT research tools (solving, counting, sampling, etc) I maintain and helped develop over the years, along with my colleagues: msoos.org/2024/02/our-to… Thinking back over the years, it's been quite a long journey.
1
9
67
9K
32
Arijit Shaw retweeted
Arijit Shaw, PhD Student, Chennai Mathematical Institute, is presenting their work on the Approximate Skolem function counter. @masterarijit
Arijit Shaw retweeted
Come by HFH 1132 on Wednesday, May 17th, at 3:30 pm for Arijit's talk, "Building a Scalable bit-vector model counter". Everyone is welcome to join! Host: Tevfik Bultan For the abstract/bio, visit the CS website (link in bio).
Arijit Shaw retweeted
Kuldeep Meel is taking about using Machine learning to improve SAT solvers. #Dagstuhl seminar on ML and Logic.
Arijit Shaw retweeted
Excited to be part of S$56 million AI program between Singapore and France; We are *HIRING* post-docs and Ph.D. students. Come and join us in Singapore/France: enjoy French wine and Singaporean tropical weather. news.nus.edu.sg/integrated-dec…
People's COVID Response 2.0 by Quarantined Student Youth Network. This endeavour needs your financial support. Stand by us so that we can stand by all! Contribute here : ketto.org/fundraiser/qsy… Read more here : m.facebook.com/story.php?stor…
Arijit Shaw retweeted
No Vote To BJP postering at several districts of Bengal. #NoVoteToBJP in #BengalElection2021
Arijit Shaw retweeted
The 5th edition of the Indian SAT+SMT school will be completely online this year! And, the registration is completely free! Register at sat-smt.in Retweet and help us spread the word.
Arijit Shaw retweeted
Wonderful article celebrating efforts of @SoosMate and @masterarijit. As always, @SoosMate is quotable “In this sense, we made the best of a dark situation and the opportunities it gave us”
Wonderful article celebrating efforts of @SoosMate and @masterarijit. As always, @SoosMate is quotable “In this sense, we made the best of a dark situation and the opportunities it gave us”
"We are in the same storm, but not in the same boat." Prithibir Pathshala was made for those who are worst hit by the education gap widendend in the pandemic. A month at Pathshala-s is an eye-opener to us, how badly the pandemic has hit India. telegraphindia.com/calcutta/basti…
Arijit Shaw retweeted
@SAT2020conf concluded this week, and our group's solvers (well, single-handedly led by @SoosMate ) had a great run: 3rd place in Main Track and 2nd place in Planning track. Proud of my intern @masterarijit for his work on LSIDS, which held up to its promise in competition. 1/2
Arijit Shaw retweeted
Integrating Verification, Synthesis, and Learning by Prof Sanjit A. Seshia @satsmtschool
Arijit Shaw retweeted
Prof. Sanjit A. Seshia opens the post lunch session with exciting emerging topics for applying SAT/SMT in verifiable AI @satsmtschool @iitbombay
Arijit Shaw retweeted
We move from verifying AI to verifying concurrency of programs. Soham Chakraborty from IIT Delhi talks about validating optimisations of concurrent C/C++ programs @satsmtschool
Arijit Shaw retweeted
Recent work about new strategies for the incomplete MaxSAT problem where the optimality of the solution is not guaranteed but the solution is returned very quickly presented by Saurabh Joshi from IIT Hyderabad @satsmtschool
Arijit Shaw retweeted
I'm starting as a Google Season of Doc '19 technical content writer today. Wish me luck. #gsod @GoogleOSS
"thank you for this that post literally cleared my skin it watered my plants it paid my bills" Someone said in the comments. 😍
"thank you for this that post literally cleared my skin it watered my plants it paid my bills" Someone said in the comments. 😍
Rae Mosciski @mosciski81375
79 Followers 3K Following Don't worry about what others say, you may not always be wrong
Madison Harper @Mads_Harper01
60 Followers 242 Following Always will be a Patriot 🇺🇸, Trump for peace ☮️ love my Family ❤️ and my country. A positive change is always welcoming
Aalok Thakkar (he/him... @AalokDThakkar
749 Followers 1K Following Assistant Professor of Computer Science, @AshokaUniv. I work on formal methods, program synthesis, and automated reasoning.
kou_chak @kou_chak
42 Followers 506 Following A clearly confused person, a data scientist @jlabsdigital and @RoniAnalytics trying to build @pandaterminal @DeployFinance
Mohammed Adnan @adnan_ahmad1306
338 Followers 2K Following PhD student @ UofC / Vector Institute; Previously: MLRG, University of Guelph | UWaterloo | IIT G Alumnus
Leo @hanoaguri73683
99 Followers 7K Following
Tharchi @TharchinCKMqU
31 Followers 4K Following
Cloughtoreth @CloughtorethJx
48 Followers 4K Following
たちはらみあ @tachiharam62372
65 Followers 7K Following
Sheegud @sheegud4111
98 Followers 7K Following
Brian Zhengyu Li @BrianforPhD
289 Followers 1K Following PhD Student in CS @georgiatech | Applied Scientist Intern @aws | Automated Reasoning, AI for Science, Math, and Poker | Math @uwaterloo & @uoft Alum
Katla Kalia @BanglarProhori
13 Followers 154 Following
Shambhab Chaki @ShambhabC
10 Followers 37 Following
CS Theory Fan @CSTheoryFan
79 Followers 1K Following
Rajendra Kumar @Kumar__Rajendra
128 Followers 197 Following Assistant Professor of Computer Science at IIT Delhi. Lattices and Post-Quantum Cryptography.
Rishikesh Gajjala @publishiperishi
1K Followers 734 Following Pondering over (mathematical) infinities @iitdelhi ➡️ @iiscbangalore ➡️ @nyuniversity
Johannes K. @joedaa
84 Followers 260 Following
Prateek Dwivedi @prateekdwv
201 Followers 236 Following Postsoc at ITU, CPH. I study Theoretical Computer Science. Bibliophile. And use social media to share my views on anything that interests me.
Harsh Desai @dreamerharsh
1 Followers 7K Following
Ramneet Singh @Ramneet_Singhh
847 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
Uddalok Sarkar @SarkarUddalok
18 Followers 192 Following
Stephanie @s_krause86
254 Followers 3K Following
Natalia Canto @nataliacantto
34 Followers 115 Following PhD researcher in Machine Learning at University of Campinas, Brazil. @GoogleAI Scholar.
Pratik Karmakar @PratikK_NUS
9 Followers 33 Following PhD Scholar, School of Computing, National University of Singapore
irfansha @irfansha0100
51 Followers 52 Following Postdoc, Aarhus University, Denmark. I work in Quantum Circuit Optimization, Planning and 2-Player games. Mostly encoding the problems in SAT and QBF.
CP2025 @cp_conf
254 Followers 77 Following 31th International Conference on Principles and Practice of Constraint Programming August 10 - 15, 2025, Glasgow, Scotland #CP2025 #CP2025conf
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
PLSE@NUS @nus_plse
389 Followers 178 Following Programming Languages, Software Engineering and Formal Methods Research at the @nuscomputing
Mate Soos @SoosMate
1K Followers 479 Following Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.
sidhant @s1db_
326 Followers 2K Following I spend my time hacking on combinatorial solvers (for fun) and network orchestration (for profit). previously: @FATAglasgow, @AristaNetworks
Aashish Satyajith @aashishsatya
61 Followers 241 Following Bet hedging between computer science and biology to survive PhD. Header photo credits: https://t.co/QU7uTsdDtH
PhD Voice - Independe... @PhDVoice
131K Followers 78K Following Amplifying the voices of PhD Students. Tag us with # or @PhDVoice. Runs @PostdocVoice. Free PhD Resources https://t.co/jKq1NNX0ch Independently Run
Subhojeet Pramanik @subho_in
431 Followers 316 Following Leading ML/RL projects @AmiiThinks. Researching in RL and DL. AI MSc from @rlai_lab. Previously: @ibm, @Huawei.
Sayantan Sen @SayantanSen_
80 Followers 2K Following Postdoc @quantumlah @NUSingapore Previously: Postdoc @NUSComputing
@Vicky Li @vickyli_li
69 Followers 432 Following HR @huawei. I'm looking for Huawei talents in AI ,computer architecture, cyber security and privacy, high-performance computing, database, and mathematics.
Ativ Joshi @ativsc
306 Followers 2K Following संसारोऽयम अतीव विचित्रः | CS Ph.D. Student @UMassAmherst | Online Optimization, ML Theory | Prev: Research Assistant @TIFRScience, CMI, @ahduniv
Konkona Banerjee @notkonkona
117 Followers 588 Following You can fit in, or you can change the world; you don't get to do both.
Abhishek De @throughabhishek
99 Followers 514 Following research fellow @unibirmingham | meme economist | Zizek impersonator | ☭
Pramanick Krishna @pramanick3
7 Followers 198 Following
LabourStart @labourstart
36K Followers 19K Following 'Where trade unionists start their day on the net' News & campaigning website of the international labour movement
Neeldhara 🐦|🐘 @neeldhara
6K Followers 4K Following Department of Computer Science and Engineering, IIT Gandhinagar.
Dominik Winterer @DominikWinterer
1K Followers 649 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical 👩🎓👨🎓 Looking for PhD students!
Aalok Thakkar (he/him... @AalokDThakkar
749 Followers 1K Following Assistant Professor of Computer Science, @AshokaUniv. I work on formal methods, program synthesis, and automated reasoning.
Mohammed Adnan @adnan_ahmad1306
338 Followers 2K Following PhD student @ UofC / Vector Institute; Previously: MLRG, University of Guelph | UWaterloo | IIT G Alumnus
Mondoweiss @Mondoweiss
180K Followers 4K Following News covering Israel/Palestine and U.S. foreign policy. Support our work: https://t.co/iDrhXL0K3o
Rakesh Sengupta @Rakesh_Sengupta
1K Followers 570 Following Film and media prof @UofTEnglish + @CSI_UofT. He/him.
Brian Zhengyu Li @BrianforPhD
289 Followers 1K Following PhD Student in CS @georgiatech | Applied Scientist Intern @aws | Automated Reasoning, AI for Science, Math, and Poker | Math @uwaterloo & @uoft Alum
Hindenburg Research @HindenburgRes
878K Followers 0 Following Popped bubbles as we saw them, including our own. We expressed strong opinions. Not investment advice.
Subbarao Kambhampati ... @rao2z
25K Followers 68 Following AI researcher & teacher @SCAI_ASU. Former President of @RealAAAI; Chair of @AAAS Sec T. Here to tweach #AI. YouTube Ch: https://t.co/4beUPOmf6y Bsky: rao2z
Dr Katherine Blouin �... @isisnaucratis
7K Followers 4K Following History+ancient Lands; Prof. @UofT/@UTSC YQB born CAI 🧡; I decipher power; EverydayOrientalism; past=now; مصر دائما 🤟🏽🐍; retweet ≠ endorsement; #Landback
Toronto4Palestine @Toronto4P
8K Followers 78 Following #T4P aims to facilitate a global environment that supports Palestinian access to dignity, opportunity, and freedom.
Gen-Z for Change @genzforchange
92K Followers 732 Following We're a nonprofit collective of Gen-Z organizers leveraging the power of social media, creators, and code to drive progressive change 🏳️🌈
Elise Joshi @EliseJoshi
43K Followers 2K Following 23 y/o labor-climate organizer. Bike and BART commuter. Board Member+Formerly ED @genzforchange. Cal ‘23. 🇪🇨🇮🇳
Samira Mohyeddin سم... @SMohyeddin
47K Followers 5K Following Broadcaster🎤Producer at On The Line Media | M.A. Mideast History & Gender @UofT Genocide @ZoryanInstitute 📍[email protected]
Daily Screm 🇨🇦 @dailyscreaming1
109 Followers 68 Following This *is* my self-care. If I follow you, it means you need to do a daily screm too. ✌️Tkoronto. Learn the facts people 🍉 UofToronto "fan" account
Sudan Solidarity Coll... @sdnsolidarity
3K Followers 62 Following Volunteer collective based out of the University of Toronto. Dedicated to advocacy, community building & fundraising. register for Workshops4Sudan below!
Sait Simsek @Sait_Simsek_
4K Followers 963 Following Where nobody is normal, I’m nobody / Yüksek Promil Muhalif / SWANAn/ Taking a break, filling my cup
Bedazzling Bearer of ... @PixieOfDeath
13K Followers 2K Following (she/her/ma'am/💀) Anarchist in Palestine🦋 •BDS•AbolishPrisons•feminist•queer•pansexual•vegan•witch•hermitess (no really I’m not coming to dinner)•leaf gazer🌱
Rishikesh Gajjala @publishiperishi
1K Followers 734 Following Pondering over (mathematical) infinities @iitdelhi ➡️ @iiscbangalore ➡️ @nyuniversity
Rajendra Kumar @Kumar__Rajendra
128 Followers 197 Following Assistant Professor of Computer Science at IIT Delhi. Lattices and Post-Quantum Cryptography.
Prahladh Harsha @prahladh
718 Followers 198 Following Computer Scientist, Mathematician, Dancer, Uncle
Prateek Dwivedi @prateekdwv
201 Followers 236 Following Postsoc at ITU, CPH. I study Theoretical Computer Science. Bibliophile. And use social media to share my views on anything that interests me.
FACT @anticasteFACT
64 Followers 15 Following Educate, Agitate & Organize | Forum for Anti-Caste Activism at the University of Toronto (FACT)
CUPE 3902 @cupe3902
4K Followers 640 Following Representing over 11,500 precarious postsecondary educators and researchers at the University of Toronto, since 1973.
Uddalok Sarkar @SarkarUddalok
18 Followers 192 Following
Suryajith Chillara @suryajith
553 Followers 286 Following Asst. professor @iiit_hyderabad. Theoretical Computer Scientist. He/him
Caleb @caleb_friesen2
26K Followers 511 Following Daily coverage of Indian tech at @runtimebrt | Part-time pedestrian
Leena Ali Ibrahim @LeenaAIbrahim
1K Followers 683 Following 🇵🇸 Neuroscientist | Assistant Professor @KAUST_News. Neural circuit development and learning. Layer 1 afficionado. Views are my own
Rehema Mwawado @RayMwawado
252 Followers 254 Following PhD student (Embedded Systems) | Federated Learning I TinyML enthusiast I Woman in Tech
Natalia Canto @nataliacantto
34 Followers 115 Following PhD researcher in Machine Learning at University of Campinas, Brazil. @GoogleAI Scholar.
Arjya Das (আর্�... @ArjyaDasCS
15 Followers 52 Following (he/him) CS PhD Student @ucdavis. Alumni @iiscbangalore, @JUFET. Research: Programming Languages, Software Engineering, Intelligent Systems. 🏳️🌈
Pratik Karmakar @PratikK_NUS
11 Followers 33 Following PhD Scholar, School of Computing, National University of Singapore
Kanu @akaPrateekshit
2K Followers 713 Following Asst Prof @CommUCSB; alum @AnnenbergPenn @IIITDelhi; citizenship & political humor https://t.co/Ih8hNHwc3e https://t.co/OoiwYnJ0MA
U.S. Graphics Company @usgraphics
40K Followers 490 Following Engineering graphics. Check out our new typeface, Berkeley Mono → https://t.co/dUqr2XXHLU
Student Rights 🍁 @iStudentCanada
87K Followers 6 Following Official Twitter Community of International Students willing to immigrate to 🇨🇦 but facing many challenges.
TIME @TIME
19.1M Followers 473 Following News and current events from around the globe. Since 1923. Subscribe: https://t.co/yT0dueLEm0
Canada in India @CanadainIndia
233K Followers 473 Following Official page of the High Commission of Canada in India. Français : @CanadaenInde | Also follow @CanadainIndia on Facebook and Instagram.
N Ganguly @gangulyniloy
1K Followers 108 Following Professor, IIT Kharagpur, I tweet about events which make me feel concerned. Tweets are not necessarily academic.
Balaraman Ravindran @ravi_iitm
7K Followers 355 Following Head Wadhwani School of Data Science and AI (@WSAI_IITM), Center for Responsible AI (@cerai_iitm), and Professor at IIT Madras (@iitmadras)
irfansha @irfansha0100
51 Followers 52 Following Postdoc, Aarhus University, Denmark. I work in Quantum Circuit Optimization, Planning and 2-Player games. Mostly encoding the problems in SAT and QBF.
Arya Mazumdar @MountainOfMoon
4K Followers 355 Following Professor @UCSanDiego Dy. Director+AD Research NSF AI Inst https://t.co/wblPm6DhUX, UCSD Site Lead @encoreinstitut Information Theory, Coding Theory, Machine Learning
Karishma Kaushik, MBB... @_KarishmaK
26K Followers 8K Following Physician | Scientist | Clinical Microbiologist | Hockey | Sarees | Hindi Movies | Coffee | @TTASIndia 🇮🇳 Writing a book for girl scientists! 👩🔬📘
Shuang Li @ShuangL13799063
6K Followers 875 Following @Stanford @MIT Working on #Generative_Modeling and #RobotLearning.
Manu Awasthi @mnwsth
13K Followers 1K Following Computer Systems Engineering, Higher Education, Public Policy, Academic Bollywood Memes. Documentation Evangelist. Tweeting in personal capacity.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
cs.LG Papers @arxiv_cs_LG
839 Followers 2 Following unofficial updates on arXiv cs.LG (computer science. learning) papers -- https://t.co/wszOoOIqEj
Saeed Nejati @saeedn
334 Followers 549 Following
Sanzzz @_thatmemergirl
7K Followers 2K Following Boring IT girl, here for the memes. https://t.co/EJmdRw8L7zTrends for United States
87 B posts
77,6 B posts
203 B posts
257 B posts
58,1 B posts
111 B posts
68,7 B posts
1.100 posts
202 B posts
4.499 posts
24,9 B posts
42 B posts
15,2 B posts
55,9 B posts
1.213 posts
6.524 posts
5.438 posts
5.604 posts
You might like
Kuldeep S. Meel
@ksmeel
2K Followers
Priyanka Golia
@GoliaPriyanka
461 Followers
Pranjal Dutta (প্...
@WeirdlyPranjal
448 Followers
Rishav Chourasia
@Rishav_84ia
72 Followers
divesh aggarwal
@diveshaggarwal
340 Followers