FSTTCS 2025 @fsttcs
The 45th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science at @BITSPilaniGoa. Tweets by @AalokDThakkar. fsttcs.org.in BITS Pilani Goa Joined November 2024-
Tweets52
-
Followers73
-
Following39
-
Likes58
Are you preparing for FSTTCS'25? Now it's the perfect time to make your submissions! Call for papers (due July 11 AOE): fsttcs.org.in/2025/#submissi… We're looking forward to another exciting year!!!
COMPUTE 2025 proceedings ACCEPTED for publication in Springer Nature's CCIS series! 📖⚡ Don't miss out! Submit your papers NOW 👇 isigcse.acm.org/compute/2025/ #COMPUTE2025 #SpringerNature #CCIS #AcademicPublishing #ComputingEducation #Research #IITRopar
To be fair, programmers also have big opinions about the future of things other than programming
To be fair, programmers also have big opinions about the future of things other than programming
I attended @fsttcs this year. Although I didn't understand most of the technical content, it was heartwarming to see the inclusive, warm and welcoming community that the conference has become. Kudos to the organizers (@neeldhara , @BarmanSiddharth and team) and the FST…
Additional bonus of attending @fsttcs @iitgn this year was meeting old friends and attending @_chandan_jha‘s excellent talk !
The co-located MM Workshop focussed on the Proof Theory, Algebraic Computation, and Lower Bounds. It was truly a celebration with excellent participation from all attendees!
Day 2 of the pre-conference workshop at #FSTTCS2024 is now underway. Tune in on Youtube if you can't make it in person: buff.ly/4fmjXLd
The MM workshop at #FSTTCS2024 is off to a great start with a full house! Subscribe to the FSTTCS 2024 Youtube channel to follow along if you are not @iitgn )
D-Day! Welcome to the first pre-conference workshop at #FSTTCS2024, starting a few hours from now :) Tune in on Youtube if you can't make it in person: buff.ly/4geRgkt
Teaser! Thanks to N.R. Aravind (IIT Hyderabad) for making this #FSTTCS-exclusive crossword 🤩 Coming soon to a registration desk near you 🎉
⌛ In-person registrations close in 48 hours! Might we remind you that it's only way to get a hold of our conference kit, designed by folks at the Center for Creative Learning, IIT Gandhinagar, and brought to you by CCL and Amuse Labs 🤩
Introducing prompts @fsttcs. We're going to throw in some conversation starters (tiny printables) into a bowl that'll be kept at the coffee table, to make the conference easier for introverts. If you don't know what to talk about, pick a prompt to begin! Suggestions? (1/2)
We are pleased to share that TCS Research is a Sponsor of the 44th IARCS Annual Conference on @fsttcs, to be held at @iitgn. This annual conference brings together thought leaders in algorithms, #cryptography, #programming languages, and more. Register here -…
Mark your calendars for the invited talk by Suguman Bansal! This will be virtual. Title: Logic-guided Reinforcement Learning Timing: Dec 18 (Wednesday), 9:00 AM Sign up for virtual participation from the conference website and we'll keep you posted about our livestreams!
Mark your calendars for the invited talk by Uriel Feige! Title: Fair Allocations with Little Communication Timing: Dec 18 (Wednesday), 9:00 AM Can't make it in person? Sign up for virtual participation from the conference website!
Application are now open for the Predoc 2025 program at Google DeepMind India. If you are pre-PhD (i.e., current undergrad or masters students or recent geaduates) and interested in research, then this should be a no-brainier. Please apply by Dec 18, 2024 google.com/about/careers/…
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Rajdeep Baruri @BaruriRajdeep
4 Followers 102 Following
Rishikesh Gajjala @publishiperishi
1K Followers 734 Following Pondering over (mathematical) infinities @iitdelhi ➡️ @iiscbangalore ➡️ @nyuniversity
C Aiswarya @AiswaryaCMI
0 Followers 1 Following
Pragya Arora @Pragya291100
1 Followers 87 Following
Prateek P Kulkarni @PrateekPKulkar2
1 Followers 50 Following VLSI Design and Automation, Semicon Market Research Analysis | PES University and CSA, IISc.
Somesh Misra / ERP.ai @MathproBro
777 Followers 216 Following chief researcher at https://t.co/85QLNI0SE9 | working at the intersection of business processes, neural network topologies & machine learning
Vaibhav Kurhe @vaibspidy
190 Followers 1K Following Senior Member of Technical Staff at Oracle (Database Transactions) | MTech CSE from IIT Delhi | Interested in Systems Research
shyam kumar @shyambhagat92
67 Followers 472 Following Complex Dynamics Lab, SCIS. Ph.D. JNU, New Delhi. https://t.co/82MYBHpbD9. Physics, IIT Gandhinagar.
edeegoo @douebs
229 Followers 6K Following algorithm, complexity, tcs, mma, history, politics. bust brainless CEOs/VCs/prof.s. NYU alumni.
anagha @anaghadoesmath
296 Followers 1K Following Math, Movies and Music | Interested in all things complexity theory!
Ioannis Caragiannis @ICaragiannis
242 Followers 295 Following Professor of Computer Science at Aarhus University. Researcher in algorithm design, foundations of AI/ML, algorithmic game theory, computational social choice.
Satyajeet Nagargoje @satyajeetn2012
25 Followers 101 Following PhD student at Georgetown University working in TCS.
Cipher Ghost @0xVoidCypher
331 Followers 1K Following Developer | Full Stack Developer @timechainlabs | Exploring Cryptography | Math & Algo Enthusiast |
Sukhadiya Raviraj @sukhadiaraviraj
153 Followers 321 Following Computer Science & Engineering Lab at IIT Gandhinagar | System Administration | Website Development | System Design
Sujay Kadam, Ph.D @AcademicSujay
576 Followers 3K Following PI @selc_daiict, Asst. Prof @dauofficial_, PDF+PhD @iitgn, Formerly: @nitsikkim1; Member @CSSIEEE @ieeecis @ieeeras
CS Theory Fan @CSTheoryFan
79 Followers 1K Following
Anup Kalbalia @anupkal
570 Followers 1K Following Mango lover. Once upon a time Cricket Enthusiast. Arvind believer. RT’s are endorsements.
Anand Lakshmanan @lan24hd
3K Followers 8K Following Founder and CEO @ https://t.co/Tcr2KbLjk2 ; Ex-Apple; PhD; Nut ; R Programmer
Apeksha Srivastava @apeksha_sri
15 Followers 23 Following Writer | PhD student, IITGN | Visiting Researcher, University of Colorado (Apr-Jul 2024) | Comms (2019-20), IITGN | MTech (BioE)-Institute Gold Medalist, IITGN.
Prashanth Amireddy @prashanth_a19
45 Followers 116 Following PhD student in the Theory of Computation group at Harvard
4Soft Technologies @4softnellore
42 Followers 773 Following
Nilesh Trivedi @nileshtrivedi
11K Followers 7K Following Building AIs at https://t.co/duOuULnu9d I love machines, math & music. @lossfunk @meta @foresightinst @clearFromCT @iiml @iitkgp ❤️ https://t.co/kJujVRw8jZ
Dhara Thakkar @_Dhara_Thakkar
310 Followers 297 Following Designated Assistant Professor at the Graduate School Of Mathematics, Nagoya University!
ashish mishra @aegisAshish
143 Followers 386 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
anshuman @anshuman0819
81 Followers 3K Following
Nitika Baghel @wiredweird_
6 Followers 264 Following
Archit @ArchitCh1
1 Followers 25 Following
Keshav Ranjan @Keshu284
11 Followers 41 Following
Random Proof @randomproof8
63 Followers 2K Following Notes on Maths, Theory CS & Economics etc. - 📚⚔️🎲
Shivesh Roy @shiveshroy
179 Followers 553 Following Theoretical CS Researcher @IMScChennai @TUeindhoven
JD @karate_wallah
0 Followers 251 Following
Krithika @Krithik72003585
1 Followers 7 Following
Kailash Gopal D cs22b... @iJadeLion
1 Followers 12 Following
Srikumar Subramanian @srikumarks
476 Followers 460 Following math, music (https://t.co/cdVyRPFhLA), human and computer languages, small data and natural intelligence. Now @sriku.org on Bluesky and not on Twitter.
Shanmuganathan Raman @shanmugaphoto
836 Followers 745 Following Professor. Head - CSE. Researcher. @IITGN. Indian. Interested in: AI. Computer Vision. Tennis. Cricket. Technology. Music. Tweets and RTs - strictly personal.
Anamay Tengse @anamay_tengse
168 Followers 111 Following Maths, music, cricket, languages, poetry, ... Work in CS theory.
Bireswar Das @bireswar
165 Followers 140 Following Interested in theoretical computer science, mathematics, sports, juggling,
Jaffrey @jaffreyjoy
226 Followers 5K Following Compiler Engineer @edgecortix. @iiit_hyderabad '24. Interested in Databases, Compilers and mostly anything involving systems. Stay Curious!
roseline j. a. @rxlnja
107 Followers 446 Following theoretical cs kid currently @ matscience, chennai 🦋@rxlnj.bsky.social
Aritra @aritrabanik
224 Followers 419 Following FacultyCS@NISER | Algorithm Researcher | Atheist | Loner | Gourmet | Stardust
Amatya Sharma @Amatya_Sharma07
74 Followers 177 Following Ah-math-yeah Theory CS enthusiast + Coffee Aficionado straight from the Himalayas... PhD CSE UMich | CS IIT Kgp'22
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Peter O'Hearn @PeterOHearn12
1K Followers 117 Following Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Isil Dillig @IsilDillig
4K Followers 839 Following CS Professor at UT Austin + President of @VeridiseInc.
BITS Pilani @bitspilaniindia
22K Followers 20 Following
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
BITS Pilani, Goa @BITSPilaniGoa
5K Followers 13 Following
Random Proof @randomproof8
63 Followers 2K Following Notes on Maths, Theory CS & Economics etc. - 📚⚔️🎲
Shivesh Roy @shiveshroy
179 Followers 553 Following Theoretical CS Researcher @IMScChennai @TUeindhoven
Krithika @Krithik72003585
1 Followers 7 Following
Srikumar Subramanian @srikumarks
476 Followers 460 Following math, music (https://t.co/cdVyRPFhLA), human and computer languages, small data and natural intelligence. Now @sriku.org on Bluesky and not on Twitter.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Nikolaj Bjorner @BjornerNikolaj
1K Followers 317 Following
Armin Biere @ArminBiere
946 Followers 217 Following
Rajeev Alur @RajeevAlur
2K Followers 232 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Roopsha Samanta @roopshasamanta
5K Followers 534 Following Ex-academic. Untenured, unapologetic, undaunted.
Koustav Das @koustav_cse
19 Followers 212 Following PhD Scholar @iitgn IIT Gandhinagar. Research in algorithms, data structures and graph algorithms. Passionate about Theoretical CS.
Kuldeep S. Meel @ksmeel
2K Followers 319 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
Pranjal Dutta (প্... @WeirdlyPranjal
448 Followers 422 Following CS Faculty @NTUsg |Past: Postdoc @NUSComputing, Google PhD Fellow (2018-22) at CMI & @cseatiitk | Research: Theoretical CS | Amateur poet & proud Bengali
Suguman Bansal @sugumanbansal
837 Followers 277 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci
Somesh Jha @jhasomesh
4K Followers 862 Following Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
Priyanka Golia @GoliaPriyanka
461 Followers 158 Following Assistant Professor @cseiitd | Ph.D. from @NUSComputing and @cseiitk | Formal Methods and Automated Reasoning.
ICALP 2023 @ICALPconf
297 Followers 143 Following The 50th International Colloquium on Automata, Languages & Programming July 10-14, 2023 #ICALP2023 Org by @unipb & @eatcs_secretary
Communications of the... @CACMmag
9K Followers 1K Following Communications of the ACM, flagship of the Association for Computing Machinery, is a leading publication for the computer science and IT fields.
ACM India @Indiaacm
2K Followers 144 Following This is the official Twitter page of #ACM India. Follow https://t.co/oVgHHezZj4 https://t.co/OVf04KOQbt https://t.co/CYZC71pv0X
Gautham R Shenoy @gautshen
493 Followers 228 Following Gauḍa Sāraswata Brāhmaṇa, who writes Linux Kernel code for a living. All opinions in this account are my own. Don't reflect opinions of my employer.
Siddharth Barman @BarmanSiddharth
513 Followers 182 Following
Diptarka Chakraborty @diptarka1989
251 Followers 243 Following Assistant Professor, School of Computing, National University of Singapore
Nutan Limaye @nutanlimaye
3K Followers 307 Following Also at @nutanlimaye.bsky.social and @[email protected]
IISc Bangalore @iiscbangalore
199K Followers 75 Following The official Twitter account of the Indian Institute of Science (IISc)
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
IIT Gandhinagar @iitgn
52K Followers 165 Following The official Twitter account of Indian Institute of Technology Gandhinagar
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Manu Awasthi @mnwsth
13K Followers 1K Following Computer Systems Engineering, Higher Education, Public Policy, Academic Bollywood Memes. Documentation Evangelist. Tweeting in personal capacity.
Neeldhara 🐦|🐘 @neeldhara
6K Followers 4K Following Department of Computer Science and Engineering, IIT Gandhinagar.
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.
Trends for United States
You might like
