▲
姓名：林东岱
职务：中国科学院软件研究所导师
简介：
主要从事密码理论、安全协议、符号计算与软件设计方面的研究工作，在国内外重要学术刊物和学术会议上发表学术论文60余篇。先后参加承担八五攀登计划"机器证明及其应用"，并任专家委员会成员，九五攀登计划预选项目"数学机械化及其应用"。
目前参加承担的在研项目有国家重大基础研究规划(973)项目"数学机械化与自动推理平台"，国家自然科学基金"安全电子支付系统研究"，中国科学院知识创新工程基金课题"密码算法实验平台开发"，国家高科技发展计划(863)项目"分布式密码算法及并行化技术"等课题。
