C.R. Ramakrishnan

Stony Brook University

 

C. R. Ramakrishnann is a professor of Computer Science at Stony Brook University.   His main areas of research are computational logic, formal methods, knowledge representation, and distributed quantum computing.  He has worked in 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.  His past work has spanned various aspects of inference in logic programs, ranging from incremental evaluation to combine statistical and logical knowledge.  His recent work has been on algorithms for efficient entanglement distribution in quantum computations and on distributing  computations over networked quantum computers.   His research has been consistently funded by grants from the NSF and the ONR.