Jim Williams is the designer and implementer of the page notes generalization of tooltips. Prior to his involvement with Web programming, Jim spent many years doing research in information security and automated deduction. Some of his main results on automated deduction are published in the book Instantiation Theory, which provides a foundation for the manipulation of expressions, as for example, unification algorithms.
His best known security work is perhaps A Guide to Understanding Security Modeling in Trusted Systems, which coordinated inputs from more than a 100 contributors. SUNY's Center for Information Forensics and Assurance includes the Security Guide in its list of classics. The contents of the Guide rest partly on Jim's confidentiality research. His integrity research for the Guide led to the paper "Sound Information Handling: Application to Errors in Medicine."
The Security Guide also provided necessary structure for the Common Criteria. Jim contributed to the structure and terminology of this ISO security standard, and to some of its more frequently used assurance requirements. Following publication of the Common Criteria, he developed and maintained (with others) the CC Toolbox. A complete list of Jim's technical publications may be found here.
Jim received his Bachelor of Arts degree from Carleton College and his Ph.D. degree from the University of California at Berkeley. His security work was performed at the MITRE Corporation and at the University of Texas at Austin.