Bruce Kapron

Interests

Theory of computing: logic in computer science, foundations of security, cryptography, computational complexity, verification

Because the true perfection of a practical occupation consists not only in knowing the actual performance of the occupation but also in its explanation, why the work is done a in a particular way, and because the art of calculating is a practical occupation, it is clear that it is pertinent to concern oneself with the theory.