Computational Imaging

More information coming soon.

Computational Linguistics & Natural Language Processing

Research Topics: natural language processing (NLP), speech processing, information retrieval, machine translation, language acquisition, formal perspectives on language, cognitive modelling of language acquisition and processing, semantic change, lexical evolution, lexical composition, cross-linguistic semantic typology, applications of NLP in health and medicine, applications of NLP in the social sciences and humanities

Computational Social Science

Research Topics: novel digital data and computational analyses for addressing societal challenges, analysis of online social networks and social media, intersection of AI and society, application of machine learning to social data, analysis of large-scale online data for social science applications, algorithmic fairness and bias

Computer Vision

Research Topics: tracking, object recognition, 3D reconstruction, physics-based modelling of shape and appearance, computational photography, content-based image retrieval and human motion analysis

Human-Centred Artificial Intelligence

More information coming soon.

Knowledge Representation and Reasoning

Research Topics: knowledge representation, reasoning and inference, planning and decision making, search, multi-agent systems, sequential decision-making, cognitive robotics, reasoning about knowledge, belief, acting and sensing, constraint and satisfiability reasoning

Responsible AI

More information coming soon.

Robotics

Research Topics:

• Medical robotics, surgical robotics, continuum robotics, soft robots

• Robot manipulation, kino-dynamic modelling of robots, motion planning, optimal control

• Self-driving cars, mobile and field robotics, autonomous vehicles

• Human-robot interaction, multi-agent systems

Computational Biology

Research Topics: algorithms, machine learning, biomedical NLP, visualization for genomics, proteomics, and systems biology

Computational Finance

More information coming soon.

Computational Medicine

Research Topics: machine learning, human computer interaction, vision, speech and NLP for healthcare and medicine, translating computational tools to the bedside, use of mobile devices in medicine, assistive technologies: design and deployment of enabling technology to be accessible to broader groups in society

Computer Graphics

Research Topics:

• Computational fabrication: 3D printing, laser cutting, geometric optimizations

• Computational imaging: novel 3D sensors, computational cameras, modelling real-world light transport, computer vision for photography

• Geometry processing: discrete differential geometry, surface acquisition

• Animation: physics-based animation, character and facial animation, biomechanical simulation

• Shape modelling: sketch-based modelling and rendering

• Augmented and virtual reality: interaction, perception

Computer Science and Education

Research Topics:

• Computer science education: teaching and learning of computer science. Examples include: introductory programming, advanced programming, software development, visual & end-user programming for non-computer scientists, computational thinking, fostering positive attitudes and motivating diverse learners in CS.

• Using computer science to enhance education: using computer science techniques to investigate educational principles and design technology for learning. Examples include: human-computer interaction design of educational technologies, adaptive and personalized learning, crowdsourcing & human computation that involves learners and instructors, educational data mining, learning analytics, artificial intelligence and statistical machine learning in education (e.g. active learning, reinforcement learning for adaptive instruction), intelligent self-improving systems & intelligent tutoring systems, randomized A/B experimentation at scale, software learning, cognitive & interactive tutorials

Data Management Systems

Research Topics: query processing and optimization, web data management, video and image query processing systems, applications of machine learning to processing massive data sets, approximate techniques for query processing, spatial query processing, database system internals

AI for Formal Methods

More information coming soon.

Formal Methods for AI

More information coming soon.

Formal Verification

More information coming soon.

Theorem Proving

More information coming soon.

Critical Computing

More information coming soon.

Data Visualization

More information coming soon.

Interactive Technologies

More information coming soon.

Ubiquitous Computing

More information coming soon.

Machine Learning for Health

More information coming soon.

Machine Learning for Robotics

More information coming soon.

Other Applications of Machine Learning

More information coming soon.

Theory and Methods of Machine Learning

More information coming soon.

Programming Languages

Research Topics: study of programming languages, language theory, program analysis (static and dynamic), program logics and proofs of program correctness, program synthesis (automated programming), automated verification, model checking, quantitative reasoning about software systems, software safety and security, theorem proving

Quantum Computing

Research Topics: algorithms, cryptography, complexity, verification of quantum computers, algorithms for near-term quantum computers, quantum hamiltonian complexity, quantum machine learning, optimization, applications to physics and chemistry

Compilers for Scientific Applications

Research Topics: domain-specific compilers, code generation, programming languages for scientific computing, autotuning, verification of numerical codes

High-Performance Computing

Research Topics:parallel algorithms, extreme-scale scientific computing, computational science, performance modelling, compilers for scientific computing

Numerical Analysis and Computing

Research Topics: numerical methods and analysis of ODEs and PDEs, solution of large sparse linear systems, numerical software, high performance scientific computing, scientific visualization, computational finance, medical imaging, stochastic models, effective software for systems of ODEs, DDEs and related problems, sensitivity analysis of ODE solvers

Social Networks

Research Topics: algorithms for social network analysis, graph structure of social networks, user behavior and interaction, reputation and influence, content distribution and sharing, incentive mechanisms, game theory, optimal design of online social networks, network formation and dynamics, social networks and economic theory

AI for Code

More information coming soon.

Blockchain Contracts

More information coming soon.

Empirical Methods in Software Engineering

More information coming soon.

Requirements and Modelling

More information coming soon.

Software Engineering for Trustworthy AI

More information coming soon.

Testing and Verification

More information coming soon.

Sustainability Informatics

Research Topics: computational models of climate change, sustainability analytics, energy efficient computing, and green IT

Computer Architecture

Research Topics: architecture, hardware, compiler optimization, hardware-based acceleration, high performance computing, energy-efficient computing, hardware/software cooperation, memory systems, hardware security

Computer Networks

Research Topics: network protocols / algorithms / systems / architecture, software-defined networking, theory of networks, online social networks, wireless networks, data centre networks, rate control, quality of service and pricing

Computer Systems

Research Topics: operating systems, mobile/pervasive/ubiquitous computing, virtual machines, compiler optimization, file and storage systems, reliability, cloud computing, data-intensive computing, distributed systems, datacentres

Distributed Systems (Cloud, Edge, Data Centre)

More information coming soon.

Security and Privacy

More information coming soon.

Theoretical Computer Science

Research Topics: general interest in theoretical computer science

Algorithms

Research Topics: design and analysis of algorithms and data structures, continuous and discrete optimization, randomization, approximation, fairness, algorithmic aspects of social networks

Computational Complexity

Research Topics: complexity of boolean functions (including circuit complexity, algebraic circuits, and quantum complexity), proof complexity, communication complexity, classes and resources (time, space, randomness)

Cryptography and Foundations of Privacy

Research Topics: rigorous definitions of security, cryptographic algorithms and protocols, quantum cryptography, private data analysis

Game Theory and Social Choice

Research Topics: equilibrium analysis, voting, resource allocation, incentives in machine learning

Graph Theory and Graph Algorithms

Theory of Distributed Computing

Research Topics: algorithms and lower bounds for distributed computing problems