余归推纳:语言对等的基本技巧Coinduction:basic techniques for language equivalence
正则表达式和增强余归推纳Regular expressions and enhanced coinduction
自动机理论在程序验证中的应用Applications to program verification
项目回顾与成果展示Program review and presentation
论文辅导Project deliverable tutoring
就读于计算机科学、计算机工程、离散数学等专业或对以上专业领域感兴趣的学生。学生需要具备微积分及线性代数基础,修读过算法与数据结构,有Haskell等纯函数式编程语言基础的申请者优先。
名校教研体系深度浸泡
6课时1对1 Office Hour
扫除你上课时积累的所有疑难知识点
12课时的Mentor Session
指导小组完成实战项目
2课时的成果汇报Presentation
将你所学知识呈献给导师及所有学员,获得导师点拨和反馈
24小时内答疑回复
24小时内答疑,*时间解决遗留问题
全程助教辅助模式
项目期间配双语助教全程辅助教学过程,不让任何一位学生落下进度
班主任跟踪监督模式
不让懒惰拖延成为你成功路上的绊脚石
师生比例1比4
小班教学,人人都能与大佬沟通熟悉,打通人脉
往期学员通过项目夯实学术基础,研究能力和学术写作能力获得成长,完成人生中*篇论文,优秀学员最终发表在了国内或国际核心期刊当中。
硬核科研成果
收获真正能展示你独特性、批判性思考力的科研经历,优秀学员有机会获得一封基于实际表现的真实有效的推荐信,以及导师的项目评分表。
更强的升学竞争力
在申请文书中展现项目经历,在面试过程中通过描述学术项目,向招生官展现自信、专业度、批判性思维能力,让申请文书言之有物、脱颖而出。
加入集思星人组织
结识全球的优秀同龄人和科研队友,参加海外导师来华参与线下互动,获得海量免费学习资料。