chazisop's user avatar
chazisop's user avatar
chazisop's user avatar
chazisop
  • Member for 13 years, 2 months
  • Last seen this week
Stats
3,751
reputation
121k
reached
59
answers
6
questions
Loading…
About

In November 2011, I obtained a BSc in Computer Science from the Computer Science Department of the Aristotle University of Thessaloniki, Greece, with an excellent mark. My bachelor thesis included a survey on hierarchy theorems and hierarchies in Computational Complexity, as well as investigating the possibilities of improving the deterministic time hierarchy theorem.

Currently I am investigating algebraic complexity theory, especially in relation with the recent sequence of results based on depth reduction that have come close to separating VP and VNP. I am interested in so called "separating modules", which are sets of polynomials that characterize complexity classes and provide a common framework for many algebraic circuit lower bound proofs. I wish to investigate the inherent strengths and weaknesses of this framework, whether it is possible to utilize it in producing new proofs in the area of algebraic complexity theory and how it can be "translated" to the boolean world.

Another research interest of mine is structural complexity theory. I am highly interested in the polynomial hierarchy and determining the relations between classes in the hierarchy and other classes related to it. I am also acquainted with communication complexity, which I studied to some extent after receiving my BSc degree.

Since Fall 2012, I am pursuing a Ms/PhD degree in Saarland university. During this time, I have completed a variety of advanced courses, including ones in Complexity Theory, Algorithms and Data Structures and Graph Theory.

2
gold badges
29
silver badges
37
bronze badges
96
Score
29
Posts
45
Posts %
89
Score
13
Posts
20
Posts %
68
Score
8
Posts
12
Posts %
40
Score
12
Posts
18
Posts %
30
Score
6
Posts
9
Posts %
19
Score
5
Posts
8
Posts %
Top posts
View all questions and answers