Areas of Research



Algorithms and Complexity

Computer Systems

Concurrency and verification

Database

Human Computer Interaction

Languages and Systems

Logic Programming and Deductive Systems

Natural Language Processing

Networking

Security

Visual Computing