Manolis Papadakis is a graduate of the School of Electrical and Computer Engineering of the National Technical University of Athens, where he majored in Computer Engineering. He designed and implemented the core PropEr system and the Type Language integration extensions as part of his diploma thesis, under the supervision of professor Kostis Sagonas. Afterwards, he pursued an M.Sc. degree in Logic and Theory of Algorithms and Computation at the MPLA Inter-Disciplinary Graduate Program. Since September 2011, he is a Ph.D. student at the Department of Computer Science of Stanford University.
Outside of academia, he is a FOSS enthusiast, die-hard KDE fanboy and former gamer.