I am a PhD student at the Department of Computing of Imperial College London. My advisor is Mahdi Cheraghchi. My research interests are computational complexity theory, circuit complexity, computational learning theory, and cryptography.
I hold a MSc in Logic, Algorithms and Computation from the Department of Mathematics of the University of Athens, and a joint BSc-MSc diploma from the School of Mechanical Engineering of the National Technical University of Athens. During my studies at the School of Mechanical Engineering I worked with Evangelos Papadopoulos on four-legged robots, and during my studies at the Department of Mathematics I worked with Stathis Zachos and Iordanis Kerenidis on quantum computational complexity theory.
Email: dimyrisiotis [AT] gmail.com.
One-way functions and a conditional variant of MKTP
Joint with
Eric Allender,
Mahdi Cheraghchi,
Harsha Tirumala,
and
Ilya Volkovich.
[ECCC]
One-tape Turing machine and branching program lower
bounds for MCSP
Joint with
Mahdi Cheraghchi,
Shuichi Hirahara,
and
Yuichi Yoshida.
STACS 2021.
[ECCC]
[Conference version]
[Talk @ STACS 2021]
Algorithms and lower bounds for De Morgan formulas
of low-communication leaf gates
Joint with
Valentine Kabanets,
Sajin Koroth,
Zhenjian Lu,
and
Igor C. Oliveira.
CCC 2020.
[ECCC]
[Conference version]
[Talk @ CCC 2020]
Circuit lower bounds for MCSP from local pseudorandom
generators
Joint with
Mahdi Cheraghchi,
Valentine Kabanets,
and
Zhenjian Lu.
ICALP 2019.
ACM Transactions on Computation Theory, 2020.
[ECCC]
[Conference version]
[Journal version]
On the effects of design parameters on quadruped robot gaits
Joint with Ioannis Poulakakis and Evangelos
Papadopoulos.
ROBIO 2015.
[Conference version PDF]
Quadruped optimum gaits analysis for planetary exploration
Joint with Ioannis Kontolatis,
Iosif Paraskevas,
Evangelos
Papadopoulos,
Guido de Croon,
and
Dario Izzo.
ASTRA 2013.
[Conference version PDF]