Gernot Heiser has made ground-breaking contributions to the security and safety of computer systems through the application of mathematical proof techniques to real-world operating systems.

Share link:

Share link: