ºÝºÝߣ

Noida Area, India India

Researcher

Technology / Software / Internet

• 5+ years of total work experience in Industries including 1.5 years as Data Scientist in Uneva Automations India Pvt Ltd. • 6+ years of academic experience in Formal Modeling and Analysis. • Developed a tool named "Tool for Calculating Steady State Probability (TCSP) 1.0", which is used to calculate steady state probability for any combination of system variables of the certain process model in seconds- Approved by author of PRISM, David Parker from Oxford University. • R Language- Acquired Certification in R Programming from John Hopkins University. • Acquired Certification in Machine Learning from DataCamp. • Proficient in data analyzing tools like R, AWK, Probabilistic Symboli...