include, but are not limited to: Build and advance a Formal Methods-related research area for BBN having measurable impact... as a leader of an exceptional team while building technologies to support Formal Methods for verification of processes, networks...