The Henry and Marilyn Taub faculty of computer science