aRtCS - What We Do

aRtCS will pursue foundational research across the breadth of theoretical computer science by bringing together leading researchers from across relevant disciplines such as Computer Science, Mathematical Science, Data Science, Electrical Engineering Science and Biological Science.

The area of theoretical computer science is vast, rich and diverse and aRtCS will serve as the community for the strongest talent across the globe to make broad strokes on its canvas. aRtCS will play a leading role in promoting cutting edge research in all areas of theoretical computer science, promoting scientific progress at the global level while nurturing talent at the local level.

Vision

To establish a globally leading center for theoretical computer science dedicated to advancing foundational research at the frontiers of mathematics and computation

Mission

To advance the mathematical foundations of computation through deep, curiosity-driven research; to provide an enduring intellectual home for long-term theoretical inquiry; and to cultivate a globally connected community of researchers engaged with the most fundamental questions in computer science and related mathematical disciplines.

Why aRtCS

aRtCS seeks to fill a critical gap in the global theory ecosystem by providing a permanent, world-class home for foundational research in India. At a time when short-term deliverables increasingly dominate research agendas, aRtCS is committed to preserving and advancing the long tradition of deep theoretical inquiry that underpins all of computer science. Our hope and belief is that establishing such a center will provide the fertile soil in which creative, beautiful and impactful new ideas will sprout, which will lead to important progress at the forefront of mathematical science and will eventually position Indian science as a global leader in fundamental research.

How We Work

aRtCS is designed as a theory-first research environment inspired by leading global institutes.

We advance foundational research by:

Sustained focus on talent, through long-term faculty engagement, postdoctoral fellowships, and doctoral training

Deep collaboration through extended visitor programs, thematic workshops, and research semesters

International exchange, with strong inbound and outbound research visits

Intellectual openness, encouraging interdisciplinary interaction across mathematics, computer science, and related fields

A culture of depth, prioritizing quality, originality, and long-horizon thinking over short-term metrics

What We Do

Core Areas

Cryptography

Computational Complexity

Algorithms

Graph Theory

Logic & Databases

Theoretical Machine Learning

Quantum Computing

Privacy in AI

Vision

Mission

Why aRtCS

How We Work

Join Us