Algorithms, Complexity, Optimization

Data systems, ML systems, Distributed systems, Mobile systems...

Algorithms...

Structural Properties of Networks, Algorithms, Data Structures...

Algorithm Design, Stochastic Problems...

Computer Vision and Machine Learning...

High Speed Networks, Graph Theory, Algorithms...

Database and Information Systems...

Fault-Tolerant Algorithms, Extremal Graph Structures, Dynamic ...

Affordable Health Care, Embedded Systems...

Program Verification, Model Checking, Syntax-Guided-Synthesis...

Artificial Intelligence, Natural Language Processing...

Database and Information Retrieval Techniques for Semantic Web Data ...

Automata Theory, Quantitative Verification, Computational Complexity...

Machine Learning, Social Network Analysis, Artificial Intelligence...

Embedded Systems, CAD for VLSI...

Formal Methods and Artificial Intelligence...

Algorithms, Complexity Analysis...

Machine Learning, Big Data Analytics, Neuroimaging, High Performance ...

Computer Graphics, Animation, Numerical Simulation...

Quantum Computing, Fine-grained Complexity and Cryptography...

Mobile and Embedded Systems (Hardware Architecture, OS, Sensing, ...

Human Robot Interaction, Language Grounding, Symbolic Reasoning...

Algorithms and Economics, Artificial Intelligence, Computational ...

Semantics and Verification, Programming Languages, Concurrent Systems...

Machine Learning and Data Mining for Graphs, Spatio-temporal Data ...

Intelligent Systems, ML- and LLM-based System Design, AR/VR, ...

Operating Systems, Compilers...

Data Management, Knowledge Discovery and Data Mining, Natural Language ...

Computer Graphics, Virtual Reality, Geometry Processing, Parallel ...

Formal Methods, Program Analysis, Concurrent Systems...

Computer Network...

Formal methods, Verification and Security...

Theoretical Cryptography, Quantum Computing...

Security and Privacy in Cyber-Physical Systems, Applied Cryptography, ...

Machine Learning and Data Privacy...

Dependable Distributed and Networked Systems...

Computing, Security Data Science, Artificial Intelligence...

Security and Privacy, Formal Verification...

Communication Networks,Data Analytics, Machine Learning and Artificial ...

High Performance Computing Group IBM India Research ...

CAD for VLSI, Computer Architecture

Ad-hoc Networks, Sensor Networks, High-Speed Networks, Network Security

Formal Methods, Program Analysis, Distributed Computing, Social Aspects of Computing

CAD for VLSI, Computer Architecture

Professor of Computer Sciences,
Computational Applied Mathematics Chair in Visualization,
Director, Center for Computational Visualization,
Institute for Computational Engineering and Sciences

Algorithms, Parallel Processing, Information Systems