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

Prof. Rustam Sable

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

Prof. Ines Larkin

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

Prof. Priya Ovid

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

Prof. Yuki Ashby

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

Prof. Hassan Grimm

Computer graphics & rendering, Geometric computing, and Visualization.

Computer graphics & renderingGeometric computingVisualization

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

Professor · Networks & Concurrency

Prof. Lucia Selby

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