Software Engineering
Master formal software specifications, architectural patterns, and production-grade CI/CD lifecycles.
This course provides comprehensive coverage of software engineering principles, contrasting theoretical formal verification with modern cloud-native development practices. Students analyze software reliability models, clean design patterns, domain-driven architectures, and automated testing pipelines. Graduates will bridge academic system modeling with enterprise-grade deployment, testing, and telemetry frameworks.
Curriculum
2 complete tracks. Study any or all — each has its own exam and certificate.
A mathematically rigorous exploration of formal specifications, algorithmic complexity bounds, structural design theory, and verification semantics across the software development lifecycle.
Theoretical foundations of software requirements derivation, predicate calculus specificat
- Axiomatic Semantics and Hoare Triples Lab40 min
- Z Notation and Model-Based Specification Lab45 min
- Formal Requirements Engineering and Traceability Lab35 min
Careers this prepares you for
- Software Systems Engineer
- Backend Architect
- Full-Stack Software Engineer
- DevOps & Quality Assurance Lead