主要12个分支方向为:
1.编程语言PROGRAMMING LANGUAGE
2.信息安全INFORMATION SECURITY
3.数据库与信息系统DATABASE AND INFORMATION SYSTEMS
4.人工智能ARTIFICIAL INTELLIGENCE (AI)
5.算法与理论ALGORITHMS &THEORY
6.软件工程SOFTWARE ENGINEERING
7.应用机器学习APPLIED MACHINE LEARNING
8.数据科学和大数据分析DATA SCIENCE AND BIG DATA ANALYTICS
9.嵌入式系统和物联网EMBEDDED SYSTEMS AND INTERNET OF THINGS
10.人机交互HUMAN-COMPUTER INTERACTION
11.机器人、计算机视觉与计算机图形学ROBOTICS,VISION,AND GRAPHICS
12.计算生物学与生物信息学COMPUTATIONAL BIOLOGY AND BIOINFORMATICS
1.编程语言Programming Language
研究内容:计算机语言的设计与实现,其目标是同时提高开发人员的开放效率和软件质量。包含如下课题:
1)程序语言设计和实现(Programming Language Design and Implementation):编译器优化(Compiler Optimization),语义(Semantics),即时编译器(JIT Complier),域特定语言(DSL:Domain-specific Languages)。
2)编程环境和工具(Programming Environments and Tools):监控(Monitoring),程序员搜索引擎(Programmer Search Engines),基于模型的设计(Model-based Design)。
3)程序分析和验证(Program Analysis and Verification):模型检测(Model Checking),静态和动态分析(Static and Dynamic Analysis),定理证明(Theorem Proving),实时系统的任务调度分析(Schedulability Analysis for Real-time systems)。
2.信息安全Information Security
研究内容:
1)密码学(Cryptology)密码学理论(Cryptography Theory),新的密码学系统开发(Development of New CryptographicSystems),密码分析学(Cryptanalysis),协议开发,应用密码学,量子计算(Quantum Computation)。
2)隐私(Privacy)无线传感器网络的隐私,RFID系统的隐私,数据库的隐私问题,基于网络的应用的隐私。
3)软件安全(Software Security)开发编程语言和计算机安全之间的相互影响。
4)一致性和完整性(Identity and Integrity)预防“网络钓鱼”和攻击。
5)网络安全(Network Security)网络安全检测(Network Security Monitoring)和入侵防御(Intrusion Prevention)。
篇幅有限,下一篇,我们继续解析~