Department · vaiu-cai-cs-*

Computer Science

The core of computing — algorithms, theory, systems, programming languages, and graphics that form the foundation of all computational disciplines.

● 6/6 appointed & live Programs: Online certificate programs in computer science, foundational programming courses, and advanced systems and theory certificates.

Research areas

Faculty directory

Department chair

Algorithms

Algorithm design & analysis, Data structures, and Optimization & approximation algorithms.

Algorithm design & analysisData structuresOptimization & approximation algorithms

● Appointed & liveField 5/5 · Teach 3/3 · Bound 3/3

Professor

Theory of Computation

Computability & complexity, Formal languages & automata, and Cryptographic theory.

Computability & complexityFormal languages & automataCryptographic theory

● Appointed & liveField 5/5 · Teach 3/3 · Bound 3/3

Professor

Computer Systems

Operating systems, Distributed & parallel systems, and Computer architecture.

Operating systemsDistributed & parallel systemsComputer architecture

● Appointed & liveField 5/5 · Teach 3/3 · Bound 3/3

Professor

Programming Languages

Language design & semantics, Compilers, and Type systems & formal verification.

Language design & semanticsCompilersType systems & formal verification

● Appointed & liveField 5/5 · Teach 3/3 · Bound 3/3

Professor

Graphics & Vision

Computer graphics & rendering, Geometric computing, and Visualization.

Computer graphics & renderingGeometric computingVisualization

● Appointed & liveField 5/5 · Teach 3/3 · Bound 3/3

Professor

Networks & Concurrency

Computer networking, Concurrent & parallel programming, and Cloud & edge computing.

Computer networkingConcurrent & parallel programmingCloud & edge computing

● Appointed & liveField 5/5 · Teach 3/3 · Bound 3/3