Durjay Chowdhury, a candidate in the Department of Computer Science, will present his Master of Science thesis defence on Monday, Sept. 11 at 9 a.m. in Mackenzie Chown H-Block 313.

His thesis is titled Approximation Algorithms using Allegories and Coq.

His examination committee members are Dr. Michael Bidochka, Chair; Dr. Martin Müller, External Examiner, (University of Applied Sciences Bonn-Rhein-Sieg); Dr. Michael Winter, Supervisor; Dr. Brian Ross and Dr. Ke Qui, Committee Members.