Find Academic Supervisors

Doug LeaView profile

Professor

• Concurrency
• Parallelism
• Distributed Systems
• +3 more

Doug Lea serves as Professor of Computer Science at the State University of New York at Oswego, where he has established himself as a leading authority in concurrent and parallel systems. His extensive contributions span software library development, standardization efforts, and academic leadership across major programming language conferences. His research focuses on concurrency, parallelism, distributed systems, and reusable software components . Lea's work bridges theoretical foundations with practical implementations, particularly evident in his widely adopted Java concurrency libraries. His research interests stem from deep engagement with object-oriented design principles and implementation techniques for complex computing systems. Lea's scholarly impact is reflected in his designation as an ACM Fellow . His contributions extend beyond publications to significant influence on industry standards and educational practices in concurrent programming. As an active academic leader, Lea has served on program committees for premier conferences including PLDI, SPLASH, ECOOP, and PPoPP since 2014. His ongoing participation through 2026 demonstrates sustained engagement with the programming languages community. His professional website at http://gee.cs.oswego.edu serves as a resource hub for his technical contributions.

Thomas LembergerView profile

Researcher

• Software Verification
• Code Analysis
• Software Testing
• +5 more

Dr. Thomas Lemberger is a researcher at the Software and Computational Systems Lab in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). He holds a PhD and is actively involved in software verification research, particularly with the CPAchecker framework. His work spans multiple aspects of formal methods and software testing. Dr. Lemberger's research focuses on software verification, code analysis, software testing, fault localization, and program repair. His work explores cooperative approaches across test generation and formal verification, aiming to combine the strengths of different verification techniques. He has made significant contributions to distributed verification, witness-based validation, and fault localization techniques. His research often addresses practical challenges in scaling verification to real-world software systems. His publication record shows a strong focus on decomposing verification tasks into manageable components, improving verification efficiency through parallelization, and creating practical tools that bridge the gap between theoretical verification techniques and practical software development workflows. Recent work emphasizes cooperative verification approaches that combine multiple techniques to overcome individual limitations. Dr. Lemberger has been nominated for best paper at SPIN 2024 for his work on fault localization with verification witnesses, highlighting the recognition of his contributions to the field. He actively mentors numerous BSc and MSc students on various verification-related topics, covering areas from microservice verification to automatic program repair. His research is supported by German Research Foundation (DFG) projects including DFG-CONVEY, DFG-COOP, and DFG-IDEFIX. Dr. Lemberger is a key contributor to the CPAchecker verification framework and has developed tools like CoVeriTeam GUI that enable no-code composition of verification workflows. His work bridges theoretical verification research with practical tool development for real-world software engineering challenges.

Saday SadayappanView profile

Professor

• Compiler Optimization
• High-Performance Computing
• Sparse/Dense Matrix Computations
• +3 more

P. (Saday) Sadayappan is a Professor at the University of Utah's School of Computing, specializing in high-performance computing and compiler optimizations. His research focuses on performance optimization for parallel systems, particularly for tensor computations, sparse matrix operations, and machine learning workloads. He leads multiple NSF and DARPA-funded projects focused on GPU optimization, tensor computations, and scalable machine learning frameworks. Research Interests: Dr. Sadayappan's work spans compiler optimizations for high-performance systems, optimization of sparse/dense matrix/tensor computations, scalable machine learning, and algorithm-architecture co-design. His recent projects include developing performance-portable frameworks for tensor applications and optimizing data locality for scientific computing. Publication Trends: His recent publications (2020-2022) predominantly focus on GPU acceleration of machine learning workloads (especially CNNs), automated I/O complexity analysis, and optimization techniques for sparse matrix/tensor operations. Earlier work (2018-2019) established foundations in GPU code generation for tensor contractions and cache optimization. Awards and Honors: ACM SIGPLAN Most Influential PLDI Paper Award (2018) for A Practical Automatic Polyhedral Parallelizer and Locality Optimizer Active Grants and Projects: NSF: A Comprehensive Framework for Efficient, Scalable, and Performance-Portable Tensor Applications (2022-2027) NIH SBIR: Enabling next generation machine learning for large scale image analysis (2023-2025) NSF: AI Institute for Intelligent CyberInfrastructure (ICICLE) (2021-2026) NSF: Data Locality Optimization for Sparse Matrix/Tensor Computations (2020-2024) DARPA SBIR: Performance Portable Framework for Developing Graph Applications (2017-2022) Teaching: He currently teaches CS 4230/6230 (Parallel and High-Performance Computing) at the University of Utah.

Leonidas AkritidisView profile

Lecturer

• Natural Language Processing
• Deep Machine Learning
• Data Mining
• +5 more

Leonidas Akritidis serves as a Lecturer at the Department of Science and Technology within the School of Science and Technology at International Hellenic University. He holds a PhD and Diploma in Electrical and Computer Engineering from University of Thessaly and Aristotle University of Thessaloniki respectively. His educational background includes: PhD in Electrical and Computer Engineering, University of Thessaly (2007-2013) Diploma in Electrical and Computer Engineering, Aristotle University of Thessaloniki (1997-2003) Akritidis specializes in Natural Language Processing, Deep Machine Learning, and Data Mining with particular expertise in short text clustering, dimensionality reduction, and rank aggregation techniques. His research addresses challenges in sparse data environments and high-dimensional feature spaces, developing novel algorithms for text representation and processing. He has contributed significantly to parallel and distributed computing approaches for big data analytics. His publication trends reveal a consistent focus on NLP and machine learning applications, with recent work expanding into generative models for tabular data, medical image analysis, and advanced fault detection systems. The research demonstrates progression from foundational text processing techniques to more complex applications in healthcare, e-commerce, and software engineering. Akritidis has taught multiple courses including Big Data and Cloud Computing, Machine Learning Principles and Concepts, Mobile Application Development, and Web Programming. His research projects include CyberPi (intelligent cyber threat detection), NANOTRIM (transistor sizing optimization), and iMuSe (virtual museum platform). He collaborates extensively with researchers like Panayiotis Bozanis, Miltiadis Alamaniotis, and Athanasios Fevgas, primarily within the Greek academic community.

• Computational Fluid Dynamics
• Aerodynamic Design
• Ship Hull Reconstruction
• +4 more

Nikolos Ioannis serves as a Professor at the School of Production Engineering and Management, Technical University of Crete, currently on leave but maintaining active research status. His work spans computational fluid dynamics, aerodynamics, and marine engineering within the Department of Production Engineering and Management. His primary research focuses on computational fluid dynamics with emphasis on ship hull reconstruction from 2D drawings, hypersonic flow simulation, and wind turbine optimization. Recent publications demonstrate expertise in geometric modeling , rarefied gas dynamics , and renewable energy systems . The 2025-2020 article portfolio reveals consistent contributions to naval architecture, aerodynamic shape optimization, and laser-matter interactions with strong methodological focus on B-spline functions, DSMC methods, and differential evolution algorithms. Professor Ioannis maintains an active email contact ( inikolos@tuc.gr ) and office location at D4.107 in the MPD Building. His work shows significant interdisciplinary connections between production engineering, computational physics, and marine applications with particular strength in translating theoretical models to practical engineering solutions.

• Software Engineering
• Cloud Computing
• Internet of Things
• +3 more

Ευριπίδης Γ.Μ Πετράκης is a Professor & Laboratory Director at the School of Electrical and Computer Engineering, Technical University of Crete (TUC) since 1999. He holds a Ph.D. in Computer Science (University of Crete, 1993) and a B.Sc. in Physics (National University of Athens, 1985). His research focuses on Cloud Computing, IoT, Semantic Web, and Image Indexing, with over 175 publications and top international recognition including the 2024 AINA Best Paper Award and Stanford's Top 2% Global Impact ranking (2021-2023). Key projects include leading roles in Horizon 2020-funded BorderUAS (2020-2023), MARS smart farming initiative (2018-2021), and FP7-funded FI-STAR (2013-2016). He has pioneered solutions for IoT security (iBoT), edge-cloud computing (DeFog), and semantic service frameworks (OASL). His academic contributions span advanced distributed systems, including Apache Flink-based real-time video processing (Video2Flink) and Kubernetes optimization strategies. He also actively contributes to standards development for IoT interoperability and semantic web services.

• Stochastic Optimization
• Numerical Simulation
• Environmental Engineering
• +3 more

Prof. Saridakis Yiannis is a Professor in the School of Production Engineering and Management at the Technical University of Crete. His research focuses on stochastic optimization, numerical simulation, and mathematical modeling of environmental systems and biomedical processes. He develops advanced numerical methods such as the Fokas transform, Hermite collocation, and Runge-Kutta schemes for solving reaction-diffusion equations, groundwater management challenges, and tumor growth models. His work integrates computational techniques like GPU acceleration and parallel algorithms for efficient problem-solving. Key research areas include: Stochastic optimization for coastal aquifer management Numerical treatment of discontinuous systems in environmental and biomedical models Development of high-performance computing strategies for complex PDEs Prof. Saridakis has contributed to over 50 peer-reviewed articles since 1985, exploring topics ranging from soliton cellular automata to modern GPU-based iterative methods. His research bridges applied mathematics, environmental engineering, and computational biology. His publications highlight innovative approaches in: Groundwater sustainability through stochastic algorithms Mathematical modeling of tumor invasion dynamics Parallel computing architectures for scientific problems Despite extensive contributions, no scientific awards are explicitly listed in the provided materials. His academic profile emphasizes technical expertise in numerical methods and their applications in interdisciplinary fields.

• Production Systems
• Business Processes
• Supply Chain Optimization
• +4 more

George Ioannou is a Professor of Production Management and Business Processes at the Athens University of Economics and Business, where he leads the MBA International Postgraduate Program and the Center for Business Processes and ERP Systems at the Laboratory of Management Science. Previously, he served as Assistant Professor at Virginia Tech's Department of Production and Systems Engineering. His academic journey includes a B.Sc. in Mechanical Engineering from National Technical University of Athens, an M.Sc./DIC in Industrial Robotics/Production Automation from Imperial College London, and a Ph.D. in Mechanical Engineering from the University of Maryland. Current Academic Roles: Professor, Director of MBA Program, Head of ERP Systems Center Prior Academic Roles: Assistant Professor at Virginia Tech Education: B.Sc., M.Sc./DIC, Ph.D. His research focuses on integrating web-based technologies with operational research to optimize production systems, business processes, and supply chains. This spans applications in plant spatial planning, ERP systems, and cultural heritage digitization. He has secured research funding from global organizations including NSF, European Commission, and private sector leaders like Microsoft. Scientific awards include Microsoft's Excellence in Education Award and multiple teaching excellence recognitions for MBA programs. Ioannou serves on the Technical Chamber of Greece (TEE) and the editorial board of Production Planning & Control , with extensive consulting experience for public and private sector entities.

• Computer Architecture
• Memory Systems
• Hardware/OS Interaction
• +7 more

Vasileios Karakostas is an Assistant Professor at the Department of Informatics and Telecommunications, National and Kapodistrian University of Athens. He is a member of the Computer Architecture Lab and focuses on computer architecture, memory systems, and resource management. Previously, he was a postdoctoral researcher at the National Technical University of Athens' Computing Systems Lab. He holds a PhD in Computer Architecture from Universitat Politècnica de Catalunya and Barcelona Supercomputing Center. Education: Ph.D. in Computer Architecture, Universitat Politècnica de Catalunya (2016) M.Sc. in Computer Architecture, Networks, and Systems, UPC (2012) B.Eng. in Electrical and Computer Engineering, NTUA (2009) Research Interests: Memory systems (virtual memory, NVM) Hardware/OS interaction Resource management in data centers Parallel systems and serverless computing RISC-V architectures and cloud infrastructure Projects: Active in Horizon Europe projects Vitamin-V, Neuropuls, and REBECCA. Previously contributed to DAPHNE and ACTiCLOUD (EU H2020). Awards: 2024: Distinguished Artifact Award (ASPLOS) 2011: Best Paper Award (ICPE) Selected for IEEE Micro's Top Picks (2015, 2016) Teaching: Courses include Logic Design, Parallel Systems, and Large-scale Computing Systems at undergraduate and graduate levels. Labs/Teams: Leads research in the Computer Architecture Lab, collaborating on resilient architectures and cloud computing innovations.

• High-Performance Computing
• Parallel Processing
• Code Optimization
• +3 more

Georgios Goumas is an Associate Professor in the Division of Computer Science at the School of Electrical and Computer Engineering, National Technical University of Athens. His research focuses on high-performance computing, parallel systems, and efficient resource management for modern computing platforms. Research domains: Serverless computing scalability and memory management Quantum algorithm design for classification Virtual memory optimization Hardware acceleration for sparse computations NUMA-aware concurrent data structures Recent innovations include DaeMon for disaggregated systems, eBPF-based Linux memory management, and multi-GPU matrix multiplication optimizations. Publications demonstrate consistent advancement in low-level system efficiency across quantum, serverless, and heterogeneous computing domains. Dr. Goumas teaches undergraduate and graduate courses on Operating Systems, Parallel Processing, and Code Optimization Techniques. His lab develops open-source tools like Paralia runtime for auto-tuning linear algebra and FPGA-based accelerators for scientific computing.

• Computer Architecture
• Reconfigurable Computing
• Application Acceleration
• +5 more

Professor Dionisios Pnevmatikatos holds the position of Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), where he leads research in Computer Architecture and Reconfigurable Computing. He previously served as a Professor at the Technical University of Crete (TUC) from 2000 to 2019, directing the Microprocessor and Hardware Laboratory (MHL) and chairing the department. His academic journey includes a B.Sc. from the University of Crete (1989), M.Sc. and Ph.D. from the University of Wisconsin-Madison (1991 and 1995). Research Interests: Focuses on Computer Architecture, Reconfigurable Computing, Application Acceleration, Custom Architectures, and Hardware Acceleration of Bioinformatics Algorithms. His work spans FPGA-based systems, parallel computing, and energy-efficient designs. Key Projects: Coordinator of FASTER (EU FP7), Principal Investigator in DeSyRe, AXIOM, dRedBox, and EDRAH2020 projects. Active in EU initiatives like H2020 OPTIMA and Vitamin-V for RISC-V ecosystems. Leadership roles in conferences include SAMOS 2018 and FPL 2011 program chairs. Teaching: Courses include Computer Architecture, Digital Systems Design, and Parallel Processing Systems at NTUA. Former roles include teaching at University of Crete and TUC. Labs: Affiliated with Computing Systems Laboratory (CSLab) at NTUA and FORTH-ICS since 1997. Involved in prototyping manycore architectures and network processors.

Angelos BilasView profile

Professor

• Computer Systems
• Computer Architecture
• Storage Systems
• +4 more

Angelos Bilas is a Professor of Computer Science at the University of Crete, Greece, and a collaborating researcher at FORTH-ICS (Foundation for Research and Technology-Hellas). He received his PhD in Computer Science from Princeton University in 1998 and has held academic positions at the University of Crete since 2002, including Department Chair (2016-2020). His research focuses on systems software for storage systems, computing architectures, and parallel systems with emphasis on flash storage optimization. PhD, Princeton University (1998) MA, Princeton University (1995) BEng, University of Patras (1993) His research interests span computer systems, storage architectures, and parallel computing , with notable contributions in memory-mapped I/O optimization, LSM key-value store design, and heterogeneous accelerator integration. He has developed frameworks like TeraHeap for DRAM pressure mitigation in big data systems and Arax for decoupling applications from accelerators. Prominent trends in his recent publications include flash storage optimization (TeraHeap), LSM tree efficiency (Tebis), and cloud-HPC convergence (EVOLVE, KNoC). His work appears in top venues like ASPLOS, USENIX ATC, and ACM Transactions on Storage. Scientific recognitions include: Marie Curie Excellent Teams Award (2005-2009) Best Presentation Award, USENIX HotStorage'20 He has served on editorial boards (ACM Transactions on Storage) and program committees (ACM HotStorage, HPCA). His research involves 35 master’s and 8 PhD students, with 45+ EU/national projects and 4 patents licensed to industry.

Mira MeziniView profile

Professor

• Software development paradigms and tools
• Programming systems for reliable distributed software
• Automated software analysis
• +3 more

Mira Mezini is a Professor of Computer Science at the Technical University of Darmstadt, Germany, leading the Software Technology Lab. She serves on steering committees, program committees, and editorial boards of top-tier conferences and journals. Her affiliations include the National Research Center for Applied Cybersecurity ATHENE and co-directorship of hessian.AI, the Hessian Center for Artificial Intelligence. Her research focuses on programming systems for reliable distributed software and AI, automated software analysis, and foundational code models. She has developed large-scale module concepts for adaptability, extensible programming languages, and intelligent software development environments that leverage web-based resources to generate programming rules and patterns. Specializes in software engineering Expert in programming language design Contribution to cybersecurity and AI Her recent work emphasizes static analysis, distributed systems, and programming language design, with trends in API misuse detection, decentralized applications, and secure local-first programming. The focus spans from foundational type systems to practical tools enhancing software quality and developer productivity. Scientific Awards Two-time IBM Eclipse Innovation Award recipient (2005, 2006) Google Research Award (2017) Horst Görtz IT Security Award (2014) ERC Advanced Grant (2012) ACM Fellow Dahl-Nygaard Prize (2025) She has held leadership roles including Dean of Computer Science at TU Darmstadt (2013-2014) and Vice President positions (2014-2019). Her service extends to international juries, funding panels, and editorial boards. Labs & Teams Leads the Software Technology Lab at TU Darmstadt, driving research in programming paradigms and tools. Co-directs hessian.AI and contributes to the Excellence Cluster 'Reasonable Artificial Intelligence.'

• Optical Networking
• Smart Grids
• Network Algorithms and Protocols
• +6 more

Emmanuel Varvarigos is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), where he directs the High Speed Communication Networks Laboratory (HSCNL). He holds a B.E. from NTUA (1988) and a Ph.D. from MIT (1992). His career includes roles as Assistant/Associate Professor at UCSB (1992–1998), Associate Professor at TU Delft (1998–1999), and Professor at the University of Patras (1999–2015). He has led major research initiatives, including directorships at the Greek School Network and EAIT/ICT-Diofantos. His research focuses on optical networks, smart grids, cloud computing, and network algorithms. Education: B.E. in Electrical & Computer Engineering, NTUA (1988) Ph.D. in Electrical Engineering & Computer Science, MIT (1992) His research interests span optical networking (flexible OFDM, elastic bandwidth), smart grid optimization, cloud-edge computing, and distributed system protocols. He has authored over 450 publications and led 35+ EU projects, including coordinations of H2020 initiatives like ORCHESTRA and FLEXGRID. Awards include the Vinton Hayes Award and NSF recognition. Current roles include HSCNL directorship, overseeing 5 postdocs and 10+ PhD students. His HSCNL lab addresses challenges in high-speed networks, data centers, and energy grids, collaborating globally on projects like ORCHESTRA (optical networks) and SOCIALENERGY (smart grids).

Nektarios KozyrisView profile

Professor

• Parallel and Distributed Systems
• Computer Architecture
• High-Performance Computing
• +5 more

Nektarios Kozyris is a Professor of Computer Science and former Dean of the School of Electrical and Computer Engineering at the National Technical University of Athens (NTUA). He holds a PhD and Diploma in Electrical and Computer Engineering from NTUA. His research focuses on parallel and distributed systems, computer architecture, high-performance computing, and cloud infrastructure. He has authored over 180 papers and contributed to major projects like the Okeanos public cloud and Synnefo open-source software. Kozyris has led EU initiatives such as ACTiCLOUD and EuroEXA, and advises startups like Arrikto. He is a senior member of the ACM, IEEE Computer Society, and co-founder of the Greek Free/Open Source Software Society (GFOSS). His academic roles include teaching courses on computer architecture, operating systems, and distributed systems. Awards include Best Paper Awards at IPDPS 2001 and CCGRID 2013, and Intel's recognition for research in transactional memory. He actively contributes to conferences as a PC member and co-chair, and has supervised numerous PhD students in areas like distributed systems and sparse matrix computations. Kozyris pioneered the ~okeanos cloud infrastructure and advanced storage systems like Pithos. His work on GridTorrent and XOROS demonstrates innovation in data management and peer-to-peer systems. Current research includes elastic resource provisioning, quantum machine learning, and FPGA-based acceleration. His labs at NTUA and collaborations with institutions like ICCS and IMIS drive advancements in computing systems and software engineering.