洪涛，百度高级科学家，1986年和1989年分获北京大学计算机科学技术系软件工程学士和北京大学心理学硕士