[chasil]

If I am reading this correctly, there is one SI submission, SIKE. Microsoft is intimately involved, although it appears that Amazon, Texas Instruments, and Infosec have made major contributions.

https://github.com/Microsoft/PQCrypto-SIKE

[tptacek]

A bunch of work on making Supersingular Isogeny DH (what SIKE is based on) viable was done at Microsoft Research.