ããçå¦ç¾å½ç³è¯·ç¾å½å¤§å¦è®¡ç®æºä¸ä¸(CS)çå¦çé常å¤ãç¾å½å¤§å¦CSä¸ä¸çç 究åæ¯ä¹é常å¤ï¼ä¸ååæ¯å¯¹å¦ççè¦æ±ä¹ä¼ä¸åï¼å æ¤ï¼å¦ç们è¦æ ¹æ®èªå·±çæ¡ä»¶éæ©éåèªå·±çç 究æ¹åãæ¬æ主è¦å¯¹ç¾å½å¤§å¦CSä¸ä¸åä¸ä¸ªåæ¯æ¹ååäºè¯¦ç»çéè¿°ï¼ä¸»è¦æ¯ç¾å½è®¡ç®æºä¸ä¸è¯¾ç¨æ¹é¢çã
ããä¸ãä½ç³»ç»æãç¼è¯å¨å并è¡è®¡ç® Architecture, Compilers and Parallel Computingãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ããä½ç³»ç»æåç¼è¯å¨çç 究主è¦éä¸å¨ç¡¬ä»¶è®¾è®¡ï¼ç¼ç¨è¯è¨ä»¥åä¸ä¸ä»£ç¼è¯å¨ã
ãã并è¡è®¡ç®ç 究çå
å«èå´å¾å¹¿ï¼å
æ¬å¹¶è¡è®¡ç®ç计ç®æ¨¡åï¼å¹¶è¡ç®æ³ï¼å¹¶è¡ç¼è¯å¨è®¾è®¡çã
ããäºãç³»ç»ä¸ç½ç» Systems and Networking
ããå¯ç»å为ï¼
ãã(1)ç½ç»ä¸åå¸å¼ç³»ç»(Networking and distributed systems)ï¼ç§»å¨éä¿¡ç³»ç»ï¼æ 线ç½ç»åè®®(wireless protocols)ï¼Ad-hocç½ç»ï¼æå¡è´¨é管ç(Quality of Service managementï¼QoS)ï¼å¤åªä½ç½ç»ï¼è®¡ç®æºå¯¹çèç½(peer-to-peer networking, P2P)ï¼è·¯ç±ï¼ç½ç»æ¨¡æï¼ä¸»å¨éå管ç(active queue management, AQM)åä¼ æå¨ç½ç»(sensor networks)ã
ãã(2)æä½ç³»ç»(Operating system)ï¼åå¸å¼èµæºç®¡çï¼æ®é计ç®(ubiquitous computing/pervasive computing)ç¯å¢ç®¡çï¼åå°ä¸é´ä»¶(reflective middleware)ï¼ä¸é´ä»¶å
级æä½ç³»ç»(middleware âmeta-operating systemsâ)ï¼é¢å对象æä½ç³»ç»è®¾è®¡ï¼å
许å个ç¨æ·ä¸å¤è®¡ç®æºã对çæä½ç³»ç»æå¡äº¤äºçç¨æ·è®¾è®¡ï¼ä¸ä¸æææçåå¸å¼æ件系ç»ï¼æ°æ®ä¸å¿ççµæºç®¡çï¼æ件/åå¨ç³»ç»ï¼èªä¸»è®¡ç®(autonomic computing)ï¼è½¯ä»¶å¥å£®æ§çç³»ç»æ¯æ以åæ°æ®åºçç³»ç»æ¯æã
ãã(3)å®å
¨(Security): éç§ï¼æ®é计ç®ï¼æ çº¿ä¼ æå¨(wireless sensors)ï¼ç§»å¨å¼ååµå
¥å¼è®¡ç®æºï¼è§èï¼è®¤è¯ï¼éªè¯çç¥ï¼QoSä¿è¯åæç»æå¡ä¿æ¤ï¼ä¸ä¸ä»£çµè¯é讯ï¼æä½ç³»ç»èæåå认è¯ï¼å
³é®åºç¡è®¾æ½ç³»ç»ï¼ä¾å¦SCADAæ§å¶ç³»ç»åå»çï¼æ¶æ¯ç³»ç»ï¼å®å
¨ç½å
³ï¼å¯ç¨æ§å®å
¨ã
ãã(4)å®æ¶ååµå
¥å¼ç³»ç»(Real-time and embedded systems)ï¼å¼æ¾å¼å®æ¶ç³»ç»ï¼Qos驱å¨çå®æ¶è°åº¦åéä¿¡åè®®ï¼æ§å¶è®¾è®¡åå®æ¶è°åº¦æ´åï¼å®æ¶ã容éåå®å
¨åè®®æ´åï¼ç½ç»åå¨ä»¶åæºè½ç©ºé´çé²æ£å¨æå®æ¶ææ¶ã
ããä¸ãç论ä¸ç®æ³ Theory and Algorithms
ãã计ç®æºç论ç 究主è¦éä¸å¨ç®æ³åæ°æ®ç»æç设计ä¸åæï¼ä»¥å计ç®å¤ææ§çç 究ãå
·ä½å
æ¬æä¼å(optimization)ï¼è®¡ç®å ä½åææ(computational geometry and topology)ï¼è¿ä¼¼ç®æ³(approximation algorithms)ï¼å¯ç (cryptography)åå®å
¨è®¡ç®(secure computation)ï¼ç½ç»è®¾è®¡(network design)ï¼æ°æ®ææ(data mining)ï¼æºå¨å¦ä¹ (machine learning)ï¼æéå
ç½æ ¼çæ(finite-element mesh generation)åèªå¨å软件éªè¯(automatic software verification)ã
ããåã人工æºè½ Artificial Intelligenceãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ããè¿ä¸ªé¢åå
å«å¹¿æ³çç 究课é¢ï¼å
æ¬ç¥è¯è¡¨ç¤ºï¼æºå¨å¦ä¹ ï¼è®¡ç®æºè§è§ï¼æ¨çåæºå¨äººçã
ããç¥è¯è¡¨ç¤º(knowledge representation)ï¼æç¥è¯æç
§ä¸ç§æå©äºæ¨ç(å¾åºç»è®º)çæ¹å¼è¡¨ç¤ºåºæ¥ã
ããæºå¨å¦ä¹ (machine learning)ï¼èªå¨å¦ä¹ å¦ä½è¯å«å¤æ模å¼å¹¶åºäºæ°æ®ä½åºæºè½å³çã
ãã计ç®æºè§è§(computer vision)ï¼ä½¿æºå¨èªå¨ä»å¾ååè§é¢ä¸æåä¿¡æ¯å¹¶ç解å
¶ä¸å
å«çè§è§æ¦å¿µã
ããæ¨ç(reasoning)ï¼å¦ä¹ æ¨çç计ç®æ¨¡åã
ããæºå¨äºº(robotics)ï¼å·¥ç¨å¦åæºå¨äººææ¯ï¼ä»¥åå®ä»¬ç设计ï¼å¶é ï¼åºç¨åç»æé
ç½®ã
ããäºãç¼ç¨è¯è¨ Programming Languagesãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ãã该é¢åçç 究å
æ¬è®¡ç®æºè¯è¨ç设计ä¸å®ç°ï¼å
¶ç®æ æ¯åæ¶æé«å¼å人åçå¼æ¾æçå软件质éãå
å«å¦ä¸ä¸äºè¯¾é¢ï¼
ãã(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)ã
ããå
ãæ°æ®åºä¸ä¿¡æ¯ç³»ç» Database and Information Systemsãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ããå
æ¬ä»¥ä¸ç 究å
容ï¼
ãã(1)æ°æ®åº(Database)ï¼æ°æ®æ¨¡åï¼æ°æ®æ¥è¯¢ãéæï¼åç§æ°æ®åºç³»ç»ç设计ãå®ç°çã
ãã(2)æ°æ®ææ(Data Mining)ï¼ä»æ°æ®ä¸æå模å¼çå¤çè¿ç¨ãå®å¨å¾å¤é¢åæ广æ³çåºç¨ï¼ä¾å¦å¸åºè¥éãçæµãå
¥ä¾µæ£æµåç§å¦åç°ãæ°æ®ææåæºå¨å¦ä¹ å¾ç¸å
³ï¼ä½æ¯æ°æ®æææ´å
³æ³¨å®é
åºç¨ã
ãã(3)ä¿¡æ¯æ£ç´¢(Information Retrieval)ï¼ç 究å¦ä½æååç§åªä½(ææ¬ãé³é¢ãè§é¢çï¼ç®åçç 究以ææ¬å±
å¤)ä¸çä¿¡æ¯ï¼åæ¶è¿æç´¢ä¸ä¹å
³èçæ°æ®åºåä¸ç»´ç½ã
ãã(4)èªç¶è¯è¨å¤ç(Natural language processing)ï¼æ建ä¸ç§å¯ä»¥åæãç解åçæèªç¶è¯è¨ç计ç®æºç³»ç»ãç 究课é¢å
å«èªå¨æè¦(automatic summarization)ï¼è¯ç¯åæ(discourse analysis)ï¼æºå¨ç¿»è¯(machine translation)ï¼å½åå®ä½è¯å«(named entity recognition)ï¼èªç¶è¯è¨çæ(natural language generation)åè¯é³è¯å«(speech recognition)çã
ããä¸ãå¾å½¢å¦ä¸å¤åªä½ Graphics and Multimediaãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ããå¾å½¢å¦çç 究å
å«å¯¹èªç¶æ¯è±¡ç建模åå¨ç»çæ(modeling and animation of natural phenomena)ï¼è®¡ç®ææå¦(computational topology)ï¼å¾å½¢ç¡¬ä»¶ç使ç¨(graphics hardware utilization)ï¼æ¸²æ(rendering)ï¼ç½æ ¼å¤çåç®å(mesh processing and simplification)ï¼å½¢ç¶å»ºæ¨¡(shape modeling)ï¼æ²é¢åæ°å(surface parameterization)åå¯è§åå¤ç(visibility processing)çã
ããå¤åªä½ç 究å
æ¬å¾åå¤ç(image processing)ï¼è§é¢å¤ç(video processing)ï¼é³é¢åæ(audio analysis)ï¼ææ¬æ£ç´¢åç解(text retrieval and understanding)ï¼æ°æ®ææååæï¼ä»¥åæ°æ®èå(data fusion)ãå 为å¤åªä½æ°æ®å
å«ä¸åæ ¼å¼çæ°æ®(å¦ææ¬ï¼é³é¢ï¼è§é¢)ï¼æ以å®çç 究å
å«å¾å¤ä¸åé¢åçææ¯åç论ã
ããå
«ã人æºäº¤äº Human-Computer Interaction (HCI)ãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ããHCI主è¦ç 究人å计ç®æºä¹é´ç交äºãå®é常被认为æ¯è®¡ç®æºç§å¦ãè¡ä¸ºç§å¦ã设计åå
¶ä»ç¸å
³é¢åç 究ç交åå¦ç§ã
ããç 究课é¢å
æ¬ï¼
ãã(1) ä¸ä¸ææç¥è®¡ç®(Context-aware computing): è¡ä¸ºåæï¼æºè½ç©ºé´(Smart Spaces)ï¼å®ä½æç¥ç³»ç»(Location-aware systems)ï¼éç§ææ¯ã
ãã(2) æç¥äººæºçé¢(Perceptual Interfaces)ï¼åºäºè§è§ççé¢(Vision-based interfaces)ï¼è¯é³åè¯è¯çé¢(speech and discourse interfaces)ã
ãã(3) åååå¦ä¹ (Collaboration and Learning)ï¼åºäºæ¨¡å¼çç¼è¾å·¥å
·(Pattern-based authoring tools)ï¼ESL (English as a second language) å¦ä¹ ï¼ç¾¤ç»ååææ¯(group collaboration technologies)ï¼å
å«æå°çåå¸çè¿ç¨æ²æµ¸åå(geographically distributed tele-immersive collaboration)çã
ãã(4) éªå
å人çè§è§æ¨¡æ(Optometry and Human Vision Simulation)ï¼è®¡ç®æºè¾
å©çè§è建模åå¯è§åï¼å»å¦æå(medical imaging)ï¼ææ¯ä»¿ççèæç¯å¢(virtual environments for surgical simulation)ï¼ä»¿ç渲æ(vision realistic rendering)ã
ããä¹ãç§å¦è®¡ç® Scientific Computingãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ããç§å¦è®¡ç®ä¸»è¦æ¯ç 究æ建æ°å¦æ¨¡å(mathematical models)åæ°å¼è§£æ³(numerical solution)ï¼å¹¶ç¨è®¡ç®æºæ¥åæå解å³ç§å¦ã社ä¼ç§å¦ä»¥åå·¥ç¨é®é¢ã
ããç 究课é¢å
å«ï¼
ãã(1)并è¡è®¡ç®(Parallel computing): 并è¡è®¡ç®è¯è¨å并è¡ç®æ³ã
ãã(2)èªå¨æ§è½è°æ´(Automatic Performance Tuning): Automatic generation of optimized implementations of computational and communication kernelsã
ãã(3)ç½æ ¼åå(Mesh generation)ï¼èªå¨çæä¸è§ç½æ ¼(triangulated meshes)æ¥è¡¨ç¤ºç©çå计ç®åºåã
ãã(4)ç©éµè®¡ç®(Matrix computations)ï¼è®¾è®¡é«æçç©éµè®¡ç®ç®æ³å软件ã
ãã(5)æµ®ç¹æ°(Floating point)ï¼å¯æ©å±ç精度ç®æ¯(Extended precision arithmetic)ï¼å¯é çæµ®ç¹æ°æ å(Reliable floating point standards)ï¼æµ®ç¹æ°æ åçä½ç³»åæ§è¡æ¶é´å®ç°(Architectural and run time implications of floating point standards)ï¼æµ®ç¹æ°æ åçç¼ç¨è¯è¨å®ç°ã
ãã(6)计ç®æºä»£æ°(Computer Algebra)ï¼ç¬¦å·æ°å¦è®¡ç®æ¹æ³ã
ããåãä¿¡æ¯å®å
¨ Securityãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ãã课é¢å
å«ï¼
ãã(1)å¯ç å¦(Cryptology)
ããå¯ç å¦ç论(cryptography theory)ï¼æ°çå¯ç å¦ç³»ç»å¼å(development of new cryp ographic systems)ï¼å¯ç åæå¦(cryptanalysis)ï¼åè®®å¼åï¼åºç¨å¯ç å¦ï¼éå计ç®(quantum computation)ã
ãã(2)éç§(Privacy)
ããæ çº¿ä¼ æå¨ç½ç»çéç§ï¼RFIDç³»ç»çéç§ï¼æ°æ®åºçéç§é®é¢ï¼åºäºç½ç»çåºç¨çéç§ã
ãã(3)软件å®å
¨(Software security)
ããå¼åç¼ç¨è¯è¨å计ç®æºå®å
¨ä¹é´çç¸äºå½±åã
ãã(4)ä¸è´æ§åå®æ´æ§(Identity and integrity)
ããé¢é²âç½ç»éé±¼âåæ»å»ã
ãã(5)ç½ç»å®å
¨(Network security)
ããç½ç»å®å
¨æ£æµ(network security monitoring)åå
¥ä¾µé²å¾¡(intrusion prevention)ã
ããåä¸ãè½¯ä»¶å·¥ç¨ Software Engineeringãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ãã主è¦ç 究å¼å大è§æ¨¡è½¯ä»¶ç³»ç»çåçåææ¯ã
ããåäºãçç©ä¿¡æ¯å¦å计ç®çç©å¦ Bioinformatics and Computational Biologyãæè¦å¨è¯¢ï¼ä¸å®¶ççã
ããç 究é«æé²æ£ççç©è®¡ç®æ¨¡æç®æ³ï¼ä»¥ååºç¨æ°æ®ææï¼æºå¨å¦ä¹ ï¼èªç¶è¯è¨å¤çåä¿¡æ¯æ£ç´¢çæ¹æ³æ¥åæåææåç±»çç©æ°æ®ã
ããç 究课é¢å
æ¬ï¼
ãã(1)çç©ä¿¡æ¯å¦(Bioinformatics)
ããæ¯è¾åºå ç»å¦(Comparative genomics)ï¼éä¼ åæ(Genetic analysis)ï¼ç³»ç»åè²(Phylogenetics)ï¼ååè¿å建模(Molecular evolutionary modeling)ï¼åºå è°æ§ç½ç»(Gene regulatory networks)ã
ãã(2)èçªç³»ç»(Cellular systems)
ããèç½è´¨ç»æ建模(Protein structure modeling)ï¼åºå è°æ§ç½(Gene regulatory networks)ï¼åæçç©å¦(Synthetic biology)ï¼Computational systems biologyï¼ç»èä¿¡å·ä¼ 导éè·¯ï¼ä¼ è¾å代谢ï¼èªç»è£
ç³»ç»(Self-assembling systems)ã
ãã(3)ç¥ç»ç³»ç»(Neural systems)
ãã(4)çç©å»å¦ç³»ç»(Biomedical systems)
ããä¼ æå¨ï¼å¥åº·æå¡ç³»ç»ï¼çç模åï¼å»å¦å¾ååçç©å¾ååæã
ãã
温馨提示:答案为网友推荐,仅供参考