Theodoros Papamakarios: student profile
msc
| Enrolled in: | November 2014 |
|---|---|
| Graduated on: | Thursday, 21 Dec 2017 |
Thesis
Title: Proof Complexity: A Tableau Perspective.
Defended: Wednesday, 19 Jul 2017.
Course participations
- Λ1. Mathematical logic (2014-2015, spring semester)
- Μ6. Set theory (2014-2015, spring semester)
- Λ14. Introduction to λ-calculus (2014-2015, spring semester)
- Λ99Γ. Modal logic (2014-2015, spring semester)
- Λ05Δ. Graph Theory (2014-2015, spring semester)
- Λ3. Algorithms and complexity I (2014-2015, fall semester)
- Λ4. Algorithms and complexity II (2014-2015, fall semester)
- Λ2. Computability (2015-2016, fall semester)
- Μ6. Set theory (2015-2016, fall semester)
- Λ07Γ. Logic, automata and games (2015-2016, spring semester)
- Λ07Ν. Parameterized complexity and algorithms (2015-2016, spring semester)
- Λ5. Research methodology (2016-2017, spring semester)
- ΛΔΕ. Msc thesis (2016-2017, spring semester)
- Λ09Γ. Advanced Topics in Logic (2016-2017, spring semester)