Focus on software testing, debugging, and runtime monitoring; safety/security requirements for mission- and health-critical software; and trustworthy AI. Develops reproducible bioinformatics and neurodata workflows, prioritizing robustness, validation, and shareable analysis.