Arpit Sharma @Arpit_Sharma_CS
Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining sites.google.com/iiserb.ac.in/a… Bhopal, India Joined December 2019-
Tweets387
-
Followers110
-
Following147
-
Likes1K
Please contact me at [email protected] with your CV in case you are interested in this postdoctoral fellowship program (NPDF). My research interests: model checking, software verification, process mining, NLP for software requirements, concurrency anrfonline.in/ANRF/npdf?Home…
0
0
0
107
0
Download Image
Happy to share that our DATAMOD paper (with @das_susmoy) is now available online on the Springer Nature website #probabilistic #modelchecking #verification #temporal #interaction #dynamics #SupremeCourt #logic #rewards link.springer.com/chapter/10.100…
Embeddings Between State and Action Based Probabilistic Logics | Formal Aspects of Computing #probabilistic #Markovchains #verification #modelchecking #logic #processalgebra #bisimulation dl.acm.org/doi/10.1145/36…
Arpit Sharma retweeted
🗓️ RE'25 Research track submissions are due in 4 weeks 🗓️ 🔔 Deadline March 10, 2025 AoE 🔔 Hope you have been polishing your RE’25 research track papers. Its now less than a month left to the submission deadline. #RE25 Submit ⬇️ conf.researchr.org/track/RE-2025/…
Do you remember when you joined X? I do! #MyXAnniversary
Arpit Sharma retweeted
We are pleased to announce that the deadlines for the call for abstracts and for the call for papers have been extended! 😃 - Call for abstracts new deadline: 18 November 2024 (less than one week! 🔔) - Call for papers new deadline: 25 November 2024 Do not forget to submit!
Arpit Sharma retweeted
Gwen Salaun and I are co-chairing *FormaliSE 2025*! Consider contributing your work! Abstract deadline: November 11, Paper deadline: November 18. mailchi.mp/6dcb7cfdefb9/a…
Arpit Sharma retweeted
We are pleased to announce that the call for papers for Formali'SE 2025, Ottawa, Canada has been published! It is available on the dedicated website: 2025.formalise.org
Arpit Sharma retweeted
Call for Papers: FormaliSE 2025 - mailchi.mp/6dcb7cfdefb9/a…
Our Formal Aspects of Computing journal paper is now available online (with @das_susmoy) #probabilistic #verification #modelchecking #model #Markovchain #logic #rewards #embeddings dl.acm.org/doi/10.1145/36…
Arpit Sharma retweeted
Why AI needs symbolic and logical reasoning. cacm.acm.org/blogcacm/no-ge…
Happy to share that our paper(with @das_susmoy) titled "Embeddings Between State and Action Based Probabilistic Logics" has been accepted in the journal of Formal Aspects of Computing: Applicable Formal Methods ACM #verification #modelchecking #embedding #logic #Probabilistic
Happy to share that our @quatic_conf2024 paper titled "Classification of Crowd-Based Software Requirements via Unsupervised Learning" is now available online on Springer CCIS link.springer.com/chapter/10.100… #crowd #requirements #unsupervised #MachineLearning #classification #clustering
Arpit Sharma retweeted
The last session of today on Advancing Requirements Engineering is just starting with Arpit Sherma talking about Classification of Crowd-Based Software Requirements via Unsupervised Learning #QUATIC2024
Arpit Sharma retweeted
🚀 #QUATIC24 finally starting!
Arpit Sharma retweeted
Arpit Sharma retweeted
📢📢📢The #QUATIC2024 program is now available! Explore the full schedule of events and sessions at 2024.quatic.org/program/scient…. We can't wait to see you there! 📅🔍 #QUATIC2024 #ScientificProgram
Political Dissident * @BasedKashyap_07
730 Followers 260 Following Neither Secular, Nor Socialist, Civilizational Nationalist, Deputy Director ISSF (OSINT & Security/Intelligence studies), Brāhmana.
Ashu Goyal @ashu_goyal
14 Followers 75 Following A collection of a maximum of 500 Pervy Punks minted on Polygon ( $MATIC)
MOVE @hazelellie538
63 Followers 1K Following Founder @Movementfdn. Building the future of modular blockchains. Verification Code: 6MASE2
Dara @dara_tourt
13 Followers 8K Following
Teenarse @Teenarset7FWoQ
33 Followers 3K Following
Grurphue @GrurphueMBC1
54 Followers 2K Following
Priyanka Chhabria @Priyanka_C_07
0 Followers 9 Following
Laura Titolo @laura_titolo
166 Followers 202 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
weisongsun @weisongsun
48 Followers 636 Following Research Fellow at Nanyang Technological University; Trustworthy Intelligent Software Engineering, AI Security.
YUPING JIANG @yuping_jia66226
0 Followers 14 Following
Ash @AshFunction
1K Followers 7K Following AI/ML + geospatial @planet | e/ia | -e^iπ | space | optimism | jhana-explorer | qualia surfer | latent space photographer | ex @captricity AI @cal spectroscopy
Megha @Megha2522766689
8 Followers 43 Following Lecturer computer science Qualified UGC NET | MPSET | Blogger| Passionate Teacher 👩🏻🏫
Vibe Scholar🇨🇦�... @vibe_professor
327 Followers 1K Following Noob Prof @ Mila; CRC Tier 2. RE pumper🌛. Slim and beautiful; max troll. advocate for 7% population growth rate.
Quasar @QuasarRAT
6 Followers 41 Following
ShastaSniezek @ShastaSnie37196
45 Followers 2K Following
Saif Ur Rehman Khan @rsaifurkhan
107 Followers 419 Following Assoc. Prof. in SW Eng and director of SREG. Main research interests: SW Quality & Maintenance, V & V, and Empirical SE. Tweets about Academia and Life.
mo2re @mo2re_ws
50 Followers 135 Following 2nd International Workshop on Multi-disciplinary, Open, and IntegRatEd Requirements Engineering, co-located with ICSE 2025.
DARS Symposium @DARSSymposium
76 Followers 37 Following The International Symposium on Distributed Autonomous Robotic Systems (DARS2024) is taking place on Oct 28-30th, 2024 in Cornell Tech, New York City, USA.
Sallam Abualhaija @Belle0Paix
150 Followers 260 Following
Ridhi Jain @iamridhijain
11 Followers 52 Following Security Researcher @ TII, Abu Dhabi | PhD candidate @ IIIT-Delhi
Alireza Farhadi @AlirezaTCS
53 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
MedicalAGI @medicalagi
46 Followers 264 Following Building machine learning models, medical datasets, and prototypes
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
Jason A Cox @jasonacox
3K Followers 3K Following My Views/Opinions - Maker, Learner, Engineer, Writer - Co-Author of Investments Unlimited
Lizeth Tapia @sltarifa
35 Followers 43 Following
Mohammad Hossein Khos... @Mh_khoshechin
264 Followers 910 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Fatma Başak Aydemir @aydemirfb
677 Followers 583 Following Assistant Professor @UniUtrecht | previously @Bogazici_CmpE Türkçe tweetler: @LaRagazzaTurca_
Vishal Kushwaha @Vishal545154
7 Followers 117 Following
Anirban Saha @sahaanirban
3K Followers 1K Following Associate Principal (Responsible AI) Accenture 🇮🇳 M Sc Data Science, Universität Magdeburg 🇩🇪 Alumnus, IVLP 🇺🇸 PS: Curious about birds & dogs!
Gwen Salaün @gwensalaun
423 Followers 376 Following Professor of Computer Science, @UGrenobleAlpes, France
Sidharth Ranjan @sidharth_ranjan
226 Followers 350 Following Assistant Professor @iitjodhpur | Bridging Human Cognition and Artificial Intelligence through Science of Language
ambarish_moharil @ambarishhh
78 Followers 475 Following PhD XAI - Tilburg University-TU Eindhoven-Jhernonimus Academy of Data Science, The Netherlands | Visca El Barça !
Dimitrios Kousisis @DKousisis
83 Followers 991 Following English Language Graduate from @sunderlanduni, looking to publish my first article, regarding language, education and dialect. Ask me about it.
Claudio @menghi_claudio
220 Followers 271 Following
Formal Methods Europe @FormalMtds
758 Followers 241 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Nelly Condori-Fernand... @Nellycf7
350 Followers 449 Following Assistant professor (tenure track) at University of Santiago de Compostela
S. Koshani @SerjithKP
133 Followers 1K Following Technology Enthusiast (IOT, Robotics, BPM, EAI, Architecture), values Human Rights, supporter of a Hate free and unbiased World... Simple yet complicated Human.
Rafael Accorsi @AccorsiRafael
282 Followers 970 Following Digital economy, digital transformation, mountains, snow, skiing
Arvind W Kiwelekar @akiwelekar
87 Followers 458 Following
Stanford NLP Group @stanfordnlp
171K Followers 295 Following Computational Linguists—Natural Language—Machine Learning @chrmanning @jurafsky @percyliang @ChrisGPotts @tatsu_hashimoto @MonicaSLam @Diyi_Yang @StanfordAILab
Stefanie Rinderle-Ma @SRinderleMa
786 Followers 245 Following
RE 2025 @ieee_re
1K Followers 146 Following The 33rd IEEE International Requirements Engineering Conference, 1-5 September 2025 - Valencia, Spain - #RE25
CACM Editor @blogCACM
3K Followers 559 Following ACM's BLOG@CACM features blogs by some of the leading computer scientists in the world.
Laura Titolo @laura_titolo
166 Followers 202 Following Research Scientist At NIA/NASA Langley👩🏻💻 ~ Mum of 2 👨👩👧👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
quatic_conf2024 @quatic_conf2024
17 Followers 7 Following 17th International Conference on the Quality of Information and Communications Technology (QUATIC 2024) | Official hashtag: #quatic2024
Grischa Liebel (he/hi... @GrischaLi
422 Followers 185 Following Assistant Prof at Reykjavik Uni, Iceland. General chair @ieee_re. @emsejournal editorial board member. Personal opinions about SE research Support 🇺🇦
Domenico Bianculli @bianculld
677 Followers 447 Following Associate Professor/Chief Scientist 2 in Software Engineering at SnT, University of Luxembourg.
José Proença @simpple
129 Followers 102 Following Senior Researcher @ CISTER. Formal methods. Concurrency & Coordination. Software engineering.
FormaliSE @FormaliSEconf
392 Followers 95 Following FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
mo2re @mo2re_ws
50 Followers 135 Following 2nd International Workshop on Multi-disciplinary, Open, and IntegRatEd Requirements Engineering, co-located with ICSE 2025.
DataMod - From Data t... @Data2ModelsBack
51 Followers 44 Following 11th International Symposium #FromDataToModelsAndBack | combined applications of #ComputationalModelling & #DataDrivenTechniques | workshop @sefm2023
Ridhi Jain @iamridhijain
11 Followers 52 Following Security Researcher @ TII, Abu Dhabi | PhD candidate @ IIIT-Delhi
TU Eindhoven @TUeindhoven
34K Followers 387 Following At Eindhoven University of Technology (TU/e) we educate students and advance knowledge in science & technology for the benefit of humanity. Follow along here 👇
RWTH Aachen @RWTH
25K Followers 417 Following Dieser Kanal ist inaktiv. Aktuelle Infos findet ihr unter https://t.co/on3z4kEjcv Impressum: https://t.co/qXQlNNnfYp
Bertrand Meyer @Bertrand_Meyer
4K Followers 218 Following Software engineer (theory and practice). Author, consultant, professor, project manager.
Lizeth Tapia @sltarifa
35 Followers 43 Following
Anirban Saha @sahaanirban
3K Followers 1K Following Associate Principal (Responsible AI) Accenture 🇮🇳 M Sc Data Science, Universität Magdeburg 🇩🇪 Alumnus, IVLP 🇺🇸 PS: Curious about birds & dogs!
CS Faculty Jobs @csfacultyjobs
5K Followers 1 Following Faculty jobs in Computer Science worldwide. Mostly automated. Mention/DM openings & we'll retweet. Created by @emilianoucl, now run by @shaddih
Neeldhara 🐦|🐘 @neeldhara
6K Followers 4K Following Department of Computer Science and Engineering, IIT Gandhinagar.
Gwen Salaün @gwensalaun
423 Followers 376 Following Professor of Computer Science, @UGrenobleAlpes, France
Angelo Gargantini @angelogargantin
279 Followers 211 Following Professor of Informatics @UniBergamo. Working on formal methods and software testing, technologies for visual diseases https://t.co/ZLBn2bpIsL
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
Caterina Urban @caterinaurban
400 Followers 280 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Sidharth Ranjan @sidharth_ranjan
226 Followers 350 Following Assistant Professor @iitjodhpur | Bridging Human Cognition and Artificial Intelligence through Science of Language
ambarish_moharil @ambarishhh
78 Followers 475 Following PhD XAI - Tilburg University-TU Eindhoven-Jhernonimus Academy of Data Science, The Netherlands | Visca El Barça !
Sallam Abualhaija @Belle0Paix
150 Followers 260 Following
Claudio @menghi_claudio
220 Followers 271 Following
Nelly Condori-Fernand... @Nellycf7
350 Followers 449 Following Assistant professor (tenure track) at University of Santiago de Compostela
Gunel Jahangirova @guneli_j
389 Followers 313 Following Lecturer (Assistant Professor) at King's College London @kclinformatics | Former PostDoc at @USI_INF | PhD in Software Systems Engineering @FBKcom @uclcs
Viet Yen Nguyen @nguyenvietyen
83 Followers 141 Following CTO at Hypefactors. Making sense by crunching the global media landscape.
Shaukat Ali @shukat_ali
2K Followers 2K Following Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory.
Bernd Finkbeiner @FinkbeinerBernd
564 Followers 380 Following Computer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.
RE journal @ReqEngJ
545 Followers 158 Following Official account of the Requirements Engineering journal. Tweeting about requirements and software engineering. Social profile managed by @FabianoDalpiaz
Michael Wooldridge @wooldridgemike
10K Followers 310 Following Ashall Professor of the Foundations of Artificial Intelligence at Oxford University. Fellow of @HertfordCollege. Tweets mainly about AI & Oxford.
Alastair Donaldson @afd_icl
3K Followers 430 Following Professor of Programming Languages at Imperial College London
SBFT 2025 @sbftworkshop
572 Followers 639 Following The 18th Search-Based and Fuzz Testing Workshop is co-located with @ICSEconf 2025. @sbftworkshop
Oscar Chaparro @ojcchar
696 Followers 1K Following Associate Professor at @WMCompSci (William & Mary), teaching and conducting research in Software Engineering.
Maliheh (Mali) Izadi @MalihehIzadi
691 Followers 696 Following Assistant Prof @TUDelft, Research at the intersection of #ML, #SE. Currently addressing #LLMs4Code challenges. Director of @AISE_tudelft research lab
FACS 2024 @facs_conf
186 Followers 535 Following 20th edition of the International Conference on Formal Aspects of Component Software
Nicole Novielli @NicoleNovielli
1K Followers 653 Following Associate Professor at the University of Bari, Italy
Luca Aceto @aceto_luca
182 Followers 310 Following
Jorge A. Pérez @PerezJorgeA_
312 Followers 498 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
Sebastiano Panichella @spanichella
2K Followers 2K Following Computer Science Researcher | Teacher | Philanthropist | Free-time Actor | Tennis Lover | Storyteller. Projects: https://t.co/0Qxfm1ZC8s
recares @re_cares
104 Followers 144 Following RE Cares about giving back to society: Employing RE techniques and hackathon. RE Cares 2025 is in Valencia, Spain, co-located with RE 2025, September 1 - 5
Hajo Reijers🎗️ @profBPM
3K Followers 1K Following Professor of Business Process Management & Analytics @UProcessScience & Business Process Technologies @PAGroupTUe | Art | Ancient Roman History | SquashTrends for United States
23,2 B posts
76 B posts
54,3 B posts
6.463 posts
89 B posts
8.515 posts
48,6 B posts
15,9 B posts
103 B posts
1.533 posts
30,3 B posts
16,4 B posts
18,6 B posts
10,8 B posts
6.828 posts
58 B posts
3.227 posts
4.421 posts
You might like
Sallam Abualhaija
@Belle0Paix
150 Followers
alessioferrari
@alessferra
552 Followers
Claudio
@menghi_claudio
220 Followers
recares
@re_cares
104 Followers
Mishra S
@sibacse
80 Followers
AIRE
@AIRE_WS
250 Followers
Saurabh Tiwari
@saurabhtiwari_7
264 Followers
Klaus Schmid
@1KlausSchmid
643 Followers
Julian Frattini
@frattinij1
65 Followers