luận án tiến sĩ khoa học máy tính