Iosif Sifakis — Greek-French computer scientist | namepick