Akshay Rajhans
@rajhansAdvanced Research & Technology at @MathWorks. Past @CarnegieMellon @Penn @BoschGlobal @Cummins (Personal account, not speaking for employers present or past)
Similar User
@RajeevAlur
@rupakmajumdar
@TheBorzoo
@DorsaSadigh
@necozay
@swarat
@mathur_umang
@confCAV
@GoranFrehse
@cps_usc
@AcmSigbed
@Mitrasayn
@aserebrenik
@yshoukry
@clegoues
Adding mine to the beautiful thread: sunny morning views with clear blue skies morning after a fresh round of snow is one of my favourite New England landscapes
Received on WhatsApp. Scarcely believable - to have the belief to execute this from this stage on this stage.
❤️… and not ashamed of it :) (I wish more of my computer vision friends were on X, they’d probably approve :))
Formal Methods success story at EDF for Nuclear Plant Software Safety with Polyspace - MATLAB & Simulink mathworks.com/company/user_s…
Congratulations to Alan, Mark, and the entire team. It’s been incredibly rewarding knowing the people and recently being a coauthor on some work.
#mcscert @McMasterEng wins the IEEE CS TCSE Distinguished Synergy Award at #icse24 #icse2024 with Mark Lawford and Alan Wassyng receiving the award on our behalf. Thanks to Ladan and Federica for presenting!
The yellow and the pink looking spectacular together is a tiny bit to be thankful for in the changing climate.
You probably wouldn't have seen the yellow and pink together very much back in the middle of the last century and certainly earlier. #climate #landscape #garden
Two things happened on the @California_ISO grid last night. 1) Battery storage discharge went over 6GW for the first time AND 2) Batteries were the largest source of supply.
MathWorks, @museumofscience, and Penn State have launched YES middle school STEM and Computer Science curriculum. Students engage in authentic, hands-on engineering challenges! YES is accompanied by interactive MATLAB Live Scripts. Try them out today! share.mathworks.com/ru75p
Wow, I can finally access my own paper that appeared in CACM 10+ years ago. It got published just after I had graduated and no longer had CMU's institutional access: dl.acm.org/doi/pdf/10.114…
Wonderful, as always, to be at MIT to contribute to the conversation, and share and learn about progress being made at MIT and other member companies.
MCSC member companies recently came together with the @MIT community to share & amplify their brainpower - exemplifying the energy, ideas, and innovations that can be sparked when companies, across sectors, and #academia join forces to develop scalable solutions to #climatechange
It’s graduation 👩🏻🎓 season and this year it’s 10 years since PhD, 15 since MS, and 20 since BE for me. 🎓 nostalgia
Congratulations to Prof. Strang on such a stellar career! After watching his Linear Algebra lectures on MIT OCW (YouTube wasn't a thing yet) some 15+ years ago, so glad to that I was able to meet in person last year.
Catch Prof. Gil Strang's last lecture live now!
🌟 In honor of AAPI month, we'd like to highlight Jagadish Chandra Bose, a scientist and inventor whose work in radio and microwave transmission paved the way for modern communication systems. 📡👨🔬 #AAPIHeritageMonth #JagadishChandraBose
Check out this beautiful Bollywood film from director @VishalBhardwaj that explores what might happen if you could see into the future. Incredible cinematography and choreography, and all #ShotoniPhone. youtu.be/f1VEks-QQ4Y
A lot of my formal methods mutuals (many of whom I haven't met IRL) seem to be in Boston for POPL. I will be in downtown Boston tomorrow AM for another event. Anyone up for meeting over coffee tomorrow PM?
All are welcome to attend NSF virtual panel on formal methods in industry, on Monday, Nov 14, 11am ET, panelists: David Dill (Meta), @rajhans (Mathworks), @neharungta (AWS), @SagivMooly (Certora), @BjornerNikolaj (MSR)
United States Trends
- 1. Bengals 78 B posts
- 2. Chargers 66,7 B posts
- 3. McPherson 11,9 B posts
- 4. Herbert 33,9 B posts
- 5. Joe Burrow 20,6 B posts
- 6. #BoltUp 5.346 posts
- 7. Zac Taylor 4.281 posts
- 8. #BaddiesMidwest 19,7 B posts
- 9. #CINvsLAC 10,3 B posts
- 10. #SNFonNBC N/A
- 11. JK Dobbins 4.446 posts
- 12. Money Mac N/A
- 13. Harbaugh 15,8 B posts
- 14. Chiefs 157 B posts
- 15. Ladd 5.639 posts
- 16. WWIII 165 B posts
- 17. #WhoDey 1.781 posts
- 18. Tee Higgins 3.804 posts
- 19. Bills 165 B posts
- 20. 60 Minutes 29,3 B posts
Who to follow
-
Rajeev Alur
@RajeevAlur -
Rupak Majumdar
@rupakmajumdar -
Borzoo Bonakdarpour
@TheBorzoo -
Dorsa Sadigh
@DorsaSadigh -
Necmiye Ozay
@necozay -
Swarat Chaudhuri
@swarat -
Umang Mathur
@mathur_umang -
CAV
@confCAV -
Goran Frehse
@GoranFrehse -
Bogdan Group
@cps_usc -
ACM SIGBED
@AcmSigbed -
sayan mitra
@Mitrasayn -
Alexander Serebrenik
@aserebrenik -
Yasser Shoukry
@yshoukry -
Dr. Claire Le Goues
@clegoues
Something went wrong.
Something went wrong.