Teaching Experience

I have been teaching at the Indian Statistical Institute since 1980 both at undergraduate and graduate level. I have given courses on Real, Complex and Functional Analysis, Measure Theory, Algebra, Point set Topology and Algebraic topology (homology, cohomology, homotopy, Characteristic Classes and K-theory), Optimisation techniques, Automata and Complexity theory, Mathematical Logic and Descriptive set theory.

Current areas of research: Descriptive set theory, Model Theory, Modal Logic and Topology.

    Awards
  • Indian National Science Academy medal for Young Scientists, 1981.

Education

1971

University of Calcutta

B.Sc. (Hons.), Honours in Mathematics

1973

Indian Statistical Institute

M.Stat.

1979

Indian Statistical Institute

Ph.D. (Thesis Title: Studies in the theory of Measurable Multifunctions, Thesis Supervisor: Professor Ashok Maitra)

Current areas of Research

Indian Statistical Institute

Descriptive set theory, Model Theory, Modal Logic and Topology.

Experience

1979 - 1980

Institute for Advanced Studies, Princeton, USA

Member

1980 - 1985

Indian Statistical Institute, Calcutta.

Lecturer.

1986 - 1987

Indian Statistical Institute, Calcutta.

Senior lecture.

1987 - 1993

Indian Statistical Institute, Calcutta

Associate Professor.

1993 - 2011

Indian Statistical Institute, Calcutta.

Professor.

2011 Onwards

Indian Statistical Institute, Kolkata.

Professor (Higher Academic Grade).

Short Term Academic Visits

USA

North Texas State University, California Institute of Technology, Pasadena; University of Illinois, Chicago and Urbana-Champaign, Rutgers University, New Jersey; University of Notre Dame, Indiana.

Poland

Universities of Warsaw, Wroclaw and Gdansk.

France

Univerisity of Paris VI.

Italy

Universities of Udine, Milan, L'Aquila, Naples and Roma II.

Japan

Tokyo Technical University and Osaka City university, University of Kobe, Research Institute in Mathematical Sciences, Kyoto.

Germany

Technical University, Dortmund; University of Munster.

South Africa

Godel Research Centre, University of Vienna, Austria and University of KwaZulu Natal, Durban.

Greece

University of Athens.

Singapore

National University of Singapore.

Conference & Workshop

Organised by me

Workshop and Conference on Descriptive Set Theory and Model Theory, Dec. 27,2012 to January 4, 2013.

Indian Statistical Institute

Instructional School on Logic and Set Theory, February 18 to March 1, 2013.

Kerala School of Mathematics, Kozhikode.

Instructional School on Topology for College and University Teachers, Sept. 30 - Oct. 12, 2012.

Almora.

AIS in Set Theory, 13 April - 3 May, 2015.

University of Kashmir, Srinagar.

School in Analysis and Topology for college and University Teachers, February 22 - March 4, 2016.

ISI NE Centre, Tezpur.

International Workshop and Conference in Set Theoretic and Topological methods in Model Theory, September 7-12, 2017

Indian Statistical Institute NE centre, Tezpur.

A series of Talk given by me

Conference on Model Theory, University of Illinois.

Chicago, 1979.

Conference on Measure theory.

Oberwolfach, Germany, 1981.

School on set Theory, CIMPA, Nice.

France, 1984.

Workshop on Computability, CISM, Udine.

Italy, 1990.

Several Meetings of Indian School and Conference on Logic and its applications (ISLA and ICLA).

Indian Logic Association.

AMS meeting.

Bangalore, 2006.

Conference on Modal Logic.

Copenhagen, Denmark, 2012.

Conference on Modal Logic, Dagstuhl.

Germany, 2012.

Satellite Conference in Model Theory, Daejon.

S. Korea, 2014.

Thematic Program on Model Theory, June 2016, at University of Notre Dame.

USA.

Joint International Conference of AMS and Indian Mathematics Consortium.

Varanasi, 2016.

Conference in Model Theory, July 2-7, 2017.

Bedlewo, Poland.

Attended International Congress of Mathematicians at:

Madrid, Spain.

2006.

Hydrabad, India.

2010.

Scout, S.Korea.

2014.

Publications

1998

A Course on Borel Sets, GTM 180, Springer.

2013

A Course on Mathematical Logic, Second Edition, UTX, Springer.

2017

(with H. Sarbadhikari) A Course on Basic Model Theory, Springer, Singapore.

S.M. Srivastava.

"Selection theorems for Gdelta-valued multifunctions", Trans. Amer. Math. Soc., 254 (1979), 283 - 293.

S.M. Srivastava.

"A representation theorem for closed valued multifunctions", Bulletin of the Polish Academy of Sciences, 27 (1979), 511 - 514.

S.M. Srivastava.

"A representation theorem for G delta-valued multifunctions", American Journal of Mathematics, 102 (1980), 165 - 178.

S.M. Srivastava and H. Sarbadhikari.

"Parametrizations of G delta-valued multifunctions", Trans. Amer. Math. Soc., 258 (1980), 165 - 178.

S.M. Srivastava.

"Selection and representation theorems for sigma-compact valued multifunctions", Proc. Amer. Math. Soc., 83 (1981), 775 - 780.

S.M. Srivastava and R.D. Mauldin.

"Parametrisations des ensembles co-analytiques a coupes relativement non-maigres", C.R. Acad. Sci., Paris, Series I, 292 (May 4, 1981), 743 - 745.

S.M. Srivastava and A.B. Raha.

"Spaces for which Dini's Theorem holds", Bulletin of The Polish Academy of Sciences, 29 (1981), 275 - 278.

S.M. Srivastava and Sreela Bhattacharya.

"Selection Theorems and Invariance of Borel Pointclasses", Proc. Amer. Math. Soc., 97 (1986), 707 - 711.

S.M. Srivastava and H. Sarbadhikari.

"Random Theorems in Topology", Fundamenta Mathematica, 136 (1990), 65 - 72.

S.M. Srivastava and H. Sarbadhikari.

"Random versions of Extension Theorems of Dugundji Type and Fixed Point Theorems," Bollettino Unione Matematica Italiana, 7 - B, 1993.

S.M. Srivastava.

"Approximations and Approximate Selections of upper Caratheodory Multifunctions", Bollettino Unione matematica Italiana, (7)8 - A (1994), 251-262.

S.M. Srivastava.

"Extensions of Multifunctions", Bollettino Unione matematica Italiana, (7) 9 - A (1995), 245-258.

S.M. Srivastava.

"Borel partitions of Unity and Lower Caratheodory Multifunctions", Fundamenta Mathematica, 146 (1995), 239-249.

S.M. Srivastava and B. V. Rao.

"A simple proof of the Borel Isomorphism Theorem", Real Analysis Exchange, 20(1), 1994/95, 347-349.

S. Solecki and S. M. Srivastava.

"Automatic ccontinuity of group operations", Topology and its applications, 77(1997), 65-75.

A. Klopotowski, M. G. Nadkarni, H. Sarbadhikari, S. M. Srivastava.

"Sets with doubleton sections, good sets and ergodic theory", Fundamentae Mathematicae, 173(2002), 133-158.

S. M. Srivastava and R. Thangadurai.

"On Steinhaus sets Expo. Math. 23(2005), 171-177.

E. E. Doberkat and S. M. Srivastava.

Measurable Selections, Transition Probabilities and Kripke Models, Fundamenta Mathematicae, Accepted for Publication.

March 1997

Transfinite Numbers, What is Infinity, Resonance, Volume 2, Number 3, pp. 58 - 68.

July 2001

Life and Work of Kurt Godel - A Brief Sketch, Resonance, Volume 6, No. 7, pp. 2 - 3.

July 2001

The Completeness Theorem of Godel|An Introduction to Mathematical Logic, Resonance, Volume 6, No. 7, pp. 29 - 41.

August 2001

The Completeness Theorem of Kurt Godel|Henkin's Proof for First Order Theory, Resonance, Volume 6, No. 8, pp. 60 - 71.

February 2007

Godel's Proof|An Introduction to Mathematical Logic, Resonance, Volume 12, No. 2, pp. 59 - 70.

March 2007

Godel's Proof|Semantics of First Order Theory and Hilbert's Programme, Resonance, Volume 12, No. 3, pp. 71 - 84.

May 2007

Godel's Proof - Incompleteness Theorems, Resonance, Volume 12, No. 5, pp. 71 - 84.

November 2014

Georg Cantor, Resonance, Volume 19, No. 11, 172 - 173.

November 2014

How did Cantor Discover Set Theory and Topology, Resonance, Volume 19, No. 11, pp. 977 { 999.

Get In Touch

Stat-Math Unit
Indian Statistical Institute
203 B. T. Road
Kolkata 700108, India