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

• Computer Architecture
• Memory Systems
• Hardware/OS Interaction
• +۷ مورد دیگر

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.

Zarras Apostolosمشاهده پروفایل

استاد

• Software Engineering
• Software Architecture & Design
• Software Evolution
• +۷ مورد دیگر

Apostolos Zarras is a Professor in the Department of Computer Science & Engineering at the University of Ioannina, Greece, where he has been an elected faculty member since 2004. He previously served as Associate Professor (2016–2022), Assistant Professor (2009–2016), Lecturer (2004–2009), and Visiting Professor (2002–2004). He earned his Ph.D. from the University of Rennes I / INRIA, France, in 2000, following M.Sc. and B.Sc. degrees from the University of Crete, Greece. Ph.D., Universite de Rennes I / INRIA, France, 2000 M.Sc., Department of Computer Science, University of Crete, 1996 B.Sc., Department of Computer Science, University of Crete, 1994 His research focuses on software engineering , particularly in the areas of software architecture , design patterns , software evolution , middleware , and service-oriented computing . He investigates quality attributes such as performance, reliability, and availability in distributed and adaptive systems. His work emphasizes formal models, dynamic adaptation, and governance in ultra-large scale (ULS) service choreographies. While specific article titles are not listed in the provided text, his publication record includes over 60 contributions in top-tier international journals (e.g., IEEE Transactions on Software Engineering, Communications of the ACM) and conferences (e.g., ICSE, FSE, ASE, Middleware). These works collectively reflect a strong focus on empirical and theoretical aspects of software design, evolution, and quality assurance in modern service-based systems. He has served as a reviewer for major journals including: IEEE Transactions on Software Engineering IEEE Transactions on Services Computing Communications of the ACM ACM Computing Surveys Information and Software Technology Apostolos Zarras has supervised over 17 undergraduate theses, more than 12 M.Sc. theses, and one Ph.D. thesis. He has been a principal investigator in several national and international R&D projects such as CHOReOS (FP7, €8.6M total), ForeverSOA , MobWS , and DAPCE , focusing on adaptive, service-oriented, and context-aware systems. He is actively involved in the academic community, having served on over 40 conference program committees, including ICSE, FSE/ESEC, SOFSEM, and ER. He also contributes to university service through roles in graduate studies, financial, and web dissemination committees.

Angelos Bilasمشاهده پروفایل

استاد

• Computer Systems
• Computer Architecture
• Storage Systems
• +۴ مورد دیگر

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.

Papastergiadou Evanthiaمشاهده پروفایل

استاد

• Aquatic Ecology
• Freshwater Macrophytes
• Biodiversity and Conservation Biology
• +۵ مورد دیگر

Evanthia Papastergiadou is a Professor in the Department of Plant Biology at the University of Patras, Greece. She leads the Plant Ecology Research Group and is a key figure in aquatic ecosystem research, particularly focusing on freshwater macrophytes, biodiversity, and ecological water quality under the EU Water Framework Directive. Education: Degree in Biology, School of Sciences, Aristotle University of Thessaloniki PhD in Biology, Department of Biology, Aristotle University of Thessaloniki Research Interests: Her research spans a wide array of ecological themes, including: Structure, dynamics and management of aquatic ecosystems Ecological water quality assessment using macrophytes as bioindicators Impact of invasive species and anthropogenic pressures Climate change effects on aquatic vegetation Landscape ecology and GIS-based land-use change analysis Research Trends from Publications: Her recent work emphasizes functional diversity of aquatic macrophytes, responses to environmental gradients, and conservation strategies in riparian and lacustrine systems across Europe. She has contributed to large-scale comparative studies such as REFRESH, COST-CONVERGES, and LIFE-IP, often involving mesocosm experiments and long-term monitoring. Grants and Projects: LIFE-IP (2018–2025): Integrated conservation of Natura 2000 sites COST Action CONVERGES (2017–2021): Riparian ecosystem management EU FP7 REFRESH (2010–2014): Climate change impacts on freshwater ecosystems National Monitoring Programs for River Ecological Quality (2014–2023) Labs & Teams: She is affiliated with the Plant Ecology Research Group at the University of Patras, which is actively involved in freshwater ecology and conservation biology. Her team collaborates with international partners across Europe, contributing to EU-level policy and conservation frameworks.

Bernhard Scholzمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Static Analysis
• +۴ مورد دیگر

Bernhard Scholz is a Professor at the University of Sydney's School of Computer Science. His research focuses on programming languages, compilers, static analysis, and blockchain technologies, with significant contributions to Datalog optimization and smart contract security. He teaches COMP3109 Programming Languages and Paradigms and leads research in declarative programming frameworks. Scholz's primary research interests include: Development of Soufflé, a Datalog-based program analysis framework Ethereum smart contract security through tools like Ethainter and MadMax Parallel data structures for efficient Datalog evaluation Compiler optimizations for embedded systems and cloud environments His recent publications demonstrate a consistent focus on improving the efficiency and security of declarative programming systems, particularly through innovations in Datalog execution and smart contract analysis. This work bridges theoretical computer science with practical applications in blockchain and distributed systems. Scholz has secured research funding including an ARC Discovery Project on adaptive key-value stores and a Fantom Operations grant for smart contract toolchain development. He collaborates with international researchers on parallel computing and blockchain verification projects.

Mira Meziniمشاهده پروفایل

استاد

• Software development paradigms and tools
• Programming systems for reliable distributed software
• Automated software analysis
• +۳ مورد دیگر

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.'

Elias Kosmatopoulosمشاهده پروفایل

دانشیار

• Automatic control methodologies
• Large Scale Systems
• Robot swarms
• +۲ مورد دیگر

Elias Kosmatopoulos is a Professor at the Department of Electrical and Computer Engineering, Democritus University of Thrace, with a focus on Applied Automatic Control. He has held academic positions at Technical University of Crete and University of Victoria (Canada), and served as Research Assistant Professor at the University of Southern California. His career spans over 25 years, with expertise in large-scale systems and control engineering. BEng, Production and Management Engineering, Technical University of Crete MEng, Electrical & Computer Engineering, Technical University of Crete PhD, Electrical & Computer Engineering, Technical University of Crete His research interests include robot swarms , intelligent transportation systems , and building energy consumption control . He has contributed to over 45 journal papers and 100 conference papers. Recent projects include PLUG-N-HARVEST (energy harvesting systems) and ROBORDER (autonomous border surveillance robots). Publications highlight adaptive control of electric vehicle fleets smart thermostatic load zoning multi-robot path planning underwater system exploration co-simulation for nonlinear systems He has received institutional recognition and collaborated with NASA, the European Commission, and defense agencies on advanced control systems applications.

• Autonomous Systems
• Vehicle Dynamics
• Control Engineering
• +۷ مورد دیگر

Katzourakis Diomidis is an Assistant Professor at the School of Production Engineering and Management (PEM) at the Technical University of Crete. His work focuses on autonomous systems, vehicle dynamics, and control engineering with an emphasis on automotive safety and fault-tolerant architectures. He holds an academic appointment within the PEM department and contributes to systems engineering research for cyber-physical vehicles. Research interests prominently feature autonomous driving optimization, actuator redundancy strategies, haptic feedback systems, and safety-critical control protocols. His publications span topics like motion planning constraints, steering assistance interfaces, and emergency maneuver mitigation. Recent work explores AI supervision frameworks (SSuperLLM) for autonomous vehicles and yaw rate-based suspension control systems. Key technical contributions include sensor fusion strategies for degraded position estimation, variable motion control envelopes, and redundant actuator architectures. He has developed experimental platforms for stability control validation and collaborated on open-source scaled automobile testbeds.

• Control Theory
• Nonlinear Systems
• Partial Differential Equations (PDEs)
• +۴ مورد دیگر

**Nikolaos Bekiaris-Liberis** is a Professor in the Department of Electrical and Computer Engineering at the Technical University of Crete. His research focuses on control theory, nonlinear systems, and partial differential equations (PDEs), with applications to traffic flow, epidemics modeling, cardiovascular systems, and microfluidics. He leads a research team funded by grants such as the ERC Consolidator Grant (C-NORA) and HFRI Research Projects (ORAMA). Education and Affiliations: While specific educational details are not provided, his extensive work in PDE-based control systems indicates a strong background in applied mathematics and engineering. He collaborates with institutions like CNRS LS2N (France) and the Hellenic Electricity Distribution Network Operator SA. Research Interests: His work addresses stabilization of nonlinear systems with delays, quantization effects, and PDE dynamics. Key areas include: Predictor-Feedback Stabilization for systems with input/state delays Control of hyperbolic PDEs and large-scale systems Epidemics transport dynamics and traffic flow modeling Microfluidics and cardiovascular flow analysis Advising and Grants: He supervises 4 current PhD students (e.g., Lefteris Dimitriou on epidemics transport) and has mentored 10+ alumni. His grants include ERC (C-NORA) and HFRI (ORAMA), supporting research into epidemics control, connected vehicles, and cardiovascular modeling. Labs/Teams: His research team focuses on PDE-based control and interdisciplinary applications, collaborating across engineering, mathematics, and public health domains.

Nikolaos Bekiaris-Liberisمشاهده پروفایل

دانشیار

• Distributed parameter systems
• Delay systems
• Nonlinear control
• +۹ مورد دیگر

Roles and Affiliation: Nikolaos Bekiaris-Liberis is an Associate Professor in the Department of Electrical & Computer Engineering at the Technical University of Crete (TUC). He holds a PhD in Aerospace Engineering from the University of California, San Diego (2013) and has held positions including Marie Skłodowska-Curie Fellow, Assistant Professor, and Adjunct Professor at TUC. Education: PhD in Aerospace Engineering, UC San Diego (2013) MS in Aerospace Engineering, UC San Diego (2010) Bachelor of Science in Electrical and Computer Engineering, National Technical University of Athens (2007) Research Interests: His work focuses on theoretical and applied control systems, including distributed parameter systems, delay systems, nonlinear control, and switched systems. Applications span traffic flow control, automated vehicles, biological transport systems, and automotive catalysts. He emphasizes translating PDE-based models into practical control solutions for real-world systems. Notable Achievements: Recipient of the European Research Council (ERC) 2022 Consolidator Grant for the C-NORA project. 2019 IEEE ITS Outstanding Research Paper Award for contributions to traffic control. Marie Skłodowska-Curie Individual Fellowship (2017) and Chancellor's Dissertation Medal (2014). Advising & Grants: Supervises PhD and Master’s students in control systems and traffic dynamics. Leads the ERC-funded C-NORA project and previously directed the PADECOT (Marie Curie) initiative. His team includes postdocs and undergraduate researchers focusing on traffic flow modeling, epidemics transport, and PDE-based control. Professional Contributions: Editor for IEEE Transactions on Intelligent Transportation Systems and Automatica. Organized workshops on traffic flow control and PDE techniques at major conferences like CDC and ECC. Active in industry partnerships, including collaborations with Ford Motor Company on catalytic converter control.

• Nonlinear Control
• Distributed Parameter Systems
• Delay Systems
• +۶ مورد دیگر

Nikolaos Bekiaris-Liberis is an Associate Professor in the Department of Electrical & Computer Engineering at the Technical University of Crete (TUC). He holds a Ph.D. from the University of California, San Diego (2013), an M.S. from the same institution (2010), and a Diploma from the National Technical University of Athens (2007). His research focuses on nonlinear control, distributed parameter systems, delay systems, and their applications in traffic flow, automated vehicles, and biomedical systems. Education: Ph.D., University of California, San Diego (2013) M.S., University of California, San Diego (2010) Diploma, National Technical University of Athens (2007) Research Interests: Nonlinear control theory and applications Control of systems with distributed parameters and delays Traffic flow modeling and automated vehicle systems Biological transport systems and cardiovascular flow Dr. Bekiaris-Liberis has authored over 100 papers and serves as an Associate Editor for Automatica and IEEE Transactions on Intelligent Transportation Systems . His work has been recognized with awards such as the Chancellor’s Dissertation Medal (2014), a Marie Sklodowska-Curie Fellowship (2016), and an ERC Consolidator Grant (2022). His research highlights include advancements in predictor feedback for systems with input delays, stabilization of hyperbolic PDEs, and control strategies for traffic flow and connected vehicles. Recent work explores the impact of ventilation on epidemic transport dynamics and the stability of cardiovascular systems under stenosis conditions. Awards: Chancellor’s Dissertation Medal in Engineering (2014) Marie Sklodowska-Curie Individual Fellowship (2016) ERC Consolidator Grant (2022) Grants and Funding: ERC Consolidator Grant for large-scale PDE control research Marie Sklodowska-Curie Fellowship (2016–2019) He leads the Automation Laboratory at TUC and teaches courses on Linear Systems, Control Systems, and Nonlinear Systems. His work bridges theoretical control advancements with practical applications in transportation, biomedical systems, and industrial processes.

Christos Doulkeridisمشاهده پروفایل

استاد

• Parallel and Distributed Query Processing
• Large-Scale Data Management
• Spatio-Temporal Data Management
• +۴ مورد دیگر

Christos Doulkeridis is a Professor at the Department of Digital Systems, University of Piraeus, Greece. He specializes in parallel and distributed query processing, large-scale data management, and spatio-temporal data systems. His work focuses on optimizing big data frameworks for mobility analytics and distributed knowledge discovery. He holds a PhD from Athens University of Economics and Business (2007) and has been involved in several EU-funded projects like EMERALDS, Green.DAT.AI, and MobiSpaces as Principal Investigator or Coordinator. Education: PhD in Informatics (2007), Athens University of Economics and Business M.Sc. in Information Systems (2003), Athens University of Economics and Business Diploma in Electrical and Computer Engineering (2001), National Technical University of Athens Awards: Best Paper Awards at SIGSPATIAL, SSTD, EuroVA Marie-Curie and ERCIM Fellowships SemEval 2017 Task 4 & 6 competition wins His research interests include scalable data processing frameworks, mobility data analytics, and spatio-temporal query optimization. He leads projects like MobiSpaces (Horizon Europe), aiming to create energy-efficient data spaces for mobility data. He has published over 100 papers in top venues like EDBT, SIGMOD, and ICDE, focusing on distributed systems, query processing, and machine learning applications in data management. Teaching: He teaches undergraduate and graduate courses in data structures, data analysis, big data processing, and database systems at the University of Piraeus. His courses integrate practical tools like Spark and Hadoop for real-world data challenges.

• Parallel Algorithms & Architectures
• Distributed Systems & Databases
• Multiprocessor Operating Systems
• +۵ مورد دیگر

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.

• Parallel Computing
• Distributed Systems
• Multiprocessor Operating Systems
• +۵ مورد دیگر

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.

Byron Cookمشاهده پروفایل

استاد

• Verification
• Automated Reasoning
• Program analysis
• +۸ مورد دیگر

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. He leads Amazon's Automated Reasoning Group (ARG) and has driven the broad adoption of formal methods across AWS services. His career spans academia and industry, with significant contributions to program verification and automated reasoning. His research focuses on verification, automated reasoning, program analysis, computer/network security, programming languages, theorem proving, logic, and applications to hardware design, operating systems, and biological systems. Cook's work bridges theoretical foundations with practical applications in cloud security and system reliability, particularly through his leadership in applying formal methods to AWS infrastructure. Cook's recent publications demonstrate a strong focus on applying automated reasoning to cloud security challenges, particularly around access control policies, network reachability, and cryptographic implementations. His work shows a clear trajectory from theoretical program verification toward practical security applications in large-scale cloud environments, with emphasis on making formal methods accessible to developers through "one-click" verification tools. Scientific Awards: FREng (Fellow of the Royal Academy of Engineering) As an academic advisor, Cook has mentored numerous PhD students and interns who have gone on to significant careers in programming languages and verification research. His work at Amazon has secured substantial research funding for developing and deploying automated reasoning tools across AWS services. Cook founded and leads Amazon's Automated Reasoning Group (ARG), which develops tools like IAM Access Analyzer, Tiros, Zelkova, and T2. Previously, he managed the Programming Principles and Tools (PPT) group at Microsoft Research Cambridge, where he co-founded projects including TERMINATOR, SLAyer, and the Bio Model Analyzer (BMA).