[ad_1] Tang Family Assistant Professor of Computer Science Rongui Gu (left) and Professor of Computer Science Jason Nieh (right). Credit: Columbia Engineering Formal systems verification, […]