Congratulations, Dr. Annu Gmeiner

Wednesday, Nov 18, 2015

Annu Gmeiner defended her PhD thesis on parameterized verification of fault-tolerant distributed algorithms. Congratulations!

annu defense