جست‌وجوی استاد و پژوهشگر

• Parallel and Distributed Systems
• Peer Systems
• Large-Scale Distributed Systems
• +۳ مورد دیگر

Harris Papadakis serves as an Assistant Professor in the Department of Electrical and Informatics Engineering at the Hellenic Mediterranean University, specializing in Distributed Services and Networks. His academic position places him at the forefront of systems research and engineering education within the institution. His educational credentials include: PhD in Computer Science from the University of Crete Undergraduate Degree in Computer Science from the University of Crete Postgraduate MSc Diploma in Computer Engineering from the University of Patras Professor Papadakis' research program centers on advanced computing systems with emphasis on scalability and network efficiency. His work spans Parallel and Distributed Systems, Peer Systems architectures, Large-Scale Distributed Systems design, Computer Networks optimization, Recommender Systems development, and Graph Analysis methodologies. The research demonstrates practical applications in data-intensive environments, evidenced by over 500 citations, an h-index of 8, and an i10-index of 7. His active participation as both researcher and project head indicates sustained grant funding and leadership in collaborative technical initiatives. As an Assistant Professor, he maintains regular office hours (Wednesdays 11:00-13:00) and engages in academic mentorship. While specific student supervision details aren't provided, his research profile suggests opportunities for graduate students to contribute to funded projects in distributed systems and network technologies.

Konstantinos Barlasمشاهده پروفایل

مدرس ارشد

• Algebraic Specifications
• Formal Methods
• Formal Verification
• +۶ مورد دیگر

Konstantinos Barlas serves as a Senior Lecturer in the Department of Computer and Information Engineering within the School of Engineering at the University of West Attica. His academic career spans both Greek and international institutions, bringing specialized expertise in formal methods and mathematical logic to his teaching and research activities. Education: Diploma and Integrated Master from the School of Applied Mathematics and Physical Sciences, National Technical University of Athens (2006) PhD from the School of Electrical and Computer Engineering, National Technical University of Athens (2018) with research focus on algebraic pattern specification Dr. Barlas' research centers on formal methods in computer science, with particular emphasis on algebraic specifications, formal verification, and mathematical logic. His work bridges theoretical computer science with practical applications in systems design and open standards development. His scholarly approach integrates mathematical rigor with software engineering principles to address complex specification challenges in computing systems. He has published 10-12 papers in international scientific journals and conferences, including contributions to NASA's Innovations in Systems and Software Engineering. His publication record demonstrates consistent engagement with formal methods communities and interdisciplinary applications of mathematical logic in computing. As an educator, Dr. Barlas teaches core mathematics courses for computer science students including Discrete Mathematics, Probability and Statistics, Mathematical Analysis I, and Linear Algebra. He serves as a scientific editor for the Greek publication 'Μαθηματικές Δομές για την Επιστήμη Υπολογιστών (Διακριτά μαθηματικά και εφαρμογές)'. His teaching philosophy emphasizes the foundational mathematical principles that underpin computer science education. Dr. Barlas maintains strong connections with open source software communities, utilizing Arch and Void Linux distributions with i3wm as his preferred tiling window manager. His technical interests extend to Raspberry Pi projects, and he has creative pursuits including a music project called 'A group of crows'. His intellectual interests span literary works exploring absurdism and circular reasoning, including 'Catch-22', 'The Dice Man', 'The Hitchhiker's Guide to the Galaxy', and 'Gödel, Escher, Bach'.