formal specification using Z language/ Z notation - 30/04/2018 16:51 EDT

I am data scientist and am proficient at implementing machine learning models and deep learning based models, both in R and python. I also am familiar with web-scrapping using python. I have good command over various regression and classification tasks. I have a background of theoretical mathematics and statistics. I have a strong background of theoretical statistics and probability theory.I graduated from Indian Institute of Technology, Kharagpur in 2016.