Background
Dr. Tomb received his B.S., M.S., and Ph.D. in computer science from the University of California, Santa Cruz. His academic work focused on programming language theory, and particularly on the use of advanced programming language technology to improve software reliability. This involves type theory, formal methods, program analysis, and a bit of subjective exploration into what makes languages pleasant to use.