- Category theory and its influence in programming.
- Monad transformers in Haskell.
- The ML functional programming language. And comparison to Haskell.
- Containerization and Docker.
- Virtual data center management: Mesos, Kubernetes, Cloud Foundry.
- Models of message brokerage: RabbitMQ, Kafka, Akka. Comparison of guarantees.
- The cake pattern.
- Type classes: in Haskell and in Scala.
- Spring boot.
- SDN - Software-Defined Networking.
- Basic network security.
- Functional parsing.
- Sharding and replication implementation strategies, in Dynamo, Cassandra, ...
- Modern UI frameworks - e.g., React.