. . . . "areas such as artificial intelligence and computer science theory," .