2018年11月16-18日，2018全国大学生软件测试大赛总决赛在南京大学举行，南方科技大学计算机科学与工程系参赛学生取得优异成绩，获得“开发者测试个人赛”特等奖、一等奖、二等奖各一项，其中刘艺同学以全国冠军成绩夺得该分项唯一的特等奖。这是南科大首次组队参加该赛事。2018全国大学生软件测试大赛设置个人赛，面向所有在校大学生，包括专科、本科、研究生。开发者测试、移动应用测试和Web应用测试均采用慕测内置系统，大赛题目来自开源社区和软件企业，大赛分为6月夏季预选赛和10月秋季预选赛、分区决赛和总决赛，每个分项赛独立评分和颁奖。此前在11月初的广东省决赛中，我校参赛队员计算机系大三学生刘艺、大四学生范治宇、研一学生李琳琳分别获得开发者测试个人赛一、二、三等奖。全国总决赛中，三位同学的成绩更上层楼，刘艺以全国第一名获得开发者测试个人赛特等奖，范治宇以全国第三名获得开发者测试个人赛一等奖，李琳琳以全国第十一名获得开发者测试个人赛二等奖。南科大此次参赛的带队老师是计算机系智能软件工程组刘烨庞和陈馨慧两位助理教授。参赛学生和指导老师刘艺、刘烨庞、陈馨慧、李琳琳、范治宇（从左至右）南京大学副校长王志林给刘艺颁奖全国大学生软件测试大赛由教育部软件工程专业教学指导委员会、全国高等院校计算机基础教育研究会、中国计算机学会软件工程专业委员会、中国软件测评机构联盟、中国计算机学会系统软件专业委员会和中国计算机学会容错计算专业委员会主办，由南京大学、陆军工程大学、金陵科技学院、江苏软件产业人才发展基金会、江苏省软件新技术与产业化协同创新中心总承办，2016 年举办首届，2017年举办第二届，参赛人次已超过25000，涉及高校超过330所。南科大计算机系智能软件工程组目前有四位指导老师，包括姚新教授和三位助理教授张煜群、刘烨庞、陈馨慧，主要研究方向包括基于搜索的软件工程，软件测试与分析，软件自动修复，服务计算，移动计算，软件安全等。

2018年11月6日至7日，由南方科技大学人工智能研究院、深圳市计算智能重点实验室、广东省普通高校演化智能系统实验室和南方科技大学计算机工程系联合举办的大湾区人工智能学术研讨会（Great Bay Area AI Workshop）在南科大行政楼401会议室圆满结束。南方科技大学计算机系主任、讲席教授、IEEE Fellow姚新，香港理工大学教授、IEEE Fellow曹建农，澳门大学教授贾维嘉，香港城市大学教授、IEEE Fellow谢旻，香港城市大学教授、IEEE Fellow张青富，香港中文大学教授于旭，深圳大学教授黄哲学，香港城市大学教授、IET Fellow李青，香港中文大学教授邢国良，香港城市大学教授、IEEE Fellow严洪，香港大学教授尹国圣，香港理工大学教授郭嵩，中国科学院深圳先进技术研究院教授、IEEE Fellow须成忠，中国科学院深圳先进技术研究院教授乔宇以及校内外粤港澳大湾区人工智能方向的专家学者一起参与了该研讨会。本次研讨会由南方科技大学姚新教授、香港理工大学曹建农教授和香港城市大学李青教授共同主持（Chair）。姚新教授在欢迎致辞中讲话表示，南科大计算机系立足深圳，胸怀国家，顺应粤港澳大湾区的国家战略机遇，南科大计算机系愿与更多港澳的高校进行学术交流，从源头上带动科技创新，形成人才高地。此外，研讨会上还针对博士生联合培养等议题进行了探讨。 会议合影姚新教授致辞左上：曹建农；右上：贾维嘉；左下：谢旻；右下：张青富左上：于旭；右上：黄哲学；左下：李青；右下：刑国良左上：严洪；左下：须成忠；右上：尹国圣；右中：郭嵩；右下：乔宇 与会教授联合进行了十三场人工智能领域的高水平学术报告，报告包括：Urban Computing: Opportunities and Challenges (曹建农), Human-Thangs-Loop for Smart City (贾维嘉), How Reliable is AI? (谢旻)，Decomposition Based Multiobjective Optimization (张青富)，To Learn from Databases (于旭)，Big Data Technology Innovation (黄哲学)，Event Cubes: What, Why, How? (李青)，Edge AI for Data-Intensive IoT Application (刑国良)，Tensor Models for Video Analysis and Human Facial Expression Recognition (严洪)，Statistics and AI (尹国圣)，Data Driven Intelligence in Smart City: Case Studies (须成忠)，Deep Learning for Understanding Complex Vision Information: Progress and Challenge (乔宇)。

2018年10月20日，由南方科技大学计算机系、源伞科技有限公司、香港科技大学安全实验室和HelloLLVM联合举办的“南方程序分析分享日×HelloLLVM深圳站论坛”在南方科技大学图书馆110报告厅隆重举办。本次论坛以“程序分析”为主题，致力于软件工程领域企业、知名院校以及开源社区之间的交流与合作，增进相关学科的创新与融合，推动校企之间的产学研合作。部分参会人员合影本次论坛邀请了多位学术界专家：南科大计算机系教授唐珂、计算机系助理教授刘烨庞博士、计算机系助理教授Shin Hwei Tan博士、香港科技大学安全实验室主任张川教授等分析国际最新程序分析技术进展和趋势，论坛还邀请到资深工业界嘉宾：源伞科技CTO肖枭博士、中科重德CTO吴伟先生等分享智能软件分析在实际应用中的有趣案例。论坛参会人数共计120余人。唐珂教授致欢迎辞 南方科技大学计算机科学与工程系教授唐珂对到会的学术界和业界专家学者表示欢迎和感谢，也预祝此次论坛圆满成功。他表示，南科大计算机系组建了一支优秀的软件工程研究团队，愿与更多的高校和企业建立校企合作关系，共推智能软件分析新进展。 刘烨庞助理教授作报告 陈馨慧（左上）、时清凯（右上）、吴荣鑫（左下）、张川（右下）作报告范刚（左上）、肖枭（右上）、邱吉（左下）、吴伟（右下）作报告部分嘉宾合影论坛上，与会嘉宾联合进行了九场程序分析领域的高水平报告，题目包括：Pinpoint 1.6 黑魔法大揭秘（肖枭）、Taming Android Compatibility Issues with Big Code Analysis（刘烨庞）、Repairing Crashes in Android Apps（Shin Hwei Tan）、打破语言界限--打造统一多语言分析引擎（范刚）、Intro: what are we working for Cybersecurity（张川）、Relieve Static Analysis from Pains of Third-Party Software Library（吴荣鑫）、Marrying Taint Analysis with Big Data Analytics （时清凯）、机器人编程语言和运行时系统（吴伟）、从编译器的角度看MIPS，ARM和RISCV（邱吉）。此外，论坛中还进行了圆桌论坛环节，探讨“当理想遇上现实——程序分析在实际应用中的故事”的议题，参与嘉宾来自于华为、腾讯、Vivo等知名企业。

2018年10月23日，英国利兹大学教授Anthony G Cohn院士应计算机科学与工程系邀请做客第190期南科大讲堂，为南科大师生带来题为“Building Qualitative Models of Spatio-Temporal Behaviour”的报告。我校计算机科学与工程系主任姚新主持本期讲堂。 Anthony G Cohn作报告Anthony G Cohn是英国利兹大学计算机学院教授、英国皇家工程院院士，曾担任AI期刊的主编，现任空间认知和计算的期刊主编。曾获得国际人工智能联合会议（IJCAI）杰出服务奖，美国人工智能协会杰出服务奖。 在场师生全神贯注报告中，Anthony G Cohn院士介绍了利兹大学用有监督和非监督学习技术对视频中事件活动进行定性建模的研究工作，提出了用抽象的符号模型自动描述视频中物体（包括人）之间的时空定性关系的新方法。Anthony G Cohn院士的精彩报告给予师生们许多启发，报告结束后，Anthony G Cohn院士认真回答了在场师生提出的问题，并进一步阐述了自己的独到见解。

Joint Training ProgramsTotal QuotaDegree AwardingEducational SystemSUSTech-UTS joint PhD programme14UTSThe first year at UTS,other times at SUSTechApplication requirements：The Applicant must meet the minimum requirements for application as follows:GPA: not lower than 3.0/4.0;IELTS: overall 6.5, and the writing score is not lower than 6.0;TOEFL: paper based: not less than 550 overall with TWE of 4.5； internet based: not less than 79, and the writing score is not lower than 21。How to apply?Prepare the application materials (relevant forms shall be downloaded from the “Form Download” column)“Form Download”website: http://gs.sustech.edu.cn/zhaoshengQ&A1. Application form (in English);2. Resume or CV (in English);3. Research plan (within 2,000 characters in English);4. Personal statement (within 2,000 characters in English);5. Two recommendation letters (in English);6. Transcripts scanning copy (stamped with the Seal for Teaching Affairs Office of Graduate University or the Seal for Personnel of the place where archives are kept);7. English Test Report (such as TOEFL/IELTS, etc.);8. ID card scanning copy;9. Scanning copy of Degree Certificate/ Diplomas, education and student information certification, For Chinese applicants, please verify your degree certificate and diploma through website: http://www.chsi.com.cn/ and provide the electronic verification record;10. Other materials contributing to application (such as thesis, academic paper published in the scientific research periodicals or meeting, or other publication, patent, honorary certificate, professional certificate scan, etc.).Notes: All the Degree Certificates, Diplomas and other certifications must be authentic; otherwise the applicant will bear all the consequences.DeadlinePlease package your application materials and send to csyzb@sustech.edu.cnbefore 30th Nov. 2018.The format of e-mail subject: applying for 2019 SUSTech-UTS Joint PhD Program: Name of the Applicant.The e-mail with nonconforming subject format will be not accepted.ContactEmail: csyzb@sustech.edu.cnTel: +86-755-8801 8539 Joint PhD programmes1. Swarm Intelligence for Dynamic Optimization.docx2. Combining code structure and semantics for deep software analytics.docx3. An automated approach for detecting and repairing cross browser compatibility issues on Android apps.docx4. Semantic segmentation on medical images.docx5.docx5-1 Automatic Music Composition and Generation5-2 Automatically Generating Compact and Powerful Deep Neural Networks5-3 Integrating Augmented, Synthesized and Adversarial Crafted Samples for Robust Training6. Automated Diagnosis and Fixing of Software Vulnerabilities in Cyber-Physical Systems.docx7. Event-based Machine Learning Visual Analytics for BlockChain Pattern Exploration.docx8. Development of Open Datasets for Autonomous Transportation with Smart Sample and Cyber-Physical Benchmark.docx9.docx9-1 Deep Learning for IoT Streaming Data Processing in Edge9-2 Modeling of vulnerability levels of an electric power network equipped with PMUs to cyber-attacks9-3 Autonomic computing model for enhancing resilience of an electric power network to cyber-attacks10 Artificial Intelligence11 Data science12 Computer system and networking13 Computational Theory

会议地点：会议地点位于图书馆报告厅110室，午餐用餐地点位于专家公寓中餐厅。会议时间：2018年10月20日会议嘉宾：唐珂教授唐珂是南科大计算机系教授，他一直从事演化计算、机器学习领域的研究。唐珂教授已发表SCI期刊论文48篇（其中IEEE汇刊论文22篇）。论文SCI他引900余次，Google Scholar引用4200余次，H-因子为29。近年来，先后主持和参与了国家自然科学基金重点项目2项、面上项目3项、科技部973计划1项，并曾获得教育部自然科学二等奖（2011，排名第1）、电子学会自然科学一等奖（2015，排名第3），并先后获安徽省杰出青年科学基金（2011）、教育部新世纪优秀人才计划（2012）、英国皇家学会“牛顿高级学者”基金（2015年计算机学科全球仅2人）资助。唐珂教授现担任IEEE Transactions on Evolutionary Computation杂志副编。肖枭博士Dr. Xiao Xiao is the CTO and a co-founder of Sourcebrella, he received his PhD degree from the Hong Kong University of Science and Technology in 2016. His research interests include static program analysis, pointer analysis and software security. His research work has been extensively published in top conferences in the area of program languages and software engineering, POPL, PLDI, OOPSLA. His research results have been adopted by SOOT (a widely used framework for analyzing and transforming Java and Android application) and Google's internal analyzing platform. Since 2014, he leads the team to develop the new generation of static analysis tool Pinpoint. In 2016, Sourcebrella was founded to commercialize the research results--Pinpoint. In just a few months since its release, Pinpoint has been well accepted by customers, including leading internet content providers, consumer electronics manufacturers, companies that use smart manufacturing, authoritative software evaluation agencies and financial companies, such as Baidu, WeChat, TCL, Skyworth, Huawei, etc.Dr. Yepang Liu Yepang Liu is a tenure-track assistant professor at the Southern University of Science and Technology (SUSTech). He obtained his PhD degree from the Hong Kong University of Science and Technology (HKUST) and BSc degree (with honor) from Nanjing University. Prior to joining SUSTech, he was a post-doctoral researcher at the Cybersecurity Lab and CASTLE Lab of HKUST. His research interests include software testing and analysis, cyber-physical systems, mobile computing, and cybersecurity. His work has been published in various top software engineering journals and conferences and has been recognized by several prestigious awards including two ACM SIGSOFT Distinguished Paper awards. He has also been actively serving as reviewers and organizers of major international conferences and journals and received the ACM SIGSOFT Service award.Dr. Shin Hwei TanShin Hwei Tan is a tenure-track assistant professor at the Southern University of Science and Technology. She obtained her PhD degree from National University of Singapore. Previously, she obtained her B.S (Hons) and M.S degree from University of Illinois at Urbana-Champaign. Her main research interests are in automated program repair, software testing and comment analysis. She has published over 10 conference and journal papers. She received several prestigious awards including David J. Kuck Outstanding MS Thesis Award and Google Anita Borg Memorial Scholarship.Dr. Jingguo ZhouZhou Jinguo is currently the Chief Scientist in Sourcebrella Inc. He works mainly in the area of static program analysis and the application on bug finding and software security to help ensure software quality. As a co-founder of Sourcebrella, he is one of the main contributors in the core program analysis framework in the Pinpoint tool on bug detection, the product from Sourcebrella Inc. He has published papers at premium conferences and journals of programming languages and software engineering, such as ICSE, PLDI and ACM TOSEM. Zhou Jinguo got his PhD degree in the Hong Kong University of Science and Technology under the supervision of Prof. Charles Zhang. He got dual Bachelor degrees in computer science and Mathematics in Peking University.Dr. Charles ZhangCharles Zhang is an Associate Professor and the director of the Cybersecurity Lab in the Department of Computer Science and Engineering, HKUST. His major research interest is the use of program analysis techniques to improve software reliability. He has published extensively at premium conferences and journals of programming languages and software engineering. He has served on many organizational and technical committees of international conferences. He is currently an associate editor of IEEE TSE. His research received many awards including PLDI distinguished paper award, ACM SIGSOFT Doctoral Dissertation Award, and IBM PhD fellowships. His research is supported by Research Grant Council, Innovation and Technology Fund, and grants from Microsoft and IBM. Charles obtained his Ph.D, M.Sc, and B.Sc. with honors, all from University of Toronto.Dr. Rongxin WuRongxin Wu is a post-doctoral research fellow in the department of computer science and engineering at the Hong Kong University of Science and Technology (HKUST). He received his PhD degree from HKUST in 2017. His research interests include program analysis, software security, and mining software repository. His research work has been regularly published in top conferences in the research communities of program languages and software engineering, including POPL, PLDI, ICSE, FSE, ISSTA and ASE and so on. He has served as a reviewer in reputable international journals and a program committee member in several international conferences. He has ever received ACM SIGSOFT Distinguished Paper award.Qingkai ShiQingkai Shi is a Ph.D. candidate from the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology. His research interests include program analysis, software security, concurrency, and software testing. He has published papers at premium conferences and journals of programming languages and software engineering, such as PLDI and IEEE TSE. His research keeps contributing to securing commonly-used software, such as MySQL, Firefox, Chrome, and the like. He has obtained a bunch of CVE IDs and has received many awards including the Hong Kong PhD Fellowship and the National Scholarship of China. 吴伟吴伟，HelloLLVM和HelloGCC组织的负责人。浙江重德智能科技有限公司CTO。主要研究领域包括机器人技术、ROS开源系统、程序语言及JIT编译技术、虚拟机性能分析和优化等。邱吉博士本次报告将从编译器的角度，对MIPS、ARM和RISCV的指令集进行横向比较、分析若干架构和微架构相关的编译优化，并用常见的CPU benchmark进行热点代码部分代码生成的案例分析，同时也将分享构建编译器和开展性能分析的心得和经验.报名链接：