Ironic...

Being an EE working as a computer programmer, I never imagined I would go so deep "back to the roots". What I'm working now is a research trying to figure out how to apply formal verification methods to power electricity control - a topic I always tried to avoid during my studies :-)