Guest Prof. Vivek Nigam

Prof. Vivek Nigam from the Federal University of Parnaíba is visiting MAIS on September 5-7. He will give the talk Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders in a special session of the MAIS Graduate Seminar.