Areas of expertise: mathematics and theoretical computer science