Prateek Dwivedi @prateekdwv
Postsoc at ITU, CPH. I study Theoretical Computer Science. Bibliophile. And use social media to share my views on anything that interests me. prateekdwivedi.in Kanpur, UP, India Joined February 2016-
Tweets1K
-
Followers201
-
Following236
-
Likes4K
Menace is undeniable, but the SC’s inhumane ruling isn’t the cure. Our infrastructure won’t be fixed overnight to make it work either. Those protesting can consider adopting a stray—sterilise, vaccinate, care. For others, supporting NGOs doing this work would be appreciated.
Menace is undeniable, but the SC’s inhumane ruling isn’t the cure. Our infrastructure won’t be fixed overnight to make it work either. Those protesting can consider adopting a stray—sterilise, vaccinate, care. For others, supporting NGOs doing this work would be appreciated.
"A territory, once seen, can’t be seen first again. If mechanized minds consume all the empty space on the intellectual map, lives dedicated to discovery won’t be lives that humans can lead." scottaaronson.blog/?p=9030
Statement of Prof. David Gross, Nobel Laureate 2004, at the recently concluded Quantum India Bengaluru 2025. This one sentence sums up the conference for me.
AI Wins Gold in Math Olympiad | Opinion prateekdwivedi.in/blog/AI-Wins-G…
Meet the recipients of the 2024 ACM A.M. Turing Award, Andrew G. Barto and Richard S. Sutton! They are recognized for developing the conceptual and algorithmic foundations of reinforcement learning. Please join us in congratulating the two recipients! bit.ly/4hpdsbD
Yesterday, I successfully defended my thesis! Huge thanks to my advisor, @NitinInTheory , as well as my mentors, collaborators, friends, and family for their unwavering support. I’m excited as I move on to the next chapter of my academic journey.
Project Euler.
STOC 2025 accepted papers. A whopping 219 papers accepted from 735 submissions. acm-stoc.org/stoc2025/accep… Conference in Prague June 23-27. acm-stoc.org/stoc2025
SpaDeX Docking Update: 🌟Docking Success Spacecraft docking successfully completed! A historic moment. Let’s walk through the SpaDeX docking process: Manoeuvre from 15m to 3m hold point completed. Docking initiated with precision, leading to successful spacecraft capture.…
🇮🇳 GUKESH D WINS THE 2024 FIDE WORLD CHAMPIONSHIP! 👏 🔥 #DingGukesh
Cannot appreciate this decision more! I recently learned that many European nations have been practicing this for a while, and it’s amazing to see India taking this step too.
Cannot appreciate this decision more! I recently learned that many European nations have been practicing this for a while, and it’s amazing to see India taking this step too.
It was a wonderful Friday to have @barcdk at ITU. It was an honour to give a talk to such an engaged and curious audience. The deep-dive session after the talk sparked truly enriching discussions. All the credits to @nutanlimaye and Anne for making it happen.
Call for participation Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds (MMComplexity 2024), India. December 14th, 15th, 2024. Co-located with FSTTCS 2024. Do attend! mmcomplexity.github.io
Steven Rudich, a pioneer of Natural Proofs, has passed away. I first encountered Natural Proofs in a course during my early PhD years and grew to deeply appreciate the concept. A tribute post on Shtetl-Optimized: scottaaronson.blog/?p=8449
The #ComputerScience_and_Engineering department at IIT Delhi is hosting a winter school on Formal Verification and Program Synthesis from December 3rd to 6th, 2024. To know more and register: priyanka-golia.github.io/WinterSchool24…
Another one for AI! It truly seems to be about recognizing the importance of a technological advancement which has a profound impact across all fields of science.
Another one for AI! It truly seems to be about recognizing the importance of a technological advancement which has a profound impact across all fields of science.
Who could have imagined physics would recognize the field of ML and AI in such a remarkable way? Congratulations to the laureates.
Who could have imagined physics would recognize the field of ML and AI in such a remarkable way? Congratulations to the laureates.
Justin Thaler @SuccinctJT
7K Followers 680 Following Research Partner @ a16z crypto Associate Professor of CS at Georgetown.
Igor Carboni Oliveira @IgorCarboniOliv
614 Followers 290 Following
Venis Dran @DranVenis11338
58 Followers 1K Following
Akash Kumar @PrisonersLemma
251 Followers 468 Following Assistant Professor in Computer Science at IIT Bombay. (Indian, researcher, foodie and a laid back person)
Aneek Roy @lowestCmmnDenom
280 Followers 5K Following RA @IIT Delhi | MS @nyuniversity in Computer Engineering @nyutandon । ex-SDE @gehealthcare । JUCSE'18 @JUFET
AR @akr_amitroy
77 Followers 990 Following PhD | Software Engineer | Stay open. Lightning could strike!
Gambo A Maina @GamboMaina
115 Followers 2K Following 🇪 🇳 🇹 🇷 🇪 🇵 🇷 🇪 🇳 🇪 🇺 🇷 🅼︎🅰︎🆁︎🅺︎🅴︎🆃︎📶🅴︎🅳︎🆄︎🅲︎🅰︎🆃︎🅾︎🆁︎ FINANCIAL ANALYSTS 📉📈 💻
Pavitra Kumar Rai @PavitraKum61591
3 Followers 630 Following
Florestan @FlorestanBrunck
17 Followers 276 Following
Jakub Tětek @JakubTetek
249 Followers 438 Following I do research in theoretical computer science. I'm especially interested in differential privacy and beyond-worst-case analysis.
Rasmus Pagh @RasmusPagh1
2K Followers 387 Following Professor of computer science at @barcdk, University of Copenhagen. Interested in random things and their applications. Also @rasmuspagh.net on BlueSky
Subhadip Sarkar(শ�... @sarkarrsubhadip
303 Followers 3K Following ||Mathematical nerd🔢#️⃣🇮🇳|Researcher| ✈️👨🎓|Tweets are my own opinion|
Aransiola Ibrahim @AiReadone
50 Followers 547 Following Seasoned Software engineer with over 6 years of building innovative and efficient software solutions. Research Interest: Quantum Information and Computation
Devansh Tripathi @Devansh_1106
86 Followers 290 Following BS-MS @tvmiiser // applied mathematics // Analysis of Foundation Models, Neural Operators & PDEs // ex-summer @ETH Zurich CAMLab
Vishal Sharma @vishalcseiitg
1K Followers 692 Following PhD candidate in CSE (Influence Maximization and Algorithmic Fairness) at IIT Roorkee.
Bireswar Das @bireswar
165 Followers 140 Following Interested in theoretical computer science, mathematics, sports, juggling,
utkarsh @utkarsh_2105
656 Followers 2K Following he/him | CS undergrad BITS Pilani | (distributed, large, fast and so on) Systems for ML @MSFTResearch, prev @Inria
Diptarka Chakraborty @diptarka1989
253 Followers 243 Following Assistant Professor, School of Computing, National University of Singapore
Neelabjo S Choudhury @neelabjo91
50 Followers 1K Following A bit of coffee, couple of ounces of Computer Science and a lot of countless contradictions. Travel on the entree.
succeedinescaping @succeedine9127
102 Followers 5K Following
Prashanth Amireddy @prashanth_a19
45 Followers 116 Following PhD student in the Theory of Computation group at Harvard
rishika @rishika13031933
33 Followers 548 Following
Sreeramji @Sreeramji_
127 Followers 360 Following Theoretical CS @IISc Ex - Software Engineer @Google Competitive Programmer
NANDA RANI PANDEY @nandarani03
28 Followers 415 Following Cybersecurity researcher PhD Scholar, IIT Kanpur
Akhil S @akhils95
7 Followers 29 Following Doctoral Candidate in Theoretical Computer Science at IIT Kanpur
chasser @xyning_uestc
3 Followers 312 Following
Arijit Shaw @masterarijit
108 Followers 655 Following Computer Science PhD Candidate at Chennai Mathematical Institute, advised by @ksmeel. Formal Methods / SMT / Model Counting.
CS Theory Fan @CSTheoryFan
79 Followers 1K Following
Jayesh Belsare @BelsareJayesh
183 Followers 3K Following
VegetaAvatar @VeGeTaX29
19 Followers 6K Following
Priyanka Maity @maityp05
2 Followers 5 Following
Ibrahim Ahmad @ahmad993196
49 Followers 5K Following
Ramneet Singh @Ramneet_Singhh
846 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)
Anil Vishwakarma @Anil_Vish01
321 Followers 620 Following Trying to create something meaningful for myself and everyone around me.
Dr Ashish Khanna @Ashish98925829
11 Followers 137 Following Researcher, Academician, Startup promoter.
nag@iiit @nagiiit1
24 Followers 188 Following Leading Deep Algorithms Group at IIIT, Hyderabad, India
Nilanjan Sarkar @nilan_blue
346 Followers 4K Following Unlearning in LLMs| M.E CS @bitshyd| Applied Scientist intern @AmazonScience IML| #recsys #nlp #nlproc #clang #compilers #llvm
Amit Chadha @AmitChadha1976
12 Followers 29 Following
Eli Ben-Sasson | Star... @EliBenSasson
42K Followers 768 Following CEO @StarkWareLtd | co-inventor ZK-STARK; Zcash Bringing Cryptography to Crypto, for freedom-tech @StarkWareLtd | @Starknet Opinions mine, no investment advice
Justin Thaler @SuccinctJT
7K Followers 680 Following Research Partner @ a16z crypto Associate Professor of CS at Georgetown.
Richard Dawkins @RichardDawkins
2.9M Followers 344 Following UK biologist & writer. Richard Dawkins Foundation donor: https://t.co/rZZdjPoMUe. For Details about the Upcoming Tour: https://t.co/sSo5FL6CWb
Damien Symon @detresfa_
210K Followers 40 Following OSINT, Doodles, Balloon/Carrier Tracker, Typ0s Views my own | Media - https://t.co/LARrtLMg4z @theintellab | @thewarzonewire | @Platracker | @TheWorldToday
Akash Kumar @PrisonersLemma
251 Followers 468 Following Assistant Professor in Computer Science at IIT Bombay. (Indian, researcher, foodie and a laid back person)
MathMatize Memes @MathMatize
43K Followers 279 Following Started from the axioms now we’re here. Original memes.
D. Sivakumar @dsivakumar
4K Followers 890 Following Conversational Shopping Search at https://t.co/uo5O72E5nP Earlier: Member, @southpkcommons; NLP, ML, Algorithms @GoogleAI; CS Theory at @IBMResearch Almaden .
derek guy @dieworkwear
1.4M Followers 958 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Financial Times, Politico, Esquire, and Mr. Porter
FSTTCS 2025 @fsttcs
73 Followers 39 Following The 45th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @BITSPilaniGoa. Tweets by @AalokDThakkar.
Ratish Puduppully @ratishsp
159 Followers 84 Following Assistant Professor at IT University of Copenhagen
Rasmus Pagh @RasmusPagh1
2K Followers 387 Following Professor of computer science at @barcdk, University of Copenhagen. Interested in random things and their applications. Also @rasmuspagh.net on BlueSky
Jakub Tětek @JakubTetek
249 Followers 438 Following I do research in theoretical computer science. I'm especially interested in differential privacy and beyond-worst-case analysis.
Kasper Green Larsen @kasperglarsen
2K Followers 264 Following Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
AR @akr_amitroy
77 Followers 990 Following PhD | Software Engineer | Stay open. Lightning could strike!
Bireswar Das @bireswar
165 Followers 140 Following Interested in theoretical computer science, mathematics, sports, juggling,
Dhara Thakkar @_Dhara_Thakkar
310 Followers 297 Following Designated Assistant Professor at the Graduate School Of Mathematics, Nagoya University!
Sruthi Gorantla @sruthigorantla
195 Followers 181 Following PhD student in computer science at CSA, IISc. Google PhD Fellow.
Neelabjo S Choudhury @neelabjo91
50 Followers 1K Following A bit of coffee, couple of ounces of Computer Science and a lot of countless contradictions. Travel on the entree.
Sanjeev Sanyal @sanjeevsanyal
318K Followers 485 Following Writer, economist & collector of old maps. This twitter handle belongs primarily to the writer, and only occasionally to the economist. RTs are not endorsements
James Propp @JimPropp
4K Followers 65 Following I'm a professor at UMass Lowell. I write a monthly blog called Mathematical Enchantments (https://t.co/8oUk5ueVoN). Sometimes I’m facetious w/o using smileys.
Akhil S @akhils95
7 Followers 29 Following Doctoral Candidate in Theoretical Computer Science at IIT Kanpur
Arijit Shaw @masterarijit
108 Followers 655 Following Computer Science PhD Candidate at Chennai Mathematical Institute, advised by @ksmeel. Formal Methods / SMT / Model Counting.
Rishikesh Gajjala @publishiperishi
1K Followers 734 Following Pondering over (mathematical) infinities @iitdelhi ➡️ @iiscbangalore ➡️ @nyuniversity
Anupam Gupta @anupamg
2K Followers 202 Following Professor, Computer Science, New York University. Also at: @[email protected] @anupamg.bsky.social
Nalini Joshi @monsoon0
15K Followers 698 Following mathematician, wife, mother, Professor, addicted to math
Jeroen Zuiddam @jzuiddam
211 Followers 226 Following Mathematician and computer scientist. Assistant prof. at Univ. of Amsterdam @UvA_Amsterdam and researcher at @CWInl.
The Cultural Tutor @culturaltutor
1.7M Followers 69 Following I've written a book, and you can get it here:
Vishwa Prakash HV (�... @severus_tux
71 Followers 143 Following 🦋 Bluesky: @vishwaprakash.com CS PhD student at Chennai Mathematical Institute. TCS PhD Fellow.
Koustav Bhanja @viky_158
48 Followers 348 Following Ph.D., IIT Kanpur, A researcher in Theoretical Computer Science
Amitabh Kant @amitabhk87
619K Followers 1K Following Ex-Sherpa @G20org, India. Former CEO @NITIAayog. Author. Key driver @incredibleindia @startupindia @makeinIndia
Bibek Debroy @bibekdebroy
181K Followers 640 Following In memory of late Bibek Debroy. Account managed by his wife Suparna Banerjee.
Diptarka Chakraborty @diptarka1989
253 Followers 243 Following Assistant Professor, School of Computing, National University of Singapore
The Paperclip @Paperclip_In
83K Followers 115 Following A digital media house. Binding stories from India & beyond. History | Culture | Sports | Politics | Life
Hamim Zafar @Quasarzafar
552 Followers 250 Following Assistant Professor and Early Career Fellow, DBT/Wellcome Trust India Alliance, IIT Kanpur, India IYBA Awardee Former Lane Fellow, Carnegie Mellon University
Fulvio Gesmundo @ful_ges
107 Followers 199 Following Junior Professor at the Institut de Mathématiques de Toulouse
noam nisan @noamnisan
971 Followers 272 Following Professor of Computer Science at Hebrew University and Researcher in Starkware
IQTI & QuRP @IIScQuanTech
3K Followers 234 Following IISc Quantum Technology Initiative (IQTI) was established to lay a solid foundation in quantum technologies R & D by connecting academicians with the industry.
Noah Singer @singerng_
311 Followers 287 Following I do math about computers! || phd student @CSDatCMU: complexity, algorithms, crypto, combinatorics || @harvard '22 || he/him || #BlackLivesMatter
Mahesh Sreekumar Raja... @MaheshRajasree
32 Followers 63 Following Post-Doctoral Fellow at IIT Delhi (@iitdelhi) | PhD from CSE, IIT Kanpur (@cseatiitk) | Algorithms and Cryptography
U. K. Anandavardhanan @iitb_anand
2K Followers 1 Following Professor of Mathematics, Indian Institute of Technology Bombay @iitbombay
C3iHub, IIT Kanpur @HubC3i
579 Followers 56 Following Cyber security and Cyber security of Cyber physical systems (C3i) - A Technology Innovation Hub of IIT Kanpur.Trends for United States
You might like
