All are welcome to attend NSF virtual panel on formal methods in industry, on Monday, Nov 14, 11am ET, panelists: David Dill (Meta), Akshay Rajhans (Mathworks), Neha (AWS), Mooly Sagiv (Certora), Nikolaj Bjorner (MSR)

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?

Check out this beautiful Bollywood film from director Vishal Bhardwaj that explores what might happen if you could see into the future. Incredible cinematography and choreography, and all #ShotoniPhone. youtu.be/f1VEks-QQ4Y

🌟 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

Catch Prof. Gil Strang's last lecture live now!

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.

It’s graduation 👩🏻‍🎓 season and this year it’s 10 years since PhD, 15 since MS, and 20 since BE for me. 🎓 nostalgia

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.

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…

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, Museum of Science, 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

The yellow and the pink looking spectacular together is a tiny bit to be thankful for in the changing climate.

Congratulations to Alan, Mark, and the entire team. It’s been incredibly rewarding knowing the people and recently being a coauthor on some work.

Formal Methods success story at EDF for Nuclear Plant Software Safety with Polyspace - MATLAB & Simulink mathworks.com/company/user_s…

❤️… and not ashamed of it :) (I wish more of my computer vision friends were on X, they’d probably approve :))

Received on WhatsApp. Scarcely believable - to have the belief to execute this from this stage on this stage.