全国计算机专业研究生排名，英国生物信息学研究生专业院校排名 这12所大学教你用计算机技术来探索生物学的奥秘

生物信息学是当今生命科学和自然科学的重大前沿领域之一，也是21世纪自然科学的核心领域之一，在医学领域有着非常大的作用，比如：核酸检测、基因检测、药物成分检测等等，都需要运用到生物信息学的技术，未来医学领域也需要更多生物信息学人才来加入，英国的生物科技非常发达，开设生物信息学专业的名校也不在少数，下面，小编就为大家带来了英国生物信息学研究生专业院校排名，希望对大家有所帮助：

帝国理工学院

项目名称

MSc and 生物信息学和理论系统生物学

课程介绍

帝国理工学院为2022 QS世界大学排名第7名，该课程是一个基于多学科研究的学位，专为具有生物医学、计算或数学背景的申请人而设计，学生将获得在计算遗传学和生物信息学方面进行有效研究的必要技能。

入学要求

1.申请者应具有生物科学，物理科学，计算或数学专业本科学位

语言要求

1.雅思总分不低于6.5分且单项不低于6.0分

2.托福成绩不低于92分(网考)且单项不低于20分

爱丁堡大学

The of

项目名称

MSc 生物信息学

课程介绍

爱丁堡大学为2022 QS世界大学排名第16名，生物信息学是关于应用基于计算机的方法来理解生物过程。该课程教学目的是让学生具备强大的生物学背景，以及驾驭大量现代生物数据所需的计算技能和知识。完成课程后，学生将能够在学术界或工业界从事博士研究或生物信息学职位，该课程也涵盖编程技能、统计分析和数据库科学以及生物信息学。

入学要求

1.申请者应具有生物科学领域本科学位，有分子生物学、生物化学或相关科学背景，以及一些计算机科学或数学方面的经验，具有化学、物理、数学或工程背景的申请者也会考虑

2.学校要求：要求为Band C(来自爱丁堡“优先名单”上的大学，且平均成绩达到80%以上，或来自任何认证的大学，且平均成绩达到85%以上)

语言要求

1.雅思总分不低于7.0分且单项不低于6.0分

2.托福成绩不低于100分(网考)且单项不低于20分

曼彻斯特大学

The of

项目名称

MSc and 生物信息及系统生物学

课程介绍

曼彻斯特大学为2022 QS世界大学排名第27名，该课程旨在提供基因组学、蛋白质组学和代谢组学数据类型的生物学背景，并且教授如何开发必要的计算和分析理解作为处理生物数据的平台，通过展示生物信息学和系统生物学领域的应用和工作示例，让学生能够在项目实践中提升能力。

入学要求

1.申请者应具有相关专业(如生物科学、医学科学、物理科学、计算科学)本科学位

语言要求

1.雅思总分不低于6.5分且单项不低于6.5分

2.托福成绩不低于90分(网考)且单项不低于22分

布里斯托大学

of

项目名称

MSc 生物信息学

课程介绍

布里斯托大学为2022 QS世界大学排名第62名，该课程涵盖生物信息学的各个领域，适合来自与生命科学(生物学、生物化学、遗传学、医学和其他生物科学)相关的各种学术背景的学生。在当前的大数据时代，保护生物学、生物多样性、遗传学和进化生物学都涉及对海量数据的研究，这些数据的数量和种类都在高速增加。计算工具的使用对于分析如此庞大的数据集至关重要。该课程主要包括编程、机器学习、基因组学、蛋白质结构、进化生物学以及专业和创业技能。

入学要求

1.申请者应具有生命科学相关专业(如生物科学、生物化学、动物学、生态学等)本科学位

语言要求

1.雅思总分不低于6.5分且单项不低于6.5分

2.托福成绩不低于88分(网考)且单项最低分分别为：R22, L21, S23, W22

伯明翰大学

of

项目名称

MSc 生物信息学

课程介绍

伯明翰大学为2022 QS世界大学排名第90名，该课程主要对DNA 和 RNA 测序、蛋白质测序和代谢组学的分析进行学习，使学生获得统计机器学习的基础，为信息科学的职业生涯做好准备。

入学要求

1.申请者应具有生物学、数学、计算机科学或其他相关学科本科学位

语言要求

1.雅思总分不低于6.5分且单项不低于6.0分

诺丁汉大学

of

项目名称

MSc 生物信息学

课程介绍

诺丁汉大学为2022 QS世界大学排名第103名，该课程主要面向具有生物科学背景的学生，能够培养他们的生物信息学和数据技能。该课程主要涉及以下领域的学习：计算生物学、编程和实践、进化基因组学和生物信息学、基因组学、分子生物学前沿研究技术与理念、先进的实验设计和分析。

入学要求

1.申请者应具有生物学或其他相关学科本科学位

语言要求

1.雅思总分不低于6.5分且单项不低于6.0分

2.托福成绩不低于87分(网考)且单项最低分分别为：R19, L19, S20, W19

伦敦玛丽女王大学

Queen Mary of

项目名称

MSc 生物信息学

课程介绍

伦敦玛丽女王大学为2022 QS世界大学排名第117名，该课程作为现代生物研究的核心，将讲授如何分析、整合、可视化和操作大型数据集，在生物科学中做出新发现并揭示新见解。该课程的学习无需编程经验，学生将会学习使用 和 R 等计算机编程、数据分析和统计技能。在第二学期，学生将有机会深入研究感兴趣的话题，并进行为期六个月的涉及现场采样、实验、数据分析的研究项目。

入学要求

申请者应具有生物学或相关自然科学专业本科学位

语言要求

1.雅思总分不低于6.5，其中写作6.0，阅读、听力和口语5.5。

2.托福(网考)总分不低于92分，其中写作21分，阅读18分，听力17分，口语20分。

纽卡斯尔大学

项目名称

MSc 生物信息学

课程介绍

纽卡斯尔大学为2022 QS世界大学排名第134名，该课程是为来自生物科学和计算背景的学生设计的，申请者不需要有计算机编程经验，同时欢迎具有数学、工程或其他科学背景的人提出申请。

入学要求

申请者应具有计算机科学、数学学科或生物学科(如遗传学、生物化学、生物学)专业背景，其他在生物或计算机科学相关领域具有工作经验的申请者也可以考虑。

语言要求

1.雅思总分不低于6.5且各项不低于5.5。

2.托福(网考)总分不低于90分，其中写作17分，阅读18分，听力17分，口语20分。

申请时间：该课程于2022.9开始，没有申请截止日期。建议学生在课程开始前至少两个月申请。

卡迪夫大学

项目名称

and (MSc) 生物信息学和遗传流行病学

课程介绍

卡迪夫大学为2022 QS世界大学排名第151名，该课程侧重于遗传流行病学，非常适合生命科学、数学或计算机科学学科的毕业生。将为学生提供计算和统计生物科学的技能和知识，为学生在学术研究、生物技术或制药和医疗保健行业从事具有挑战性的职业做好准备。

除了开发计算和统计生物科学的核心技能外，还包括基因发现方法，包括 GWAS，探索拷贝数变异 (CNV) 分析，以及通路/网络、基因集和多基因流行病学方法等方法。该课程旨在满足学术研究、生物技术以及制药和医疗保健行业对生物信息学应用的需求。

入学要求

申请者应具有生物科学或计算/数学/统计学的本科学位，具有其他学科学位的申请者也可以考虑。

语言要求

雅思总分不低于7.5且各项不低于6.5。

申请时间：该课程申请截止日期为2022.7.31。

项目名称

(MSc) 生物信息学

课程介绍

该课程重点提供基因组生物信息学方面的内容，学生将获得分析组学数据的关键技能，包括来自下一代测序技术的基因组数据。还将学习新兴组学如代谢组学和蛋白质组学的内容。

入学要求

申请者应具有生物科学或计算/数学/统计学的本科学位，具有其他学科学位的申请者也可以考虑。

语言要求

雅思总分不低于7.5且各项不低于6.5。

申请时间：该课程申请截止日期为2022.7.31。

阿伯丁大学

of

项目名称

and MSc 生物技术与生物信息学

课程介绍

阿伯丁大学为2022 QS世界大学排名第205名，该课程非常适合生命科学、药学和医学生物科学领域的毕业生，能够帮助他们改善自己的职业前景，拓宽与生物技术和自身科学兴趣相关的知识库，并学习先进生物信息技术的应用。

入学要求

申请者应具有生物或生物医学相关学位的本科学位。

语言要求

1.雅思总分不低于6.5，其中听力5.5，阅读5.5，口语5.5，写作6.0。

2.托福(网考)总分不低于90分，其中写作21分，阅读18分，听力17分，口语20分。

贝尔法斯特女王大学

Queen's

项目名称

and 生物信息学和计算基因组学

课程介绍

贝尔法斯特女王大学为2022 QS世界大学排名第216名全国计算机专业研究生排名，该课程涵盖数学、统计学和计算在生物和临床中的应用，学生将学习运用算法和软件工具来分析临床和组学数据。

入学要求

申请者应具有自然科学、数学、计算机科学、医学或生命科学(如遗传学、分子生物学、生物医学科学、物理学或统计学)方面的本科学位。

语言要求

1.雅思总分不低于6.5且各项不低于6.0。

2.托福(网考)总分不低于90分，其中写作20分，阅读19分，听力20分，口语21分。

申请时间：该课程申请截止日期为2022.7.31。

莱斯特大学

of

项目名称

MSc 生物信息学

课程介绍

莱斯特大学为2022 QS世界大学排名第236名全国计算机专业研究生排名，英国生物信息学研究生专业院校排名 这12所大学教你用计算机技术来探索生物学的奥秘，该课程将为学生提供数据分析和计算方面的理论和实践技能，以便在这个多学科领域开展工作。该课程涵盖在 Linux 环境中工作、 编程、“大数据”、学习生物信息学算法以及基因组学、转录组学和蛋白质生物信息学的前沿主题。

在课程期间，学生将在 Linux 笔记本电脑上工作，在该笔记本电脑上安装和开发自己的生物信息学工具包。这台笔记本电脑由莱斯特大学作为贷款提供，但在成功完成课程后，笔记本电脑的所有权将免费转让给学生。

入学要求

申请者应具有生物科学或相关学科的本科学位，具有相关工作经验的申请者也可考虑。

语言要求

雅思总分不低于6.5。

综上所述，以上讲的就是关于英国生物信息学研究生专业院校排名的相关问题介绍，希望能给各位赴英留学的学子们指点迷津。近年来，赴英留学一直是广大学生最热门的话题，同时，很多学生对于签证的办理、院校的选择、就业的前景、学习的费用等诸多问题困扰不断，别担心，IDP留学专家可以为你排忧解难，同时，更多关于赴英留学的相关资讯在等着你，绝对让你“浏览”忘返。在此，衷心祝愿各位学子们能够顺利奔赴自己心目中理想的学校并且学业有成!

宋富，上海科技大学

17:20-17:30

论坛讨论

报告及嘉宾简介：

1. 裘宗燕：有关形式化方法教育的一些思考

摘要：我们都感觉形式化方法在普遍性的计算机教育中没有得到应有的重视，这个情况应该如何看待、如何理解？实际上，这个问题牵涉到形式化方法本身在计算机科学技术中的地位和潜在作用，以及它在计算机专业学生成长中的意义和价值。本报告将对这些方面的问题和情况做一些梳理和分析，并就相应的可能措施和前景提出一些看法。

简介：裘宗燕，北京大学数学学院教授（退休），CCF杰出会员。关注的主要领域为软件理论、形式化方法、程序语言及其理论基础等。

2. 傅育熙：理论与形式化方法的课程建设与教材建设

简介：傅育熙，1992年获英国曼彻斯特大学计算机博士学位，1994年起在上海交通大学计算机系任职，现为上海交通大学特聘教授。研究领域为理论计算机科学南大计算机研究生，研究内容涉及程序理论、并发理论、等价性验证、可达性理论、交互理论。是国家杰出青年基金获得者、上海市优秀学科带头人。2000-2009年任上海交通大学计算机系主任，2001-2013年任上海交通大学软件学院院长。学术兼职有：上海高校软件理论研究中心主任、国务院学位委员会第六届学科评议组成员（2010-2014）、上海市计算机学会理事长（2015-2018）、教育部计算机类专业教学指导委员会副主任（2013-2017，2018-2022）。是 in 的编委。

3. 李希萌：研究生课程《形式化验证》教学探索

摘要：形式化验证课程是形式化方法方向的先导性课程，在该方向的研究生培养体系中占有重要地位。从研究生教学特点和形式化验证课程的自身特点出发，探讨在研究生课程中开展形式化验证的教学方法。结合多年来研究生课堂教学实践南大计算机研究生，形式化方法教育论坛，从课程定位、教学内容设置、教学形式和考核方式等方面，对研究生形式化验证课程教学做了初步探索，给出了相关经验总结。

简介：李希萌，首都师范大学讲师，硕士生导师。在丹麦技术大学取得博士学位，并曾在欧盟项目、德国项目CRISP下参与形式化方法、信息流安全验证方面研究。现主要研究方向为区块链程序、架构的形式化验证，在该方向获批国自然青年项目一项，北京市教委项目一项，在、ICFEM、APLAS等CCF会议和LMCS、COLA等SCI期刊发表论文十余篇。

4. 卜磊：曲高而和不寡的形式语言与自动机

摘要：形式语言与自动机一课是计算机理论方向的重要基础课程，也是长期被计算机方向学生视为“艰深难懂”的硬核课程。 南大计算机系同样对此课程给予了高度重视，在15年将此课程列为了计算机科学方向核心课程之一。相关教学团队也展开了积极的教学改革与尝试。从15年的仅有9个学生到今年的100多人选课，学生们不再看到课程名就避而远之，而是口耳相传，越来越多学生在“应用”浪潮下主动来探索基础原理，取得了可喜的效果。本次报告我们将介绍教学团队近年来在相关课程上所作的教改尝试以及得失，并请各位专家、老师批评指正。

简介：卜磊，南京大学计算机科学与技术系教授，博士生导师。长期从事计算机理论基础和程序设计课程教学，获评南京大学创新育人奖、南京大学本科生实践教学优秀指导教师、计算机系毕业生“我心目中的好课程”等；研究工作主要围绕大规模复杂软件的可信保障，在实时混成系统形式验证方面取得系列创新性结果，发表在《中国科学》、IEEE TC、IEEE TCAD、ACM TCPS、RTSS等，自研工具已在列控、航天、物联网等领域得到应用验证，被写入国际权威教科书，获NASAC青年软件创新奖等。

5. 邓玉欣：形式逻辑教学体会

摘要：形式逻辑是形式化方法教学的重要主题之一。在过去几年中，本人利用定理证明器Coq作为实验工具来讲授命题逻辑、谓词逻辑、归纳思维、形式化证明、以及函数语言程序设计基础等内容。在此次报告中，将与大家交流这方面的教学体会。

简介：邓玉欣，华东师范大学软件工程学院教授，博士生导师，副院长。分别于1999年和2002年获上海交通大学学士和硕士学位，2005年获法国巴黎国立高等矿业学院博士学位，之后在澳大利亚新南威尔士大学从事博士后研究。2006年至2015年任上海交通大学计算机系副教授。2011年在美国卡内基梅隆大学计算机系访问。自2012年至2014年在联合国教科文组织教育部门任借调专家。2015年至今在华东师范大学任教。

主要研究领域包括概论计算模型、量子计算模型、程序语言理论。代表性工作包括一个被国外学者写进并发理论教科书的Deng Lemma和关于概率并发理论的一部英文专著。在国际学术刊物和会议发表论文70多篇，是TASE 2016，FMAC 2017程序委员会共同主席，担任ICALP 2013，ICALP 2016，ICALP 2018，CAV 2021等会议的程序委员会委员，目前是上海市计算机学会理论计算机科学专委会主任，中国计算机学会高级会员。

6. 张文辉：形式化方法课程教学与思考

摘要：报告内容主要介绍中国科学院大学研究生形式化方法课程的基本情况、课程内容，以及课程内容的变化和学生反馈与教学思考等，对课程内容和教学进行交流讨论。

简介：张文辉，中科院软件所计算机科学国家重点实验室研究员、中国科学院大学岗位教授。主要研究兴趣包括形式模型、数理逻辑与程序逻辑、程序性质的推理与模型检测、计算机软件正确性的理论与方法，具体工作包括基于限界正确性检查和不动点算法的检查离散迁移系统CTL性质的模型检测工具VERDS的相关理论研究与算法实现。