Foundations of Parallel and Distributed Computing Systems Professors and Supervisors in Greece | ApplySharif

Active facets:

Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 1-15 of 51 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Mohsen LesaniView profile

Associate Professor

National and Kapodistrian University of AthensGreece

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Official University Profile

Laxman DhulipalaView profile

Assistant Professor

National and Kapodistrian University of AthensGreece

Laxman Dhulipala serves as an Assistant Professor in the Department of Computer Science at the University of Maryland, College Park, while also working as a research scientist at Google Research with the Graph Mining team. Dr. Dhulipala earned his Ph.D. from Carnegie Mellon University under Guy Blelloch's supervision and completed a postdoctoral fellowship at MIT with Julian Shun. His research centers on efficient parallel algorithms, particularly for parallel clustering and graph processing, along with developing computational models for emerging hardware technologies. His scholarly output demonstrates significant expertise across parallel computing domains, with particular emphasis on scalable graph algorithms, dynamic data structures, and computational geometry. Dr. Dhulipala's work bridges theoretical computer science with practical systems implementation, producing algorithms that achieve both theoretical optimality and real-world performance. His research group has made substantial contributions to benchmarking frameworks including the Graph Based Benchmark Suite (GBBS) and ParClusterers Benchmark Suite, establishing standardized evaluation methods for graph processing systems. The collective work shows progression from theoretical foundations to practical implementations that handle massive-scale datasets. Best Paper Award at SPAA 2022 Best Paper Runner Up at VLDB 2022 Distinguished Paper Award at PLDI 2019 Memorable Paper Award Finalist at NVMW'20 CMU's SCS Dissertation Award Honorable Mention As an educator, Dr. Dhulipala mentors numerous graduate students while teaching advanced courses in algorithm design and parallel computing. His research collaborations span multiple institutions including Carnegie Mellon University, MIT, and Google Research, reflecting his position at the intersection of academia and industry research.

Official University Profile

Brandon LuciaView profile

Professor

National and Kapodistrian University of AthensGreece

Brandon Lucia is a Full Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. He leads the abstract research group focusing on the intersection of computer architecture, systems, and programming languages. His work bridges theoretical foundations with practical implementations in energy-constrained environments. Lucia's research centers on intermittent computing systems and edge computing in extreme environments. His work on energy-harvesting systems has established fundamental principles for batteryless computing, while his orbital edge computing research pioneers computational intelligence for nanosatellite constellations. These research thrusts address critical challenges in reliability, efficiency, and programmability for systems operating under severe power constraints. His publication record shows a clear evolution from foundational work on intermittent computing models to sophisticated applications in space computing and edge intelligence. Recent publications demonstrate increasing integration of dataflow architectures with energy-harvesting constraints, particularly in satellite constellations where computational resources must be managed across distributed, power-constrained platforms operating in extreme environments. NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS Best Paper Awards (2018, 2020) OOPSLA Distinguished Paper and Artifact Awards (2015) Lucia actively mentors numerous PhD students including Brad Denby, Zhuo Cheng, and Emily Ruppel, many of whom contribute significantly to his research program. His abstract research group maintains strong industry connections while pursuing fundamental advances in computing systems. The group has developed multiple open-source tools including Legerdemain for program analysis and MultiCacheSim for cache coherence simulation. His laboratory work spans from theoretical foundations of intermittent computing to practical implementations in space systems. Current projects include computational nanosatellite constellations, energy-minimal dataflow architectures, and secure edge computing systems that operate reliably despite frequent power failures.

Official University Profile

Gérard BerryView profile

Professor

University of CreteGreece

Gérard Berry (born December 25, 1948) is a distinguished French computer scientist currently serving as Professor at the Collège de France, holding the permanent chair Algorithmes, machines et langages (Algorithms, Machines, and Languages) since 2012. He previously held the Informatique et sciences numériques chair (2009-2010) and the Technological Innovation Liliane Bettencourt chair (2007-2008) at the same institution. Before joining Collège de France full-time, he served as Director of Research at INRIA Sophia Antipolis (2009-2012) and at École des Mines de Paris (1977-2001). His research spans over 30 years in three main fields: lambda calculus and functional programming, parallel and real-time programming languages, and design automation for synchronous digital circuits. He is particularly renowned for developing the Esterel programming language. His work bridges theoretical computer science with practical industrial applications. Berry's research has evolved to include current work in Hop and HipHop for Web programming, formal verification of compilers, and languages for computer music. His publications demonstrate consistent contributions to programming language theory, formal methods, and their applications in hardware and software systems. Gold Medal of CNRS (2014) Chevalier de l'Ordre de la Légion d'Honneur (2012) Member of French Academy of Sciences (2002) Member of Academia Europaea (1993) Monpetit Prize of Académie des sciences (1990) Berry has advised 17 PhD students and reviewed numerous theses. His industrial experience includes serving as Chief Scientist Officer of Esterel Technologies (2000-2009), where he directed the implementation of the Esterel v7 compiler. He has also held significant leadership roles including President of the Scientific Council of IRCAM and membership on the Scientific Council of the National Education. His teaching at Collège de France has covered topics ranging from the foundations of computation to the societal impact of digital technology, with courses including The Informatics of Time and Events and Proving Programs: Why? When? How? His laboratory work has focused on developing practical applications of theoretical computer science concepts.

Official University Profile

Michael L. ScottView profile

Professor

National and Kapodistrian University of AthensGreece

Michael L. Scott is the Arthur Gould Yates Professor of Engineering in the Department of Computer Science at the University of Rochester's Hajim School of Engineering and Applied Sciences. He received his Ph.D. from the University of Wisconsin-Madison in 1985 and has been a faculty member at Rochester since 1985, serving as Department Chair multiple times (1996-99, 2007, 2017, 2020-2024). He is a Fellow of the ACM, IEEE, and AAAS, and recipient of numerous awards including the Edsger W. Dijkstra Prize in Distributed Computing. Dr. Scott's research focuses on parallel and distributed systems, with particular expertise in synchronization mechanisms, transactional memory, and persistent memory systems. His work spans theoretical foundations to practical implementations, with numerous influential publications and open-source systems like RSTM and Ralloc. His research has addressed critical challenges in concurrent programming, memory management, and system reliability. His publications show a consistent focus on improving the reliability and performance of concurrent systems, with recent work centered on persistent memory technologies. The trajectory of his research demonstrates a progression from fundamental synchronization algorithms to sophisticated systems addressing modern hardware challenges. His publications span top venues in systems, architecture, and programming languages. His scientific honors include: ACM Fellow (2006) IEEE Fellow (2010) AAAS Fellow Edsger W. Dijkstra Prize in Distributed Computing (2006) University of Rochester's Goergen Award for Teaching (2001) Hajim School Lifetime Achievement Award (2018) IEEE TCCA/HPCA Test of Time Award (2022) Dr. Scott has advised over 25 Ph.D. students who have gone on to successful careers in academia and industry at institutions including Lehigh University, Google, Intel, Facebook, and NVIDIA. His textbook 'Programming Language Pragmatics' is a standard reference in the field, now in its 5th edition. He also co-authored 'Shared-Memory Synchronization,' a comprehensive treatment of the field. He spent the 2014-2015 academic year as a Visiting Scientist at Google. His research group, the Rochester Concurrent Systems Group, has developed numerous influential systems including RSTM (a software transactional memory system), Ralloc (a persistent memory allocator), and Montage (a system for persistent data structures). His work often bridges theoretical correctness with practical performance considerations.

Official University Profile

Michael D. BondView profile

Professor

National and Kapodistrian University of AthensGreece

Michael D. Bond is a Professor in the Department of Computer Science & Engineering at Ohio State University's College of Engineering. He leads the Programming Languages and Software Systems (PLaSS) Research Group, which focuses on designing program analyses and software and hardware systems that enhance computing reliability, scalability, and security. His academic service includes general chair for PLDI 2027, program committee membership for multiple top conferences, and committee roles in SIGPLAN Research Highlights (2024-2027). Professor Bond's research spans programming languages, systems, and security, with particular expertise in memory management, concurrency, hardware transactional memory, information flow control, and predictive race detection. His work bridges theoretical foundations with practical implementations, as evidenced by numerous open-source projects accompanying his publications. The PLaSS group has made significant contributions to understanding and improving memory models, developing efficient garbage collection techniques for modern architectures, and creating novel approaches to secure programming in languages like Rust. Analysis of his recent publications reveals a clear trajectory toward addressing security and reliability challenges in modern computing systems, particularly through language-based approaches. His work increasingly focuses on Rust programming language security mechanisms, memory disaggregation for datacenters, and advanced techniques for detecting and preventing concurrency bugs. The research demonstrates strong continuity in exploring memory models and concurrency while adapting to emerging hardware trends and security challenges. Outstanding Teaching Award, Department of Computer Science and Engineering, Ohio State University (2018) Lumley Research Award, College of Engineering, Ohio State University (2016) OOPSLA 2015 Distinguished Paper and Artifact Awards NSF CAREER Award ACM SIGPLAN Outstanding Doctoral Dissertation Award Intel PhD Fellowship Professor Bond actively mentors several PhD students including Chujun Geng, Vincent Beardsley, Chris Xiong, Victor Chen, and Noah Charlton, with external co-advisee Zixian Cai at Australian National University. His research is currently supported by multiple NSF grants including SaTC-2348754 (2024-2027), CyberCorps-2336531 (2024-2029), and CSR-2106117 (2021-2025), reflecting sustained funding for his work in information flow control, security, and systems research. The PLaSS Research Group maintains a strong presence in both academic and industrial communities, with graduated PhD students securing positions at major technology companies like Google, Amazon Web Services, and Huawei, as well as academic positions at institutions like UIUC and IIT Kanpur. The group's work combines theoretical rigor with practical implementation, consistently producing open-source artifacts that enable reproducibility and further research in the systems and programming languages community.

Official University Profile

Ruzica PiskacView profile

Professor

National and Kapodistrian University of AthensGreece

Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. She has made significant contributions to the fields of software verification, security, automated reasoning, and code synthesis, focusing on improving software reliability and trustworthiness through formal techniques. Dr. Piskac received her PhD from the Swiss Federal Institute of Technology (EPFL) in 2011, where her dissertation won the Patrick Denantes Prize. Prior to joining Yale, she led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013). Her research spans several key areas: symbolic execution for Haskell (G2), privacy-preserving formal methods (PPFM), functional reactive synthesis, verification of configuration files, and analysis of software updates. Her work consistently bridges theoretical formal methods with practical applications in real-world systems. Dr. Piskac's recent publications demonstrate a strong trend toward applying formal verification techniques to emerging challenges including large language models, quantum computing security, legal accountability of automated systems, and cyber-physical systems. Her research increasingly intersects with AI, cryptography, and legal domains while maintaining strong foundations in formal methods. Her scientific achievements have been recognized with numerous prestigious awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF) Patrick Denantes Prize for her PhD dissertation Dr. Piskac has graduated five PhD students, four of whom have gone on to become assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on several key projects including: Symbolic Execution Engine for Haskell (G2) Privacy Preserving Formal Methods (PPFM) Functional Reactive Synthesis Verifications for Configuration Files Analysis of Software Updates and Configuration Files

Official University Profile

Zhenjiang HuView profile

Professor

National and Kapodistrian University of AthensGreece

Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.

Official University Profile

Nikolaos SamarasView profile

Professor

University of MacedoniaGreece

Nikolaos Samaras is a Full Professor at the Department of Applied Informatics, School of Information Sciences, University of Macedonia in Thessaloniki, Greece. He has been serving as director of the Computational Methodologies & Operations Research (CMOR) Laboratory since April 2016. His academic career includes positions as Assistant Professor (2007-2012) and Lecturer (2003-2007) at the same institution, and earlier as an adjacent Lecturer at the Technological Institute of Western Macedonia (1998-2000). Dr. Samaras earned his Diploma in Applied Informatics from the University of Macedonia in 1996 and his Ph.D. in Applied Informatics from the same university in 2001. His educational background forms the foundation for his extensive research in computational optimization and operations research. Professor Samaras's research focuses on the interface between computer science and operations research, with particular expertise in linear and nonlinear optimization, network optimization, integer optimization, and scientific computing including HPC and GPU programming. His work has resulted in the development of new algorithmic families for optimization problems, efficient GPU implementations of the revised simplex algorithm, and novel algorithms and software for operations research. His research spans theoretical algorithm development, practical implementation, and real-world applications across various engineering and scientific domains. His extensive publication record includes over 35 journal papers in prestigious venues such as Computers and Operations Research, European Journal of Operational Research, and Journal of Artificial Intelligence Research, more than 85 conference papers, and four textbooks (two in English and two in Greek). His work has been recognized through citations and the Thomson ISI/ASIS&T Citation Analysis Research Grant in 2005. ACM Senior Member (2016) Thomson ISI/ASIS&T Citation Analysis Research Grant (2005) Editorial board member of Operations Research: An International Journal Reviewer for numerous top journals including Mathematical Programming Computation and European Journal of Operational Research Professor Samaras has supervised four current Ph.D. students working on hybrid simplex algorithms, large-scale optimization using Apache Hadoop, algorithmic procedures in matrix theory, and smoothed complexity analysis. He has successfully guided five Ph.D. students to completion, including Nikolaos Ploskas who won the 2014 HELORS Doctoral Dissertation Award. Additionally, he has supervised 45 master's theses and 84 bachelor's theses. His research group has secured funding from diverse sources including the European Union, Greek Secretariat of Research and Technology, and industry partners like Veltio Greece LTD. The Computational Methodologies & Operations Research (CMOR) Laboratory, which he directs, focuses on developing and implementing optimization algorithms with applications in transportation, energy systems, and business process design. The lab has produced notable software tools including Euclides and Visual LinProg, which have educational applications in linear programming.

Official University Profile

Stefanos PapadakisView profile

Lecturer

Foundation for research and technology-hellasGreece

Stefanos Papadakis serves as a Research Staff Scientist at the Telecommunications and Networks Laboratory (TNL) of the Institute of Computer Science at Foundation for Research and Technology-Hellas (FORTH) and holds an Adjunct Lecturer position in the Department of Computer Science at the University of Crete. Since 2001, he has pioneered hardware and software prototyping at TNL-FORTH, currently leading the Software Defined Radio (SDR) group he established to drive vertical integration from physical layer design to application development. His educational foundation includes a Physics degree (2001) and M.Sc. (2004) and Ph.D. (2009) in Computer Science, all earned at the University of Crete. Teaching responsibilities encompass core courses CS-330: Introduction to Telecommunication Systems Theory and CS-435: Network Technology & Programming. Papadakis' research spans wireless innovation frontiers including software-defined/cognitive radios, spectrum sharing, heterogeneous networking, position location, radio propagation modeling, and emergency communications. His work emphasizes practical implementation, yielding functional prototypes across the entire communications stack. Notable contributions include GPU-accelerated SDR frameworks, robust spectrum virtualization techniques, and emergency response communication systems validated through international competitions. Analysis of his 15 most recent publications (2010-2016) reveals dominant themes in SDR optimization for IoT and critical communications, with significant focus on GPU parallelization, interference management in dense networks, and real-time spectrum sharing mechanisms. His experimental approach consistently bridges theoretical models with hardware validation, particularly in emergency response and heterogeneous network scenarios. Key recognitions include: Ericsson Award of Excellence in Telecommunications for position location research First place in PENED doctoral proposal competition Fourth place in IEEE DySPAN 2015 5G Spectrum Challenge Second place in Virginia Tech ShaRC 2016 with the 'Skynet' cognitive radio system Mentorship spans 16 undergraduate projects (11 completed), 8 M.Sc. students (3 completed theses), and 1 Ph.D. candidate. His research is sustained through major EU and national projects including REDComm (emergency communications), EU-MESH (metropolitan networks), RERUM (IoT security), and Heraklion smart city initiatives. The SDR group maintains critical infrastructure like the Heraklion metropolitan wireless network, FORTH campus network, and specialized mobile emergency nodes equipped with multi-radio SDR platforms, satellite transceivers, and high-performance computing resources.

Official University Profile

Wei YangView profile

Associate Professor

National and Kapodistrian University of AthensGreece

Wei Yang is an Associate Professor in the Department of Computer Science at the University of Texas at Dallas, actively contributing to software engineering research through program committee roles at ICSE, FSE, ASE, and ISSTA conferences since 2015. His research focuses on software testing innovation , particularly in mobile security, GUI testing, and AI-driven test automation. Key contributions include frameworks for malware analysis (MalScan), UI exploration (Guardian, Vet), and neural network testing (DeepPerform, EREBA), addressing critical challenges in test oracle generation, flaky tests, and resource-constrained environments. Recent work demonstrates a strategic shift toward LLM and foundation model applications for testing, with 2023-2026 publications exploring vision-language models for GUI testing, parameter ownership in collaborative AI development, and instruction alignment in large language models. This evolution reflects the field's broader trajectory toward AI-integrated quality assurance.

Official University Profile

Lindsey KuperView profile

Assistant Professor

National and Kapodistrian University of AthensGreece

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).

Official University Profile

Toby MurrayView profile

Professor

National and Kapodistrian University of AthensGreece

Professor Toby Murray is a leading academic in the School of Computing and Information Systems at the University of Melbourne, Australia. He serves as Director of the Defence Science Institute and Co-Lead of the Computer Science Research Group. With a D.Phil. in Computer Science from Oxford University (awarded in 2011), Murray has established himself as a prominent researcher in security and program verification. His research focuses on building highly secure computing systems cost-effectively, with expertise spanning security assessment, vulnerability detection, secure system design, and formal verification. Murray's work bridges theoretical foundations with practical applications, particularly in information flow security for concurrent systems and neural network robustness. Murray's publication record shows a strong trajectory in security and formal methods, with recent work on verified neural network robustness (CAV 2025), EDEFuzz for detecting excessive data exposure (ICSE 2024 Distinguished Paper), and security separation logic for concurrent C programs. His research consistently addresses critical challenges in secure system development, with increasing focus on machine learning security in recent years. Scientific Awards: Distinguished Paper Award at ICSE 2024 for EDEFuzz Murray actively supervises numerous PhD students and has advised many successful researchers who have gone on to faculty positions at institutions including Swansea University and LMU Munich. His service to the community includes being an Associate Editor for IEEE Security & Privacy and ACM Transactions on Privacy and Security, as well as Program Chair for CSF 2025. Murray leads several significant research initiatives including Verisimilar (Verified, Secure Machine Learning), EDEFuzz (Detecting excessive data exposure), and COVERN (Proving information flow security of concurrent programs), demonstrating his commitment to translating theoretical security research into practical tools and methodologies.

Official University Profile

Chronopoulos AntonisView profile

Professor

University of PatrasGreece

Chronopoulos Antonis is a Professor at the University of Patras, specializing in distributed computing, grid and cloud computing, numerical algorithms, high performance computing, and scientific computing. His research spans both theoretical numerical methods and practical applications in distributed systems. His primary research interests focus on Distributed Computing , Grid and Cloud Computing , Numerical Algorithms , High Performance Computing , and Scientific Computing . His work bridges theoretical numerical methods with practical distributed systems implementations, particularly in the areas of load balancing, parallel iterative methods, and computational efficiency. Analysis of his publication record reveals a career trajectory that began with foundational work in numerical linear algebra and iterative methods in the late 1980s and 1990s, then evolved toward distributed and cloud computing applications in the 2000s and 2010s. His recent work shows increasing focus on healthcare applications of AI and machine learning, particularly in medical diagnostics and decision support systems. His research demonstrates consistent contributions to both theoretical numerical methods and practical distributed computing systems, with recent work expanding into healthcare applications of artificial intelligence.

Official University Profile

Panos TrahaniasView profile

Professor

Foundation for research and technology-hellasGreece

Panos Trahanias is Professor and Vice Chair in the Department of Computer Science at the University of Crete, and heads the Computational Vision and Robotics Laboratory (CVRL) at Foundation for Research and Technology - Hellas (FORTH). His research bridges computational vision, robotics, and embedded systems, with specific focus on humanoid robot navigation, real-time SLAM implementations, and adaptive control systems. Recent investigations include developing climbing quadruped robots, robust grip-lifting mechanisms, and probabilistic contact estimation methods for dynamically challenging terrains. Medical applications feature prominently through neural network approaches for ventilator waveform analysis in critical care settings. Hardware innovation is demonstrated through FPGA-accelerated visual SLAM architectures and reconfigurable embedded systems designed for resource-constrained robotic platforms. His work consistently advances the integration of probabilistic methods, deep learning, and adaptive control in autonomous systems.

Official University Profile