October 2019 News

October 9, 2019
When he was in high school in the late 1990s, Theodore Kim liked art and he liked computers, but wasn’t sure how to connect the two interests. Then he saw the first “Toy...
October 9, 2019
The second Tuesday of October is Ada Lovelace Day, a day first founded in 2009 by Suw Charman-Anderson to celebrate the achievements of women in science. It’s named after Ada...
October 8, 2019
A recent paper on “Building Certified Concurrent OS Kernels”  by Professor Zhong Shao and his students is featured as a Research Highlight in the October-2019 issue of...