What is the most practical code you have written using theoretical comp sci?

I am a student currently studying most of the core Computer Science subjects, and yet I sometimes get the feeling that maybe no one uses this stuff anymore.

Any example where you have used your knowledge in theoretical comp sci (first order logic, or P=NP, etc) to solve real life problems?