Professor Moshe Vardi from Rice University (USA) received the title of Doctor Honoris Causa at the Federal University of Rio Grande do Sul. The award was given by the president of the University, Prof. Carlos Alexandre Netto on June 15th 2015.
This honorary degree honors Prof. Vardi for his exceptional contributions, influence and worldwide research leadership in Computer Science.
Professor Vardi, originally from Israel, has obtained his PhD in Computer Science from the Hebrew University in Jerusalem in 1981 and joined the Rice faculty in 1993.
Having received dozens of awards from all continents, Moshe Vardi is widely known as a leader in the fields of logical theory of databases, reasoning about knowledge, the automata-theoretic approach to program verification, and finite model theory.