Name: Pnueli,Amir

Nobody at IST Austria has claimed this name. This might be somebody from another campus.