Clip

The Gap between Computer Science Theory and Pragmatic Implementations
listen on Spotify
23:25 - 27:33 (04:07)

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.

Similar Clips