Drive a research agenda and lead R&D in Formal Methods and related fields. Manage funded research programs, engage with clients, mentor teams, and promote trustworthy systems through publications and presentations.