Manolis Papadakis is a recent 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. At the current academic year, he is pursuing an M.Sc. degree in Logic and Theory of Algorithms and Computation at the MPLA Inter-Disciplinary Graduate Program. Starting September 2011, he will be 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.