Petros Barbagiannis: student profile
msc
| Enrolled in: | January 2014 |
|---|---|
| Graduated on: | Thursday, 21 Dec 2017 |
Thesis
Title: Non-Strict Pattern Matching and Delimited Control.
Defended: Tuesday, 31 Oct 2017.
Course participations
- Π03Γ. Type systems for programming languages (2013-2014, fall semester)
- Λ4. Algorithms and complexity II (2013-2014, fall semester)
- Λ3. Algorithms and complexity I (2013-2014, fall semester)
- Λ2. Computability (2013-2014, fall semester)
- Λ1. Mathematical logic (2013-2014, spring semester)
- Μ6. Set theory (2013-2014, spring semester)
- Π03Β. Semantics of programming languages (2013-2014, spring semester)
- Λ2. Computability (2014-2015, fall semester)
- Λ4. Algorithms and complexity II (2014-2015, fall semester)
- Π14Α. Theory of linear programming (2014-2015, fall semester)
- Π02Ε. Computational algebra (2014-2015, fall semester)
- Π03Γ. Type systems for programming languages (2014-2015, fall semester)
- Π02Δ. Computational geometry (2014-2015, spring semester)
- ΛΔΕ. Msc thesis (2014-2015, spring semester)
- Λ5. Research methodology (2014-2015, spring semester)