Articles on Mathematics.

Professor of Mathematics, Princeton University. Mathematical logic, foundations of mathematics, bounded arithmetic, and automatic proof verification.

Royal Holloway, University of London - information security, finite geometry and combinatorics.

National University of Singapore - Numerical analysis, pseudorandom numbers, quasi-Monte-Carlo methods, cryptology, finite fields, applied algebra, algorithms, number theory, coding theory.