Πέτρος Μπαρμπαγιάννης: student profile
msc
| Enrolled in: | Ιανουάριος 2014 |
|---|---|
| Graduated on: | Πέμπτη, 21 Δεκ 2017 |
Thesis
Title: Non-Strict Pattern Matching and Delimited Control.
Defended: Τρίτη, 31 Οκτ 2017.
Course participations
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (2013-2014, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2013-2014, χειμερινό εξάμηνο)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (2013-2014, χειμερινό εξάμηνο)
- Λ2. Υπολογισιμότητα (2013-2014, χειμερινό εξάμηνο)
- Λ1. Μαθηματική λογική (2013-2014, εαρινό εξάμηνο)
- Μ6. Θεωρία συνόλων (2013-2014, εαρινό εξάμηνο)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (2013-2014, εαρινό εξάμηνο)
- Λ2. Υπολογισιμότητα (2014-2015, χειμερινό εξάμηνο)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (2014-2015, χειμερινό εξάμηνο)
- Π14Α. Θεωρία γραμμικού προγραμματισμού (2014-2015, χειμερινό εξάμηνο)
- Π02Ε. Υπολογιστική άλγεβρα (2014-2015, χειμερινό εξάμηνο)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (2014-2015, χειμερινό εξάμηνο)
- Π02Δ. Υπολογιστική γεωμετρία (2014-2015, εαρινό εξάμηνο)
- ΛΔΕ. Διπλωματική εργασία (2014-2015, εαρινό εξάμηνο)
- Λ5. Ερευνητική μεθοδολογία (2014-2015, εαρινό εξάμηνο)