Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians.
Доктор Варди является редактором нескольких международных журналов и президентом International Federation of Computational Logicians.