Zacharias Pitouras: student profile
msc
| Enrolled in: | October 2010 |
|---|---|
| Stopped in: | September 2014 |
Course participations
- Λ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)
- Π00Γ. Combinatorial optimization (2012-2013, fall semester)
- Π02Ε. Computational algebra (2012-2013, fall semester)
- Λ1. Mathematical logic (2012-2013, spring semester)
- Λ14. Introduction to λ-calculus (2012-2013, spring semester)
- Λ13Ξ. Intuitionistic logic and constructive mathematics (2012-2013, spring semester)
- Π02Δ. Computational geometry (2012-2013, spring semester)
- Π03Δ. Algorithms in molecular biology (2012-2013, spring semester)
- Π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)
- Λ13Α. Applied Proof Theory (2013-2014, fall semester)
- Λ1. Mathematical logic (2013-2014, spring semester)
- Μ6. Set theory (2013-2014, spring semester)
- Λ14. Introduction to λ-calculus (2013-2014, spring semester)
- Π03Ξ. Approximation algorithms (2013-2014, spring semester)
- Π05Β. Computation models and complexity (2013-2014, spring semester)
- Λ2. Computability (2014-2015, fall semester)
- Λ3. Algorithms and complexity I (2014-2015, fall semester)
- Λ4. Algorithms and complexity II (2014-2015, fall semester)