The Trustworthy Engineering of Software Technologies (TEST) Lab, part of the PL/SE group at the National University of Singapore (School of Computing), led by Manuel Rigger, is working on practical and conceptual software solutions. We aim to have a real-world impact both by creating practical tools as well as by designing principled, fundamental techniques.
Core Areas: