oversaw development of the first NIAP/CSfC-certified X.509 certificate authority (which has recently been updated to fully support NIST quantum-safe algorithms); developed (with J. Schulze-Hewett) a enterprise-level X.509 credential management utility; responsible for the development and maintenance of ACVP test harnesses for recurring NIST FIPS 140 validations; developed the first commercial implementation of DSA and was awarded VP Gore's Hammer Award (with T. Venn) for its use in a GSA application; participated in, and eventually served as treasurer of, the IEEE P1363 working group to develop ECC, RSA and related cryptographic standards throughout the 1990s; member of the NIST TACDFIPSFKMI; implemented classified Capstone algorithms in software to publicly demonstrate interoperability with NSA's Fortezza card; developed a CDSA-compliant CSP for HP that was bundled with several generations of their UNIX OS; developed a PKCS#11 library for an industry partner's first smartcard effort; finally extended the Kobayashi pseudodistance construction to general parabolic geometries (after crucial foundational work in 2005 by Cap, Slovak, Doubrov, and Zadnik) and showed that in the simplest cases (codim 0), Fefferman inclusions between two parabolic geometries are always distance non-increasing w.r.t. those pseudodistances; gave, for conformally Einstein spacetimes, a simple geometric proof of a Penrose-type Singularity Theorem; currently interested in quantum gravity and AdS/CFT holography

taught math and computer science; acted as co-sysadm of departmental computer network; developed and marketed cryptographic software; fought a patent infringement lawsuit with RSA/PKP/MIT/Stanford that was eventually settled for $1800 and no finding of infringement; created a PC-based emulation of the Xerox Memorywriter OS and built a word processing document conversion utility on top of it to facilitate typewriter -> PC migration (this was eventually distributed by Xerox in the US, Canada and Europe); finally learned some crypto in a formal setting by attending A. Shamir's course at UofC

taught math; failed miserably to extend the Kobayashi pseudodistance construction to general parabolic geometries (but did finally accomplish that around 2010); developed (with R. Schlafly) the first commercial RSA/DES hybrid encryption utility ("Crypt Master") and sold it to the UNHCR HQ in Geneva

taught math; pursued research in, and ran a short weekly seminar on, Kobayashi's projective and conformal Lorentz pseudodistances and their possible extensions to general parabolic geometries; developed a general cryptographic software library and dependent RSA/DES hybrid encryption/digital signature utility with R. Schlafly; proved (with R. Schlafly) a rigidity result for pseudoconformal connections on CR manifolds

taught math and computer science; studied the Kobayashi conformal Lorentz pseudodistance, calculated it on Einstein-de Sitter space, and applied it to prove a simple baby analogue of the Penrose/Hawking singularity theorems; proved that, via Matsushita's bijective correspondence between n-dim complex, commutative, associative algebras and holomorphic affine structures on complex n-tori (or, via Calabi-Yau, flat affine Kahler manifolds), semisimple algebras correspond to tori which are (holomorphically) projectively hyperbolic (in the sense of Kobayashi)