Ioannis Milis is a Professor at the Department of Informatics, Athens University of Economics and Business (AUEB), part of the School of Information Sciences and Technology. He holds a BS in Electrical Engineering from Democritus University of Thrace (1983) and a PhD in Computer Science from AUEB (1989). His research focuses on algorithms, computational complexity, and optimization for computer/communication networks, combinatorial optimization, graph theory, and game theory. He has conducted postdoctoral research at LRI (1992-94), INRIA-Sophia Antipolis (1994-95), and NTUA as a Marie Curie fellow (1995-96). His teaching includes courses on Algorithms, Advanced Algorithms, and Topics in Algorithms at both undergraduate and graduate levels. He co-authored a textbook on Distributed Systems with Java (2005). His conference involvement includes organizing the Athens Colloquium on Algorithms and Complexity (ACAC) since 2006, the Euro-Par 2012 conference, and the ISCO 2012 symposium. His research has addressed scheduling algorithms, energy-efficient computing, and combinatorial optimization problems in networks.
Georgios Keramidas is an Assistant Professor in Computer Architecture at the Department of Informatics, Aristotle University of Thessaloniki . He also holds an Adjunct Professor position at the Hellenic Open University and collaborates with institutions like the University of Peloponnese and University of Patras . Research Interests : Computer Architecture, Memory Systems, Multicore/GPU Design, Low-Power Techniques, Fault-Tolerant Systems His work focuses on cache optimization , energy-efficient computing , and security-aware memory design . Key contributions include DVFS frameworks , reuse-distance prediction , and non-deterministic cache mechanisms . Recent article trends highlight innovations in computation-in-memory , IoT platform components , and security/low-power co-design . Patents on image compression and GPU optimization reflect practical applications of his research. Academic Network : Collaborates with institutions including University of Patras , University of Manchester , and TU Dresden
Ronghui Gu is the inaugural Tang Family Associate Professor of Computer Science at Columbia University's Fu Foundation School of Engineering and Applied Science. He leads a research group focused on building verified systems software and serves on program committees for major conferences including PLDI, POPL, OSDI, and SOSP. His educational background includes: Ph.D. in Computer Science from Yale University (2016), where he received the Distinguished Dissertation Award B.S. in Computer Science from Tsinghua University (2011), graduating with Highest Distinction (3 out of 140) Gu's research centers on certified software systems, spanning programming language design, OS kernel development, formal semantics, compiler development, proof engineering, and concurrency. His work bridges theoretical foundations with practical systems, particularly in the areas of formal verification for operating systems, distributed protocols, and quantum computing. He has pioneered approaches that combine formal methods with machine learning techniques to automate verification tasks that were previously intractable. Analysis of his publication record shows a clear trajectory from foundational work on verified operating systems (CertiKOS, mCertiKOS) to broader applications in distributed systems (DistAI, DuoAI), quantum computing (Gleipnir, Giallar, HyperQ), and blockchain security. His recent work increasingly focuses on automation techniques that make formal verification practical for real-world systems. His notable achievements include: OSDI Jay Lepreau Best Paper Award (2021) SOSP Best Paper Award (2019) Multiple Amazon Research Awards (2021-2025) NSF CAREER Award (2023) VMware Systems Research Award (2023) CACM Research Highlight Gu has secured substantial research funding including a $4.5 million DARPA grant for Verified Enclave Layers. He has advised numerous PhD students who have gone on to positions at top institutions and companies. As founder of CertiK, a Web3 cybersecurity unicorn valued at $2 billion, he has successfully translated academic research into real-world impact, securing over $300 billion in cryptocurrency assets. His lab maintains active collaborations with industry partners including VMware, AWS, Google, and quantum computing companies, focusing on making formal verification practical for critical systems.
Evangelos F. Magirou is a Professor of Operations Research at the Department of Informatics of Athens University of Economics and Business (AUEB). He holds a BS in Electrical Engineering from Princeton University (1971), an MSc in Decision and Control Sciences from Harvard University (1972), and a Ph.D. in Decision and Control Sciences from Harvard (1976). His research focuses on theoretical and applied Operations Research, with specializations in Finance, Shipping, and Energy Policy. He has held significant administrative roles, including Deputy Chairman of the Department of Informatics at AUEB and Chairman of the Hellenic Procurement Institute (1994–1997). Education: BS in Electrical Engineering, Princeton University (1971) MSc in Decision and Control Sciences, Harvard University (1972) Ph.D. in Decision and Control Sciences, Harvard University (1976) Research Interests: Operations Research applications in Finance, Shipping, and Energy Policy Optimization, Game Theory, and Decision Theory Algorithm design and dynamic optimization Recent Publications Trends: Magirou’s work spans theoretical contributions to graph theory, kernel enumeration, and default logic, alongside applied research in shipping logistics, energy policy, and financial modeling. His 2000s publications emphasize computational finance and policy iteration methods, reflecting a shift toward quantitative finance and algorithmic innovation. Awards and Grants: No specific awards are listed, but his extensive involvement in energy policy research and industry partnerships (e.g., Public Power Corporation) highlights impactful applied work. Teaching and Advising: He teaches courses in mathematics of finance, operations research, and algorithms. His academic leadership includes directing the MSc Program in Business Mathematics (jointly with the University of Athens). Labs/Teams: Collaborates with the Center for Economic Research at AUEB and has contributed to shipping industry studies through collaborative projects with industry experts.
Giorgio Lucarelli is a Teaching and Research Associate at ENSIMAG, Grenoble Institute of Technology, and a member of the DataMove team at INRIA and LIG. He earned his PhD in Theoretical Computer Science from Athens University of Economics and Business in 2009, preceded by an M.Sc. in Computer Science (2005) and a B.Sc. in Informatics (2003). PhD Advisor: Professor Ioannis Milis Key Research Areas: Algorithms and Complexity, Power-Aware Scheduling, Graph Theory, Online Optimization His work focuses on energy-efficient scheduling in large-scale systems, with applications to heterogeneous architectures , optical networks , and MapReduce jobs . Recent publications explore online scheduling, dual-fitting methods, and geometric constraints in resource allocation. Collaborations span institutions like INRIA , LIG , and University of Illinois . Notable trends in his research include speed-scaling algorithms , non-preemptive scheduling , and primal-dual optimization . While no explicit awards are listed, his contributions to exact and approximation algorithms for problems like max-edge coloring and densest k-subgraph highlight his expertise in combinatorial optimization. As an educator, he teaches modules on Unix , Imperative Programming , Operating Systems , and Algorithm Design at ENSIMAG, and contributes to the MSc in Informatics (MOSIG) at Grenoble.
George Goumas is a Professor at the Department of Information Technology and Computers within the School of Electrical and Computer Engineering at the National Technical University of Greece. His teaching focuses on core computer science topics including operating systems, parallel processing, and network computing. He coordinates the following courses: Computer Operating Systems (Undergraduate - 6th Semester) Operating Systems Laboratory (Undergraduate - 7th Semester) Parallel Processing Systems (Undergraduate - 9th Semester) Advanced Computing Systems: Code Optimization Techniques for Multiprocessor Architectures (Postgraduate - Winter Semester) Parallel Computing Architectures for Machine Learning (Interdisciplinary) Parallel Network Computing (Cross-Departmental) His research interests align with his teaching responsibilities, emphasizing high-performance computing systems and software optimization techniques for modern architectures.
Ioannis Milis is a Professor at the Department of Informatics, School of Information Sciences and Technology, Athens University of Economics and Business (AUEB). He holds a PhD in Computer Science from AUEB (1989) and a BS in Electrical Engineering from Democritus University of Thrace (1983). As a Marie Curie fellow, he conducted post-doctoral research at LRI Orsay, INRIA-Sophia Antipolis, and NTUA (1992-1996). Education: BS, Electrical Engineering, Democritus University of Thrace (1983) PhD, Computer Science, Athens University of Economics and Business (1989) His research focuses on algorithms and complexity, particularly exact and approximation algorithms for optimization problems in computer/communication systems, combinatorial optimization, graph theory, and game theory. He is a member of AUEB's Theory Group. The recent articles span areas like Scheduling MapReduce jobs , Densest k-subgraph algorithms , Bin packing with colocations , and Speed scaling for lateness minimization . These works emphasize theoretical computer science, optimization, and energy-aware computing. He has contributed to organizing major conferences including the Athens Colloquium on Algorithms and Complexity (ACAC) , ISCO Symposia , and APEX Workshops . His involvement in program committees and research projects under Greek national programs (PENED, HRAKLEITOS II) and AUEB's Basic Research Funding Program highlights his academic leadership. As a teacher, he has delivered courses on Algorithms , Design and Analysis of Algorithms , and Advanced Algorithms at both undergraduate and postgraduate levels at AUEB.
Overview Panayiotis Georgiadis is a Professor and Chairman of the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens (NKUA). He leads the e-Government Laboratory, a pioneering group in Greece focusing on electronic governance, business planning, and public sector IT systems. His career spans over four decades, including roles as Secretary General for Information Systems in the Greek Ministry of Finance (1997–2002) and Senate member of NKUA (1992–1994). Education B.Sc. in Physics (University of Athens, 1969) M.Sc. in Computer Science (Warwick University, 1974) Ph.D. in Computer Science (University of Athens, 1982) Research & Teaching His research focuses on distributed systems, simulation, and e-Government. He teaches courses in Operating Systems, Software Engineering, and Network Performance Evaluation. Key projects include the SMARTGOV platform and the Taxisnet service, which earned the 2001 eEurope Best Electronic Governance Award. He has supervised over 15 Ph.D. theses and contributed to 50+ scientific publications. Awards & Recognition Project of the Month Award (SMARTGOV, 2001) Best Paper Award at ECIS 2001 2001 eEurope Best Electronic Governance Award (Taxisnet) Advising & Labs Head of the e-Gov Lab, which develops tools for public sector IT systems. His students include notable researchers such as D. Anagnostopoulos (expert system design) and St. Gritzalis (information security). He also contributed to the International Journal of Electronic Governance as Editor-in-Chief.
Vassilios Mamalis is a full Professor at the University of West Attica (UniWA) in the Department of Informatics and Computer Engineering, and an external academic partner at the Hellenic Open University (HOU). He holds a Diploma and Ph.D. in Computer Engineering and Informatics from the University of Patras (1993 and 1998). His career includes over 25 years of academic and research experience, with roles at the Technological Educational Institute of Athens and RACTI. His research focuses on parallel algorithms, distributed systems, wireless sensor networks, cloud computing, and information retrieval. Education: 1988-1993: Diploma in Computer Engineering & Informatics, University of Patras 1994-1998: Ph.D. in Computer Engineering & Informatics, University of Patras Research Interests include: Parallel Algorithms & Architectures Distributed Systems & Databases Wireless Sensor Networks Cloud Computing & IoT Information Retrieval He has authored 15+ journal articles , contributed to 2 books, and participated in numerous EU and Greek government-funded research programs. His teaching spans undergraduate and postgraduate courses in Operating Systems, Parallel Computing, and Distributed Systems. Current doctoral advisees include Vasiliki Giannou and Leontios Sotiriadis. Research contributions include work on energy-efficient WSN clustering, hybrid GPU-CPU parallelization, and cloud task scheduling. He has led projects like the PROSENS and PROTEAS initiatives, and serves on editorial boards and conference committees.
Kalogerakis Michael is an Associate Professor in the Department of Electrical and Computer Engineering at the School of Engineering of the Hellenic Mediterranean University. He is also affiliated with the Laboratory of Artificial Intelligence and Systems Engineering, the Institute of Energy, Environment and Climate Change (University Research Center), and the Wave Propagation Group at FORTH's Institute of Computational Mathematics. His research focuses on usability engineering, human-machine interaction, agile software development, wave propagation, and related fields. Education: PhD in Mathematics and Computer Science, Clarkson University, NY (Dissertation: 'Linear Solvers on Multiprocessor Machines') Postgraduate Diploma, Clarkson University Bachelor's Degree, Department of Mathematics, University of Crete Research & Collaboration: Over 40 publications in journals, conferences, and technical reports. Participated in EU, national, and international projects (e.g., DAMOCLES-IP/ESPRIT/FP6/MAST/Archimedes). Collaborated with the Hellenic Navy on an integrated analysis system for underwater acoustic systems deployed on naval vessels. Professional Roles: Former Head/Deputy Head of the General Department of Sciences at TEI of Crete. Served on multiple committees and leadership roles at TEI of Crete.
Vasilios Mamalis is a Professor at the Department of Informatics and Computer Engineering, University of West Attica, and a member of the Collaborating Scientific Staff at the Hellenic Open University's Informatics program. His academic career spans decades with significant contributions to parallel and distributed computing, wireless sensor networks, and cloud technologies. Education: Diploma in Computer Engineering and Informatics, University of Patras (1993) PhD in Computer Engineering and Informatics, University of Patras (1998) Research Interests focus on parallel algorithms, distributed systems, wireless sensor networks, cloud computing, and information retrieval. His work addresses energy efficiency in ad-hoc networks, optimization techniques, and educational technology applications. Publication Trends show extensive work on WSN clustering, cloud task scheduling, parallel simplex methods, and fog computing applications in education and urban systems. He combines metaheuristics with infrastructure optimization in large-scale networks. Scientific Contributions include editorial roles in the Journal of Balkan Libraries Union and program committee memberships in international conferences. He actively reviews for journals and conferences in computing. Teaching Expertise covers operating systems, parallel computing, distributed systems, and cloud technologies at both undergraduate and postgraduate levels. His Research Leadership involves EU/Greek-funded projects on communication protocols, parallel content-based retrieval, and wireless sensor networks.
