Guest: Prof. Brigitte Pientka

Dr. Brigitte Pientka from McGill University is visiting MAIS on May 12. She is giving the talk "Beluga: Establishing Trustworthy Computing through Programming Proofs" in a special session of the MAIS Graduate Seminar in room A213 at 10:30.