In computer science, theoretical research often leads to impactful applications, and conversely, problems in real-world applications often lead to novel and healthy theoretical developments. When theoreticians move to tackle problems in a new application field, however, the collaborative and interdisciplinary nature of the required efforts can become major challenges. I will talk about my experience of expanding a research portfolio from theory to application, specifically from logic and category theory to safety and reliability of automated driving systems and other cyber-physical systems. The talk will feature technical contents, mainly from the work with Kohei Suenaga about transferring program logic to hybrid dynamics via nonstandard analysis, a collaboration that opened my eyes to the beauty and fun of application-driven theoretical research.