Computer Science Laboratory
We study the logical foundations of scalable systems beyond the scope of traditional testing or simulation, and we create and apply high-level tools for rigorous mechanical analysis.
-
Why the Cyber Security Industry Should Be Smitten with Smten
Keeping pace with today’s evolving cyber threats is challenged not only by hackers’ sophistication, but also by the mind-boggling volume of attacks.
-
National Cyberlearning Summit Features Major Advances in Learning with Technology
On June 9 and 10, 2014, more than 100 investigators, innovators, researchers, and educators convened for a summit at the University of Wisconsin, Madison to identify and communicate major advances in learning with technology.