Careers
News
Grievance
Login

ICTS

About
About ICTS

International Advisory Board

Management Board

Program Committee

Director's Page

Newsletter

Reports

Biennial Activity Reports

Triannual IAB Reports

Brochure

International Review Report

Campus

History

Values

Academic Freedom

Diversity & Inclusiveness

Ethical Guidelines
Research
Statistical Physics and Condensed Matter

Fluid Dynamics and Turbulence

Physical Biology

String Theory and Quantum Gravity

Astrophysical Relativity

Mathematics
Programs
Current & Upcoming

Past

Organize a Program

Special Lectures

Infosys-ICTS Chandrasekhar Lectures

Infosys-ICTS Ramanujan Lectures

Infosys-ICTS Turing Lectures

Abdus Salam Memorial Lectures

Public Lectures

Distinguished Lectures

Einstein Lectures

Vishveshwara Lectures

D. D. Kosambi Lectures

Madhava Lectures

Infosys-ICTS String Theory Lectures

Foundation Day Lectures

Special Events

Special New Year

ICTS at Ten

Spentafest

The Universe in a New Light

Strings 2015

Inauguration Event: Science at ICTS

MPE - 2013

Foundation Stone Laying Ceremony
Outreach
Lectures

Kaapi with Kuriosity

Einstein Lectures

Vigyan Adda

Vishveshwara Lectures

Public Lectures

Maths Circles

Maths Circle India

ICTS-RRI MATHS CIRCLE

Monthly Challenge

ICTS-NIAS Maths Circle

Special Events

Science Education Program

Prism

Science Outreach in Schools

Exhibitions

Mathematics of the Planet Earth 2013

Cosmic Zoom

Climate Chaos: We’re Just Warming Up

Blog

Other Events
People
Faculty

Postdoctoral Fellows

Students

Associates

Visitors

Scientific and Technical

Administrative

Directory
Academic
Postdoctoral Program

Graduate Studies

Physical Sciences

Mathematics

Applied Mathematics

Physics of Life

Graduate Courses

Summer Courses

Summer Research Program

Long Term Visiting Students Program

Seminars

Colloquia

TMC Distinguished Lectures

Thesis Archive

In-House
Support
Our Supporters

Endowment
Resources
Computing

Library

Transport

Cafeteria

Recreation

Child care

Visitor Guidelines

First Aid Centre

Counseling Service

How to Reach

Service Informatique
Careers
Academic Positions

Non-Academic Positions

PEOPLE Associates (Former)

N Raja

TIFR, Mumbai

Research Interests:
Logic and Foundations of Mathematics.
Automated and Interactive Theorem Proving.

USEFUL LINKS

Site map
Campus
Resources
Bus schedule
Important contact numbers
People directory
Women's Cell
Tenders
Right to Information Act
Careers

FOR MEMBERS

Datanet
Datanet 2
Intranet
CHSS
Holiday List

Connect

Survey No. 151, Shivakote,
Hesaraghatta Hobli,
Bengaluru - 560 089, India.

+91 80 4653 6000

info [at] icts . res . in

Copyright © 2024 International Centre for Theoretical Sciences