Congratulations to Hoda Abbasizanjani for passing her PhD viva on

“The combinatorics of minimal unsatisfiability: connecting to graph theory”.