Infosys Springboard — Foundation in formal languages, automata, finite state machines; strengthened analytical thinking and understanding of computation.