Mathematical foundation
Mathematical Logic • Set Theory • Number Theory • graph theory • Type theory • category theory •Numerical Analysis & Information Theory
Theory of Computation
Automatic machine • computability theory • computational complexity theory • Quantum computing •numerical methods
Algorithms and data structures
Algorithm Analysis • Algorithm design • Computational Geometry
Programming languages and compilers
Parser • Interpreter • programming paradigms ( procedural programming , object-oriented programming ,functional programming , logic programming , etc.)
Concurrent , parallel and distributed systems
Multiprocessor • Grid • Concurrency Control
Software Engineering
Requirements analysis • Software Design & Programming • Formal Methods • Software Testing &Software Development Process
System Architecture
Computer System Architecture • microprocessor architecture • Operating Systems
Telecommunications and network
Routing • Network topology • Cryptography
Database
Database management system • Relational Database • SQL • Transaction Processing • Database Index •Data Mining
Artificial Intelligence
Automated Reasoning • Computational Linguistics • Computer Vision • Evolutionary Computation •Expert System • Machine Learning • Natural Language Processing • Robotics
Computer Graphics
Visualization & Computer Animation & Image Processing
Human-Computer Interaction
Computer Aided function • User interface • wearable computer • pervasive computing • Virtual Reality
Scientific Computing
Artificial Life • Bioinformatics • Cognitive Science • Computational chemistry •Computational Neuroscience & Computational Physics • Numerical Algorithms • Symbolic Computing
Mathematical Logic • Set Theory • Number Theory • graph theory • Type theory • category theory •Numerical Analysis & Information Theory
Theory of Computation
Automatic machine • computability theory • computational complexity theory • Quantum computing •numerical methods
Algorithms and data structures
Algorithm Analysis • Algorithm design • Computational Geometry
Programming languages and compilers
Parser • Interpreter • programming paradigms ( procedural programming , object-oriented programming ,functional programming , logic programming , etc.)
Concurrent , parallel and distributed systems
Multiprocessor • Grid • Concurrency Control
Software Engineering
Requirements analysis • Software Design & Programming • Formal Methods • Software Testing &Software Development Process
System Architecture
Computer System Architecture • microprocessor architecture • Operating Systems
Telecommunications and network
Routing • Network topology • Cryptography
Database
Database management system • Relational Database • SQL • Transaction Processing • Database Index •Data Mining
Artificial Intelligence
Automated Reasoning • Computational Linguistics • Computer Vision • Evolutionary Computation •Expert System • Machine Learning • Natural Language Processing • Robotics
Computer Graphics
Visualization & Computer Animation & Image Processing
Human-Computer Interaction
Computer Aided function • User interface • wearable computer • pervasive computing • Virtual Reality
Scientific Computing
Artificial Life • Bioinformatics • Cognitive Science • Computational chemistry •Computational Neuroscience & Computational Physics • Numerical Algorithms • Symbolic Computing
No comments:
Post a Comment