Ο Ιωσήφ Σηφάκης, ο μοναδικός Έλληνας ερευνητής που έχει τιμηθεί με το βραβείο Τούρινγκ, την αντίστοιχη του Νόμπελ διάκριση στην Πληροφορική, έχει συνδέσει την πολυετή διαδρομή του με την επαλήθευση πληροφορικών συστημάτων. Σε μια εποχή που η τεχνητή νοημοσύνη και οι έξυπνες εφαρμογές έχουν μπει ραγδαία στη ζωή μας, ο σπουδαίος
