Technology New tool automates the formal verification of systems software Andrew McCollum Oct 31, 2023 Tang Family Assistant Professor of Computer Science Rongui Gu (left) and Professor of Computer Science Jason Nieh…
Technology Basketball study automates patterns of play to compare teams’ performance Andrew McCollum Nov 30, 2022 Dr Paul Wu and Distinguished Professor Kerrie Mengersen, are part of a team that published a paper in PLOS One…
