Aggeliki Chalki: student profile
msc
| Enrolled in: | March 2013 |
|---|---|
| Graduated on: | Wednesday, 02 Nov 2016 |
Thesis
Title: Counting below #P: Classes, problems and Descriptive Complexity.
Defended: Monday, 12 Sep 2016.
Course participations
- Λ1. Mathematical logic (2012-2013, spring semester)
- Μ6. Set theory (2012-2013, spring semester)
- Λ14. Introduction to λ-calculus (2012-2013, spring semester)
- Λ13Ξ. Intuitionistic logic and constructive mathematics (2012-2013, spring semester)
- Π02Γ. Cryptography and complexity (2013-2014, fall semester)
- M12. Model theory (2013-2014, fall semester)
- Λ4. Algorithms and complexity II (2013-2014, fall semester)
- Λ13Β. Formal Methods and Software (2013-2014, fall semester)
- Λ13Α. Applied Proof Theory (2013-2014, fall semester)
- Λ13Γ. Advanced topics in graph algorithms (2013-2014, spring semester)
- Π09Γ. Advanced topics in algorithms and complexity (2013-2014, spring semester)
- Λ14. Introduction to λ-calculus (2013-2014, spring semester)
- Λ5. Research methodology (2014-2015, fall semester)
- ΛΔΕ. Msc thesis (2014-2015, fall semester)
- Λ5. Research methodology (2014-2015, spring semester)
- Λ99Γ. Modal logic (2014-2015, spring semester)
- Π03Ε. Network algorithms and complexity (2014-2015, spring semester)
- Π12. Algorithmic Issues of Social Networks (2014-2015, spring semester)
- ΛΔΕ. Msc thesis (2014-2015, spring semester)
- Λ5. Research methodology (2015-2016, fall semester)
- ΛΔΕ. Msc thesis (2015-2016, fall semester)
- Λ5. Research methodology (2015-2016, spring semester)
- Λ07Γ. Logic, automata and games (2015-2016, spring semester)
- ΛΔΕ. Msc thesis (2015-2016, spring semester)