Unverified50% confidenceFactExact time
In the late 1990s, Gurevich formed a team at Microsoft Research and developed Spec Explorer—a high-level executable specification tool based on abstract state machines.
1
Sources
50%
Confidence
Long-term
Relevance
10/20/2026
First Seen
Sources
The Algorithm Is Deterministic by Nature: Yuri Gurevich on Auxiliary Computation
youtubeMicrosoft Research10/19/2026
Related Entities
Related Claims
Unverified微软研究院也在探索自动化科学发现的框架60% similarUnverifiedMicrosoft Research, founded in 1991, has long engaged external scholars to conduct fundamental research.60% similarUnverifiedThe EU required Microsoft to hand over high-level executable specifications rather than source code, which brought Spec Explorer to center stage, and hundreds of engineers (mostly in China and India) used it to write protocol specifications.57% similarUnverifiedMicrosoft is redesigning Windows Search, evolving it from a find tool into an execution tool that can directly perform actions.56% similarUnverifiedMicrosoft has the "AI for Health" program, Google has the "DeepMind Science Team," and Meta developed the ESM protein language model.55% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1073064API
curl https://kongchang.com/api/v1/knowledge/claims/1073064MCP
get_claim(id=1073064)