u Formal Methods: Researching formal methods for modeling, analysis,
and verification of critical properties, e.g., verifying compilers, formal
verifications of pseudocode, formally based software tools
u Software Engineering: Researching software intrusion tolerance and