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.