Computer science professor Dr. Kevin Hamlen is on a quest to train students in a combination of high-demand computer-security skills: the mathematical reasoning needed to prove software is secure and the programming expertise needed to uncover real-world vulnerabilities that could lead to cyberattacks.
