I research computational complexity and discrete math, with a focus on proof complexity. Many of our academics speak to the media as experts in their field of research. If you are a journalist, please ...

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...