Gave guest lectures on formal verification of neural networks and graph neural network verification for Vanderbilt’s Formal Methods course, April 7 & 9, 2026.