Y.S. RamakrishnaPost-Doctoral Research Associate
Pleasanton, California
Post-Doctoral Research Associate
Staff Software Engineer
Engineering Manager
Fellow, Theoretical Computer Science
Research Engineer, Electrical Engineering
Staff Engineer
Principal Member of Technical Staff
Post-Doctoral Research Associate
Principal Engineer (Software)
Member of Technical Staff
Doctoral Student, Electrical and Computer Eng
Senior Staff Engineer
University of California at Santa Barbara
Indian Institute of Technology, Kanpur
St. Xavier's College, Ranchi
Recommendations: 0
Formal Verification
Model Checking
Algorithms
Distributed Systems
C
C++
Java
JVM