Where is cp radhakrishnan born

C.p. radhakrishnan son name
What is the full name of cp radhakrishnan
Cp radhakrishnan daughter name

•

Venki Ramakrishnan

British-American structural biologist (born 1952)

Venkatraman Ramakrishnan (born 1952) is a British-American structural biologist. He shared the 2009 Nobel Prize in Chemistry with Thomas A. Steitz and Ada Yonath for research on the structure and function of ribosomes.^[6]^[9]^[10]^[11]

Since 1999, he has worked as a group leader at the Medical Research Council (MRC) Laboratory of Molecular Biology (LMB) on the Cambridge Biomedical Campus, UK and is a Fellow of Trinity College, Cambridge.^[12]^[13]^[14]^[15]^[16] He served as President of the Royal Society from 2015 to 2020.^[17]

Education and early life

Ramakrishnan was born in 1952 in Chidambaram in Cuddalore district of Tamil Nadu, India.

His parents, Prof. C. V. Ramakrishnan and Prof. Rajalakshmi Ramakrishnan were both scientists,^[18]^[19] and his father was head of the department of biochemistry at the Maharaja Sayajirao University of Baroda.^[1]^[20] At the time o

•

C.R. Ramakrishnan

Department of Computer Science
Room 233
Stony Brook, NY 11794-2424

cram [at] cs.stonybrook.edu

Interests

Logic Programming, Programming Languages, Verification.

Biography

C.R. Ramakrishnan received his Ph.D. in Computer Science from Stony Brook University in 1995, and M.Sc.(Tech) in Computer Science and M.Sc.(Hons) in Physics from Birla Institute of Technology and Science, Pilani, India in 1987.

Research

C.R. Ramakrishnan's areas of research are logic programming and formal methods. He has worked, and continue to work, on the analysis of temporal properties of concurrent systems by encoding the system semantics as logical inference rules, and formulating the analysis problem as one of performing inference over these rules. He works on various aspects of inference in logic programs, ranging from incremental evaluation to data structures and constraints. He also works on specification languages of concurrent systems, especially those that deal with mobile systems, and on model checking of such systems. His work also involves

•