Microsoft PROSE Team @ProseMsft
Official account for the ⚡ PROSE research/engineering team at @Microsoft. PROSE ships in Excel (Flash Fill), Visual Studio (IntelliCode), and more. 🚀 aka.ms/prose Redmond, WA, USA Joined August 2020-
Tweets64
-
Followers719
-
Following19
-
Likes38
@ProseMsft @5hv5hvnk @AnanyaSingha18 @SumitGulwani @gustavoas @arjun_rad I am attending EMNLP🌴in-person at Miami, to present MetaReflection. Please drop by at the Riverfront Hall at the 11AM Poster session on Nov 13th (today!) to know more about it or chat about Language agents and Neuro-symbolic AI at large!
Checkout our team's latest research at @emnlpmeeting #EMNLP2024. If you are interested in what we do, we have various opportunities at different career stages. Find more at: microsoft.com/en-us/research…
Checkout our team's latest research at @emnlpmeeting #EMNLP2024. If you are interested in what we do, we have various opportunities at different career stages. Find more at: microsoft.com/en-us/research…
Flying to Miami tomorrow for #EMNLP2024! Excited to present two papers: 1. RAR: Retrieval Augmented Retrieval for Code Generation. 2. One-to-many Testing for Code Generation from (just) Natural Language. Let's chat if you are interested in AI for Code or Neuro-symbolic AI!🌴✈️
Excited to see Metareflection - our EMNLP'24 paper on improving language agents, featured in Research Focus!
Excited to see Metareflection - our EMNLP'24 paper on improving language agents, featured in Research Focus!
⚡️The PROSE team is hiring a Senior Researcher in Bangalore, India⚡ This is an amazing opportunity to do research that will impact millions of people using Excel, Visual Studio, Power Query, and more! jobs.careers.microsoft.com/global/en/job/…
It was an emotional, learning, and fun experience to put together and deliver this keynote at CAV: youtube.com/watch?v=PeeFc9… Thanks to Aarti Gupta for the souvenir pictures that capture the title and concluding remarks, without revealing the plot. Watch the talk to see who wins😊
Inspiring talk by @SumitGulwani at CAV 2023 on what program synthesis can do the era of ever powerful LLMs, particularly for education
Data scientists spend 60-80% of their time in data pre-processing. Excited to present CoWrangler, a tool that suggests data cleaning steps for your data with human-readable code! Check out our demo at @SIGMODConf🎉 Paper: doi.org/10.1145/355504… Poster: afariha.github.io/posters_and_sl…
We kick off day two of #SEMLA2023 with an interesting presentation on "Leveraging LLMs as Analogical Reasoning Engines to enhance Programming-by-Example (PBE) experiences" by @SumitGulwani from @MSFTResearch !
We kick off day two of #SEMLA2023 with an interesting presentation on "Leveraging LLMs as Analogical Reasoning Engines to enhance Programming-by-Example (PBE) experiences" by @SumitGulwani from @MSFTResearch ! https://t.co/zhzkDTpm5y
A product I worked on is released! Please try Data Wrangler for @code and let us know what you think. AI powered by @ProseMsft. austinhenley.com/blog/datawrang…
You can now use Flash Fill ⚡ in VS Code with Data Wrangler... let us know your thoughts!
You can now use Flash Fill ⚡ in VS Code with Data Wrangler... let us know your thoughts!
I will be presenting our research on pain points of computer science instructors. It will be today at 2:35, in room 714 @SIGCSE TS 2023 @SIGCSE_TS
There are many opportunities for AI to better support teachers and students. We aim for our research to radically improve these challenges that instructors are facing!
There are many opportunities for AI to better support teachers and students. We aim for our research to radically improve these challenges that instructors are facing!
Our team's work on Excel Formula Suggestions and Formula by Examples has been featured on the @verge! (I was not personally involved) Talk about research with large-scale impact! @ProseMsft @Microsoft @SumitGulwani theverge.com/2022/12/27/235…
Congratulations to our research fellow @BhavyaChopra1 for graduating with honors! 🎉
Congratulations to our research fellow @BhavyaChopra1 for graduating with honors! 🎉
The PROSE team is so proud of @SumitGulwani for kicking off @FSEconf 2022 with a riveting keynote on AI-Assisted Programming!
The PROSE team is so proud of @SumitGulwani for kicking off @FSEconf 2022 with a riveting keynote on AI-Assisted Programming!
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
🇺🇦 Alex Polozov @Skiminok
4K Followers 797 Following Sr. Staff Research Scientist @GoogleDeepMind • previously @Theteamatx, @MSFTResearch, @uwcse • program synthesis, GenAI for Code & SWE • he/him
Austin Henley @AustinZHenley
5K Followers 2K Following Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
Harshit Joshi @harshitj__
2K Followers 372 Following CS phd @StanfordNLP, @StanfordOVAL | prev: @MSFTResearch | LLM systems for knowledge access, discovery and curation
Parth Thakkar @parth007_96
2K Followers 2K Following @Meta | Previously @IllinoisCS @MSFTResearch @IBMResearch | LLMs + code
Bhavya Chopra @BhavyaChopra1
846 Followers 872 Following CS PhD Student @UCBerkeley • previously at @Microsoft @ProseMSFT @Tableau @IIITDelhi • HCI+Data research
Rajaswa Patil @RajaswaPatil
2K Followers 3K Following AI @maximor_ai || Prev: @getpostman @Microsoft || Alumni @bitspilaniindia || Opinions are my own
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Stefania Druga @Stefania_druga
12K Followers 8K Following Visiting Researcher @SakanaAILabs, Former Research Scientist @GoogleDeepMind AI & Multimodal LLM applications/ PhD @UW / alumni @mit @msft @Theteamatx
Andy Gordon @AndrewDGordon
2K Followers 996 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Elena Glassman @roboticwrestler
6K Followers 7K Following Human. Asst Professor of CS at Harvard University @HSEAS. @RadInstitute Fellow '21-22. MIT EECS PhD'16. https://t.co/jjKOMBMWGb @elglassman.bsky.social
Saksham @sgdescent
1K Followers 2K Following Interested in making LLMs go brrrrr x+1: MS @LTIatCMU x: LLM @Zomato x-N: https://t.co/ht5ObQh7RV & Program Synthesis with LLMs @ProseMsft
Torsten Scholak @tscholak
2K Followers 3K Following Lead Research Scientist, Foundation Models Lab @ServiceNowRSRCH. Opinions are not that of my employer.
Param Biyani @biyaniparam
0 Followers 1 Following
Tejas Agrawal @TejasAgrawal55
7 Followers 73 Following
Eemuwoom @Eemuwoom20730
12 Followers 537 Following
🐨 صدرا @CruiseChef_
150 Followers 3K Following
Ayush Anand @AnandAyush11
9 Followers 119 Following Researching neural foundations for language intelligence
Lisandro Vazquez @lis4ndrov
0 Followers 2 Following
Soumyadeep Dutta @ashtamspark
0 Followers 16 Following
Kyle Tristan Adams @adams_msft
121 Followers 1K Following Microsoft @VisualStudio, @code, @Azure, @dotnet, Power Platform, Teams, @Windows app development, GitHub | 📩 [email protected]
Ricardo Lopez @llrrllvv
268 Followers 5K Following Mathematician - Sets & logic | PhD student at @IIMAS_UNAM researching program synthesis through formal proofs | Teacher at @FIUNAM_MX and @fciencias
Haoyu Dong @HaoyuDong9
157 Followers 272 Following I am a senior researcher at Microsoft. #SpreadsheetLLM
SilverberryYoda @SilverberryYoda
0 Followers 7K Following
Arjun Kandaswamy @ArjunKandaswam1
0 Followers 62 Following
/ @2Uj6c
0 Followers 7K Following
Akshat Sharma @AkshatW6189
109 Followers 440 Following Technology Advocate @Deskree_backend | GSOC '25 Mentor, C4GT & MSOC Mentor | GSoC '24 Contributor @ The Mifos Initiative | Research Intern @ UC Berkeley
sillah @sillah63252478
117 Followers 1K Following
Rush @genz_rush
4 Followers 207 Following
Anzony @AnzonyQuispe
334 Followers 4K Following Causal Inference, Econometrics, Environmental Economics, Machine learning and Worship!
Monstar @Monstar831805
42 Followers 4K Following
Surjyendu Ray @surjray
57 Followers 580 Following Data Scientist Lead @LexisNexis Risk, AI enthusiast, astronomy/cosmology nerd, Genomics and computational Biology in a past life! Building towards AGI and ASI!
Tushar Chandra :)) @me_tushari
2K Followers 2K Following 22 • ai eng/researcher • 🎓 alum @IIITDelhi • 🏆 7x Hackathon Winner
Terry Kim @terryhappens
16 Followers 870 Following
Ravisankar - Knowthys... @RKnowthyself
38 Followers 777 Following
Semper Fi @SolLucetSemper
378 Followers 4K Following „for wee must Consider that wee shall be as a City upon a Hill, the eies of all people are uppon us“
Oleksiy Syvokon 🇺�... @OSyvokon
41 Followers 98 Following ML/NLP researcher at Microsoft. Father of two. Pianist.
Prof. Dr. ABIDI B.Com... @ABIDI19425719
113 Followers 5K Following International University Liaison Indonesia Microsoft University University of Edinburgh Online Learning Department of Computer Science University of Toronto
Hello World @HelloWo42823173
0 Followers 9 Following
Pranav Deshmukh @violetflyweight
22 Followers 1K Following Undergrad at IIT Guwahati || Major in ECE with minors in AI
Shashwat Bajpai @shashwatb1729
26 Followers 116 Following Senior undergrad @bitspilaniindia '26 | ECE + Econ
Shashwat Gupta @ShashwatGupta23
38 Followers 942 Following AI Guy; loving my time at Microsoft Research.
Ernest Ng @ngernest2
507 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
Shirley @ShirleyShabnam
130 Followers 758 Following Design Researcher @ICatGT | Exploring Digital Safety through sociotechnical lenses: trauma-informed care, disability justice, crip futures
🇵🇸Ahmed Oumar |... @ahmedmohamedlem
321 Followers 6K Following | ex QCRI | ex Walmart | Palestinians lives matter 🇵🇸 Tweets are mine!
Ayyuce Demirbas 🍀 @demirbasayyuce
650 Followers 2K Following Machine Learning Engineer & Published Researcher, BSc in Computer Engineering | PhD Student (soon), GSoC @TensorFlow, Google Dev Expert in ML
Bhupender Kaushal @ibkaushal
70 Followers 1K Following PhD’ing @nitcofficial Computer Vision, Medical Imaging, Self-Supervised Learning
Omar Shaikh-Omar @omar_jso
86 Followers 418 Following
Danial Namazifard @IamDanialNamazi
676 Followers 6K Following Graduate Researcher at University of Tehran #NLProc #MachineLearning
Dat Le @Mahesvara7061
92 Followers 4K Following Junior CS student at HCMUS starting a journey into AI, computer vision, and mathematics 🤖📸 | New but driven by curiosity, passion, and a love for discovery!
Jitendra Kumar Sharma @jkumarsharma998
1K Followers 8K Following AI/ML Researcher. Curious about Astrophysics,Quantum computing ,theoretical physics and particle physics. Views are personal.
Allan Lewis @AllanALewis
101 Followers 3K Following
Vickar Khan @Vickar_Khan
9 Followers 126 Following Data Analyst by profession, food lover, MMA and calesthenics fan
pdawg @prathamgrv
16K Followers 2K Following pre doctoral researcher @MSFTResearch || part time @TensorTonic
arion das @ArionDas
830 Followers 7K Following gen ai intern @Techolution_com || research @ aiisc, usc || author @naacl || reviewer @aclmeeting, aia @COLM_conf
Austin Henley @AustinZHenley
5K Followers 2K Following Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft
Daniel Perelman @danpere_MS
8 Followers 4 Following Research Software Engineer at Microsoft working on the PROgram Synthesis using Examples SDK.
Clint Simon 👀 @clintsim
192 Followers 636 Following Engineer at Microsoft. Cajun. Typos are my spirit animal.
Jonathan Carter @LostInTangent
8K Followers 71 Following I build stuff at @GitHub (prev. Microsoft), love tools for thought (https://t.co/rWjkSRpB6P), and create silly-named VS Code extensions (e.g. CodeTour, GitDoc, CodeSwing)
⭐ Peter Groenewegen... @pgroene
543 Followers 616 Following Building AI tools for developers @microsoft
Wode "Nimo" Ni @wodenimoni
453 Followers 262 Following diagramming @brilliantorg 👁️ Ph.D. @ CMU 🎓 pool player 🎱 working on @UsePenrose
Ian Drosos @iandrosos
175 Followers 135 Following I’m telling you. You. Accomplishments I’d been chasing all my life. Never felt as good as I expected when I crossed the finish line.
SAINTES @ MSR @saintesmsr
247 Followers 81 Following Software Analysis and Intelligence in Engineering Systems (SAINTES) team at Microsoft Research.
Microsoft Research @MSFTResearch
561K Followers 2K Following We advance science and technology to benefit humanity.
Microsoft @Microsoft
14.0M Followers 2K Following We're on a mission to empower every person and every organization on the planet to achieve more. Support: @MicrosoftHelps
Mark Wilson-Thomas @MarkPavWT
2K Followers 2K Following Tadley Town Councillor. Retired Principal Program Manager for @Microsoft @VisualStudio. Educated Uni of York, UK. Looking to serve my local community of Tadley.
Sumit Gulwani @SumitGulwani
2K Followers 326 Following Inventor of @msExcel Flash Fill. Distinguished Scientist @Microsoft leading @ProseMSFT (AI4Code). Connecting ideas, people, and research & practice. Dad
Gustavo Soares @gustavoas
596 Followers 475 Following Researcher @Microsoft working on program synthesis in the PROSE team. He/Him
Arjun Radhakrishna @arjun_rad
124 Followers 29 Following Researcher @ Microsoft in the PROSE team. Working on programming synthesis.
Danny Simmons @simmdan
275 Followers 63 Following I'm a developer at Microsoft working on program synthesis and data technologies in DevDiv.Trends for United States
You might like
