- University of California, San Diego. Number theory, logic (specifically nonstandard analysis), probability, ergodic theory, lattices, game theory, and Fourier analysis.
- Free software for primitive polynomial computation, CRC code generation, coding and decoding, parsing theory and cellular automata.