|
Jeff brings 18 years of engineering experience to AddToIt. He met Bill during his 7year tenure at Digital Equipment Corporation. At Digital, Jeff served as the Kernel debugging tools project leader, involved with projects such as an extensible kernel data structure browser. Post Digital, Jeff has worked as an independent consultant. Initially working with DEC clients, Jeff subsequently created a number of more universal software tools, including Ccure and UML. Ccure is a static source code analyzer that uses AI theorem proving techniques to detect the causes of application problems, including memory leaks. Another such system is the Linux User-Mode Kernel, (UML). UML provides an IBM VM-like system for Linux. It allows for the creation of a Linux environment that can test new device drivers, fashion security traps, and provide virtual hosting. Users include Dartmouth University and Boeing Corporation. Jeff holds a B.S. in Computer Science from M.I.T. | 