Christos Pilichos: student profile
msc
| Enrolled in: | October 2012 |
|---|---|
| Graduated on: | Thursday, 21 Dec 2017 |
| Chosen specialization: | logic and the theory of algorithms and computation |
Thesis
Title: Algorithms in Group Theory.
Defended: Monday, 13 Nov 2017.
Course participations
- Λ2. Computability (2012-2013, fall semester)
- Λ3. Algorithms and complexity I (2012-2013, fall semester)
- Λ4. Algorithms and complexity II (2012-2013, fall semester)
- Λ15. Proof theory (2012-2013, fall semester)
- Λ05Δ. Graph Theory (2012-2013, fall semester)
- Λ1. Mathematical logic (2012-2013, spring semester)
- Μ6. Set theory (2012-2013, spring semester)
- Λ14. Introduction to λ-calculus (2012-2013, spring semester)
- Λ13Ο. Approximation algorithms and mechanisms design (2012-2013, spring semester)
- Λ07Ν. Parameterized complexity and algorithms (2012-2013, spring semester)
- Λ13Ν. Matroid theory (2012-2013, spring semester)
- Π98Π. Cryptography (2013-2014, fall semester)
- Π03Γ. Type systems for programming languages (2013-2014, fall semester)
- Λ2. Computability (2013-2014, fall semester)
- Λ13Α. Applied Proof Theory (2013-2014, fall semester)
- Μ6. Set theory (2013-2014, spring semester)
- Λ14. Introduction to λ-calculus (2013-2014, spring semester)
- Π17. Mathematics and cryptography (2013-2014, spring semester)
- Π03Β. Semantics of programming languages (2013-2014, spring semester)
- Λ1. Mathematical logic (2013-2014, spring semester)
- Λ5. Research methodology (2014-2015, fall semester)
- Π14Α. Theory of linear programming (2014-2015, fall semester)
- Π02Γ. Cryptography and complexity (2014-2015, fall semester)
- Π02Ε. Computational algebra (2014-2015, fall semester)
- ΛΔΕ. Msc thesis (2014-2015, fall semester)