"Prémio Nobel da Informática" para Universidade de Carnegie Mellon

O Prémio Turing, conhecido por "Prémio Nobel da Informática", foi este ano atribuído ao prof. Edmund Clarke da Universidade de Carnegie Mellon. Esta universidade lecciona em conjunto com a FCUL o Mestrado em Segurança Informática e Doutoramentos em Informática e Matemática. O prémio foi atribuído "For his role in developing Model-Checking into a highly effective verification technology, widely adopted in the hardware and software industries."

Mais informação sobre o Mestrado em Segurança Informática:
http://cmuportugal.di.fc.ul.pt/?MSc_in_Information_Security