[nextos]

You can combine software engineering and math. Try formal methods. Beautiful abstract algebra, like Galois connections, and super-useful. An appetizer:

* http://www.concrete-semantics.org/

* http://dl.acm.org/citation.cfm?id=555142