Σας ενημερώνουμε για την παρακάτω ομιλία η οποία θα δοθεί στα πλαίσια της σειράς εκδηλώσεων “Σεμινάριο CEID & Social Hour” και των ΔΠΜΣ ΥΔΑ, ΣΜΗΝ και ΟΣΥΛ.
Τίτλος: Writing Correct Code
Ομιλητής: Μάνος Καπρίτσος, Associate Professor, University of Michigan
Ημερομηνία-χώρος: Παρασκευή 20 Οκτωβρίου, 3-5μμ, ΤΜΗΥΠ, αμφιθέατρο Γ
Περίληψη: O Edsger Dijkstra είχε πει: “If debugging is the process of removing software bugs, then programming must be the process of putting them in.” Οι προγραμματιστές περνάνε την περισσότερη ώρα τους αφαιρώντας bugs από τον κώδικά τους. Δυστυχώς, όσο προσεχτικός και αν είναι κάποιος, πάντα υπάρχουν bugs που δεν έχουν διαγνωστεί, τα οποία μπορούν να προκαλέσουν ολέθριες συνέπειες στην πράξη. Σε αυτή την ομιλία θα παρουσιάσω ένα διαφορετικό τρόπο προσέγγισης του προγραμματισμού: το formal verification, μια τεχνική για να γράφει κάποιος κώδικα που να μην περιέχει καθόλου bugs. Χωρίς να μπω σε πολλές λεπτομέρεις, θα περιγράψω τα βασικά χαρακτηριστικά αυτής της τεχνικής και τις διάφορες εφαρμογές της στην πράξη.
Σχετικά με τον ομιλητή: Manos Kapritsos is an Associate Professor at the University of Michigan, Ann Arbor, USA. Before joining UM in 2017, Manos got a Bachelor’s (2005) and Master’s (2007) degree in Computer Science from the Computer Engineering & Informatics Department in Patras, Greece; and a PhD degree in Computer Science in 2014 from the University of Texas at Austin, under the supervision of Lorenzo Alvisi. He then spent two years as a postdoctoral researcher in Microsoft Research at Redmond, WA. Manos’ research spans multiple areas of reliability, including formal verification and fault tolerant replication. He has received two Distinguished Paper Awards (USENIX Security 2017, PLDI 2020), the Jon R. and Beverly S. Holt Award for Excellence in Teaching, and an NSF CAREER award.