Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Statistical Modeling, Probability, Algorithms, Probability Distribution