Coyotos is a microkernel operating system with a number of goals, most of which I honestly don't even understand correctly myself. Coyotos is an evolutionary step forward from EROS, and aims to be the first formally verified operating system. To achieve this goal, the BitC programming language was envisioned. "BitC is a new systems programming language. It seeks to combine the flexibility, safety, and richness of Standard ML or Haskell with the low-level expressiveness of C." Shapiro was the driving force behind both projects.
"Some of you will have noticed that I have been conspicuously silent over the last three or four weeks. I have spent much of that time airborne, or in interviews at Google, Microsoft, and DARPA," Shapiro writes, "After a fair bit of soul-searching, I have decided to accept a fairly senior position at Microsoft associated with the Midori project. The current plan has me starting there at the beginning of August."
The Midori project is a project at Microsoft that's in incubation, which is a step beyond Microsoft Research. Midori is believed to be a commercial implementation of Singularity, where everything is written in managed code. It also sports a security model where every application is running in a sandbox. Reports indicated that Microsoft even has a migration path ready from Windows to Midori.