Department of Computer Science
Postgraduate research topics
Software Engineering Research Group
Topics include software tools and techniques, formal methods, human computer interaction, computer graphics, and database systems.
Topics include automata theory, computational biology, computational complexity, computability and randomness, and design and analysis of algorithms.
Systems Development & Evaluation
Topics include networking research, DNS History Database Project, IPv6 deployment, and hardware and software support for transactional memory systems.
Intelligent Systems and Informatics
Topics include theoretical and practical aspects of artificial intelligence, modern health informatics, computational biology, and medical imaging.