Fully funded research project on explanations for combinatorial optimization: develop methods connecting solver proof certificates to human-understandable explanations, enabling end-to-end correctness, auditability, and transparent decision-making for critical systems.