I develop methods to improve reliability and efficiency of software systems and simulators using search-based optimization, fuzzing, differential testing, and formal models. Current work applies ML/LLMs to quantum software stacks, cross-platform validation, and sustainable software engineering.