Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians.
Доктор Варді є редактором кількох міжнародних журналів і президентом Міжнародної федерації обчислювальніх логіків.