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

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://www.concrete-semantics.org/ * http://dl.acm.org/citation.cfm?id=555142 http://dl.acm.org/citation.cfm?id=555142