Clip
The Gap between Computer Science Theory and Pragmatic Implementations
The advancement in formal methods tools has helped improve the world of computer science theory, yet it only provides answers to a small subset of problems. The pragmatic implementation of these theories in actual systems that people use is the real challenge.