软件工程与网络安全前沿技术：软件开发可靠性与安全性SoftwareEngineering教授介绍
CristianCadar
帝国理工学院计算机系终身教授
英国帝国理工学院SRG（SoftwareReliabilityGroup）小组负责人
斯坦福大学计算机科学博士
ISSTAGeneralChair
BCSRogerNeedhamAward
KLEE的开创者
课题背景我们的生活离不开软件。如今人人都在使用app来完成日常工作：支付账单、拓展兴趣、高效工作等等。但我们日常使用的网络和软件真的安全可靠吗？你有个人信息泄露，游戏账号被盗的经历吗？
黑客们认为，很多公司并不会仔细检查他们产品是否包含任何公开漏洞，这意味着当新的漏洞被发现时，他们不能及时反应潜在的危险。甚至他们可能被勒索软件攻击，其中黑客可以加密他们的数据，将公司扣为“人质”直到黑客收到付款。因此，为了保证产品的安全，开发人员必须十分小心，检查潜在的漏洞。
课题内容本课程将围绕软件安全技术的应用为大家解密如何守卫网络安全，将探究网络安全基本理论和技术，并体验高质量软件开发的实践过程。
在小组科研中，教授将带领学生探讨软件安全性开发的生命周期（SDLC），基于人工智能技术的机器学习算法及应用、安全编码技术、常见安全弱点、安全测试方法等。此外，在个性化研究部分，还将涉及更多趣味课题，包括：WINDOWS的防黑客软件如何保护数据免受黑客攻击？ChromeJIT引擎有漏洞吗？什么是钓鱼邮件？等等。
学生将通过项目学习和亲身实践，掌握软件开发的基本工具和安全漏洞的分析能力，完成相关研究报告，在项目结束时展示研究成果。
适合人群对计算机、软件工程专业感兴趣的学生；
未来希望在软件开发、网络安全、游戏开发等领域从业的学生；
具备编程基础的学生优先。
项目设置线上科研项目10周总课时72小时第1-6周第7-10周教授课程36课时3课时/周4.5课时/周教授就该项目的学科背景展开启发式教学，从而培养学生批判性思维、提升跨学科的学习能力。同时会教授学生必需的科研方法，为下阶段的科研课程打下坚实的基础。每周教授将对项目研究内容做针对性的指导，具体包括：数据收集、数据评估和分析、数据汇总和展示。针对学生的问题，提出个性化的指导建议。助教课程30课时3课时/周3课时/周助教将针对性地梳理教授课程中的重要知识点，着重分析课程中的难点。督促学生完成教授布置的作业和阅读任务，以确保学生的整体学习进度。助教将协助学生完成研究任务，保证学生按进度完成必要的数据分析和写作任务，从而达到教授指定的学术标准。写作课程6课时第4-6周，来自美国名校的写作教授将针对论文写作的结构框架和引用的注意事项展开讲解。教授课时（36）+助教课时（30）+写作课程（6）+科研先修课（）=课时（1课时=40分钟）课程安排与收获6周在线授课+4周在线小组科研(教授亲自论文辅导)，教授全程参与为期10周
网申推荐信
学术评估报告
项目成绩单
论文成果
往期学员评价（1）
（2）
(3)
报名CristianCadar教授科研课题