Computer Science and Engineering


Moshe Vardi

General Director - current
Rice University

Moshe Y. Vardi is an Israeli mathematician and a computer scientist. He is the George Distinguished Service Professor in Computational Engineering at Rice University.

Read More
His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

He is the author and co-author of over 600 papers, as well as two books: Reasoning about Knowledge and Finite Model Theory and Its Applications. He is currently a Senior Editor of the Communications of the ACM, after having served for a decade as Editor-in-Chief.

Read Less

The 3rd Winter School in Computer Science and Engineering


BLockchains33 The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies

Event date: December 16-20, 2018

Read More


General Director:

Michael Rabin (The Hebrew Univeristy of Jerusalem)



Maurice Herlihy (Brown University)


Moshe Vardi (Rice University)



Blockchain technology promises to revolutionize how modern society deals with trust. Although cryptocurrencies such as Bitcoin dominate the media, the long-term impact of blockchain technology on society will extend far beyond today's news cycles, transforming areas ranging from identity management, to non-currency financial instruments, supply chains and logistics, IOT security, and more.


The IIAS Winter School on Blockchains and cryptocurrencies brings together leading researchers in the field to cover the mathematical and algorithmic foundations of the field, as well as more practical engineering issues, with the goal of understanding both the opportunities and the hazards emerging from this area.



Maurice Herlihy (Brown University)

Emin Gun Sirer (Cornell University)

Aviv Zohar (The Hebrew University of Jerusalem)

Ittai Abraham (VMWare)



Full Program >

General Information >

Reimbursement Application Information >

Application Form >

payment page >

Recorded Lectures >




Read Less