Microsoft Research blog
Loading...
Microsoft Research Blog
Microsoft researchers explore a practical way to build bug-free software
Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.
People
Chris Hawblitzel
Senior Principal Researcher
Jay Lorch
Senior Principal Researcher
Srinath Setty
Principal Researcher