A Brief History of Formal Methods in China
Image credit: D. Kroening & O. Strichman
“During Hilbert’s life, Leibniz’s Dream [– all truths of the reason would be reduced to a kind of calculation directed by symbols –] by and large, just stayed a dream. […] In the 2nd half of the 20th century, things shifted with the advent of computers, as more and more people began to adopt formal techniques. Parts of Leibniz’s Dream became reality […].”
– Edsger W. Dijkstra (1930-2002), Under the Spell of Leibniz’s Dream.
A blog post (in Chinese) for this publication.
Mingshuai Chen
ZJU100 Young Professor
My research interests include formal verification, programming theory, and logical aspects of computer science.