Professor Daniel Acuna is an Associate Professor in the Department of Computer Science at the University of Colorado at Boulder. He leads the Science of Science and Computational Discovery Lab. He ...

Growth and change in technology have brought a boom in the availability of data and the need for people to shape technologies. Growing areas like machine learning require expertise in programming, ...

Discrete mathematics is about precision in reasoning as much as it is about solving problems. Proof techniques like induction, contradiction, and direct reasoning are used to establish results in ...

This is a graduate-level course focused on techniques and models in modern discrete probability. Topics include: the first and second moment methods, martingales, concentration inequalities, branching ...

The Department of Mathematics and Computer Science offers major programs leading to the bachelor of science in mathematics or the bachelor of science in computer science, as well as required and ...