I am currently a Ph. D. student. I recently concluded my M. Sc. on Formal Methods and Distributed Systems. #SOreadytohelp