Hacker News new | past | comments | ask | show | jobs | submit login

I believe VMWare "adopted" Microsoft's research team, but that's the last I heard of the team. These days the most interesting corporate research happens at Google, Nvidia, OpenAI. I guess the forefront of research has moved onto ML and many old school researchers got left behind.



TLA+ and other formal language research is pursued by the RISE group in Microsoft Research:

https://www.microsoft.com/en-us/research/group/research-soft...


There's lots of other research happening all over, but gets little attention probably due to non-existent or otherwise poor marketing beyond publishing papers.


There is tons of formal methods research happening in industry. Way more than in the days of Microsoft research silicon valley


Out of curiosity, which companies do this sort of research?


AWS had a paper in SOSP on verifying parts of S3

https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc21...




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: