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.
[CV] [DBLP] [Google Scholar]
Email: dimyrisiotis [AT] gmail.com.
One-way functions and Partial MCSP
Joint with Eric Allender, Mahdi Cheraghchi, Harsha Tirumala, and Ilya Volkovich.
One-tape Turing machine and branching program lower
bounds for MCSP
Joint with Mahdi Cheraghchi, Shuichi Hirahara, and Yuichi Yoshida.
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.
[ECCC] [Conference version] [Talk]
Circuit lower bounds for MCSP from local pseudorandom
Joint with Mahdi Cheraghchi, Valentine Kabanets, and Zhenjian Lu.
ACM Transactions on Computation Theory, 2020.
[ECCC] [Conference version]
On the effects of design parameters on quadruped robot gaits
Joint with Ioannis Poulakakis and Evangelos Papadopoulos.
Quadruped optimum gaits analysis for planetary exploration
Joint with Ioannis Kontolatis, Iosif Paraskevas, Evangelos Papadopoulos, Guido de Croon, and Dario Izzo.