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.
-
Cyberlearning ‘16 Tackles Designs for Deeper, Broader, and More Equitable Learning
The 5th annual Cyberlearning meeting, recently held in Arlington, VA, engaged more than 180 NSF-funded researchers, educators and other attendees,
-
Investigators Chart New Frontiers at Cyberlearning 2015
A group of more than 150 research-based leaders in learning and technology participated in Cyberlearning 2015 …
-
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.