Skills you'll gain: Verification And Validation, Embedded Software, Process Modeling, Software Systems, Systems Analysis, Computational Logic, Distributed Computing, Theoretical Computer Science, Maintainability, Algorithms