concurrent computing 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 31-45 of 128 supervisors

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

Nikos SpanoudakisView profile

Assistant Professor

Technical University of CreteGreece

Nikos Spanoudakis is an Assistant Professor at the Department of Electronic Engineering of Hellenic Mediterranean University , with concurrent research collaboration at Technical University of Crete . He holds a PhD in Computer Science (Artificial Intelligence) from Paris Descartes University (2009, "Très Honorable"), an MSc in Organization and Administration from Technical University of Crete, and a Diploma in Computer Engineering and Informatics from University of Patras. Research Focus: Multi-Agent Systems (AOSE, Computational Argumentation), Model-Driven Engineering , Smart Buildings , IoT , and Artificial Intelligence Applications in Ambient Intelligence, Finance, and Education Key Contributions: Created ASEME Methodology and AMOLA Language for agent modeling, developed Gorgias-B argumentation framework, and designed Kouretes Statechart Editor for robotic behavior specification His recent publications reveal a strong trend in Explainable AI (2023: Explainable Argumentation as a Service ), Smart Energy Systems (2025: Engineering IoT-Based Open MAS for Large-Scale V2G/G2V ), and EdTech Innovations (2024: Role Assignment in Programming Courses ). He has received prestigious ACM Senior Member (2023) and IEEE Senior Member (2012) distinctions, along with teaching recognition (2021) from Technical University of Crete. Academic Leadership: Serves as Editor for Springer Nature's Computer Science journal and has reviewed for 15+ top-tier publications including IEEE Intelligent Systems and Journal of Web Semantics Conference Involvement: Program Committee Member for 20+ international conferences (IJCAI, ECAI, AAMAS, AAAI) and organizer of multiple European Agent Systems Summer Schools

Official University Profile

Andromache GkaziView profile

Professor

Panteion UniversityGreece

Professor Andromache Gkazi holds the position of Professor of Museology at Panteion University's Department of Communication, Media and Culture in Athens. She concurrently teaches at the Greek Open University and serves as a museum consultant and lecturer on museum-related topics. Her career spans academic roles and practical experience in cultural management and exhibition curation. Education: B.A. Archaeology (University of Thessaloniki), M.Phil. Archaeology (University of Cambridge, specializing in cultural management), Ph.D. Museum Studies (University of Leicester, Onassis Foundation-funded). Her research focuses on ideological manipulation of historical narratives in museums, memory studies, public archaeology, and oral history. She co-edited landmark volumes such as National Museums in Southern Europe (2012) and Oral History in Museums and Education (2015). Active in professional networks, she serves on the editorial board of Tetradia Mouseiologias and the Greek Ministry of Culture's Council of Museums. She also participates in the Amykles Research Programme in Public Archaeology. Her academic service includes roles at Panteion University's Cultural Informatics, Data and Computational Cultural Studies Lab (CID-CCS Lab). Office hours are Wednesdays 17:00-18:00 and Fridays 13:00-14:00 by appointment.

Official University Profile

Arthur Azevedo de AmorimView profile

Assistant Professor

National and Kapodistrian University of AthensGreece

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology's College of Computing. His research focuses on making software more secure and reliable using techniques based on formal verification, programming languages, and type systems. Previously, he held postdoctoral positions at Boston University and Carnegie Mellon University after completing his Ph.D. at the University of Pennsylvania under Benjamin Pierce and co-advised by Cătălin Hrițcu. His educational background includes undergraduate studies in computer science and engineering at Unicamp and Polytechnique. He is also one of the authors of Software Foundations, an introductory textbook to the Coq proof assistant, and maintains an active blog about Coq. Dr. de Amorim's research spans several critical areas in programming languages and security. His work on cryptographic protocols leverages recent advances in program verification (particularly separation logic) to verify cryptographic protocols. His research on compartmentalization analyzes formal guarantees of techniques for limiting the scope of vulnerabilities in low-level languages like C and C++. These research areas reflect his commitment to bridging theoretical foundations with practical security applications. His recent publications demonstrate strong activity across multiple top-tier conferences including POPL, PLDI, CCS, and ICALP, with research spanning formal verification, secure compilation, differential privacy, and programming language theory. His work consistently combines theoretical rigor with practical applications in security and reliability. Dr. de Amorim has served on numerous program committees for major programming languages conferences including POPL, PLDI, ICFP, and CoqPL, demonstrating his active engagement with the research community. He has also contributed to important educational resources through his work on Software Foundations. He currently advises several graduate students at RIT working on various aspects of programming languages and security. His lab develops multiple open-source software projects including Cryptis (for verifying cryptographic protocols), Deriving (a Coq library for automating class instances), and Extructures (a Coq library of finite data structures).

Official University Profile

James CheneyView profile

Professor

National and Kapodistrian University of AthensGreece

James Cheney is a Personal Chair of Programming Languages and Systems at the University of Edinburgh, working in the Laboratory for Foundations of Computer Science within the School of Informatics. He leads the Principles of Provenance research group and has been a Turing Fellow from 2018 to 2023. His educational background includes a PhD in Computer Science from Cornell University (2004), an MS in Mathematics from Carnegie Mellon University (1998), and a BS in Computer Science and Mathematics from Carnegie Mellon University (1998). Cheney's research focuses on the intersection of databases and programming languages, with particular emphasis on data provenance. His work spans several key areas: Databases and data provenance Programming languages and compilers Generic programming Logic and automated theorem proving Compression and information theory XML and related technologies His recent publications demonstrate a strong focus on language-integrated query systems, type systems for programming languages, and formal approaches to data provenance. These works often bridge theoretical foundations with practical applications in database systems and programming language design. Cheney has received several notable awards and recognitions: Royal Society University Research Fellowship (2008-2016) Turing Fellow (2018-2023) ERC Consolidator Grant for the Skye project (2016-2021) Google Research Award for Language-integrated provenance As an advisor, Cheney has supervised numerous PhD students and postdoctoral researchers who have gone on to positions at institutions including New York University, LSE, University of Southampton, Meta, and others. His research has been supported by various grants from DARPA, EPSRC, AFOSR, EU FP7, and industry partners including Google, Microsoft Research, and Huawei. Cheney leads the Principles of Provenance group, which conducts fundamental research on data provenance and its applications in security, data curation, and scientific computing. The group has worked on projects including Skye (a programming language for scientific data curation), ADAPT (a DARPA-funded project on advanced persistent threat prevention), and language-integrated provenance systems.

Official University Profile

Kostas ChatzikokolakisView profile

Associate Professor

National and Kapodistrian University of AthensGreece

Kostas Chatzikokolakis is an Associate Professor at the Department of Informatics and Telecommunications, University of Athens. He is on leave from CNRS and the Inria team Comète at LIX, École Polytechnique. His research focuses on security and privacy, particularly quantitative information flow, location privacy, differential privacy, probabilistic verification, and concurrency theory. Education includes a PhD in Computer Science (2007) from École Polytechnique, Paris, with a thesis on probabilistic and information-theoretic approaches to anonymity. He holds a Master's from University Paris VII and a Bachelor's from the National University of Athens. Research interests span formal methods for privacy, differential privacy mechanisms, and location privacy. Notable contributions include the Geo-Indistinguishability framework and the Location Guard browser extension. He has received the Test of Time Award at CCS 2023, NSA Best Scientific Cybersecurity Paper Award (2015), and the Second SPECIF/Gilles Kahn Prize (2008). Teaching includes courses on privacy technologies, computer security, and data structures. He has supervised numerous PhD students and led projects like LOGIS (JSPS/Inria), REPAS (ANR), and Privacy-Friendly Services (Microsoft). Contributions to open-source software include the Location Guard (60k daily users) and libqif, a C++ toolkit for quantitative information flow analysis.

Official University Profile

Dominik HelmView profile

Professor

National and Kapodistrian University of AthensGreece

Dominik Helm serves as an interim professor at the University of Duisburg-Essen and is a researcher at the Software Technology Group, Technical University of Darmstadt since 2018. He holds a Dr.-Ing. degree and serves as the lead maintainer of the OPAL static analysis framework. Helm is also affiliated with ATHENE (National Research Center for Applied Cybersecurity) and CRISP, where he contributes to cybersecurity research focusing on 'Security at Large' for comprehensive systems. Dr. Helm's research centers on modularization and automatic parallelization of collaborative static analyses to improve precision, soundness, and performance. His work specifically targets the OPAL framework for Java VM bytecode, with expertise spanning purity and immutability analyses, modular call graphs, and bug/security vulnerability detection. His research bridges theoretical foundations with practical implementation, addressing real-world challenges in static analysis. His publication record shows consistent contributions to top-tier conferences (PLDI, ISSTA, ESEC/FSE, ASE) with recent work focusing on cross-language analysis, modular call graph algorithms, and evaluation of static analysis precision. Helm has demonstrated particular interest in making static analysis more practical through modularity and parallelization. As an educator, Helm teaches courses including Software Engineering, Type Systems, Quality Assurance, and Program Analysis at the University of Duisburg-Essen. He has supervised multiple student teams through bachelor and master projects, guiding research on call graphs for dynamic languages, IDE solvers, alias analysis, and immutability analysis. Dr. Helm actively contributes to the academic community through program committee service for ICSE, ISSTA, ASE, and other major conferences. His work with the OPAL framework represents a significant contribution to the static analysis community, providing a platform for developing and composing modular analyses for Java bytecode processing and analysis.

Official University Profile

Peter W. O'HearnView profile

Professor

National and Kapodistrian University of AthensGreece

Peter W. O'Hearn is a Professor of Computer Science at University College London and a Research Scientist at Meta AI (FAIR). He has held academic positions at Syracuse University, Queen Mary University of London, and University College London, before joining Facebook (now Meta) in 2013 as part of the acquisition of the verification startup Monoidics. His career spans over 25 years of research in programming languages and logic, with significant contributions to both theoretical foundations and practical industrial applications. O'Hearn's research primarily focuses on formal reasoning about programs, with his most notable contributions being the co-invention (with John Reynolds) of Separation Logic and the development of Incorrectness Logic. His work bridges the gap between theoretical computer science and practical software engineering, emphasizing how fundamental theory, tool development, and real-world application can mutually reinforce each other. He has consistently advocated for the integration of formal methods into industrial software development practices. His research has led to the development of the Infer program analyzer, which runs internally on Meta's code bases and has detected over 100,000 bugs that have been fixed by developers. Infer is also used in production at other major companies including Amazon, Mozilla, Spotify, and Marks and Spencer. His recent work on Incorrectness Logic represents a paradigm shift from traditional program verification approaches, focusing on bug finding rather than correctness proving. O'Hearn has received numerous prestigious awards recognizing both his theoretical contributions and practical impact: Fellow of the Royal Society (elected 2018) Fellow of the Royal Academy of Engineering (2016) 2016 Gödel Prize 2016 CAV Award Two POPL MIP awards Honorary doctorate from Dalhousie University (2018) 2021 IEEE Cybersecurity Award for Practice Throughout his career, O'Hearn has successfully translated theoretical advances into practical tools used at scale in industry. His work on Separation Logic led directly to Infer, while his more recent work on Incorrectness Logic aims to provide foundations for next-generation bug catching tools. He has maintained a strong academic presence while working in industry, continuing his professorship at UCL alongside his role at Meta. O'Hearn leads research efforts at the intersection of formal methods and practical software engineering at Meta, focusing on scaling static analysis techniques to handle the massive codebases typical of modern technology companies. His work has significantly influenced how large tech companies approach software verification and bug detection.

Official University Profile

Katerina TzafilkouView profile

Lecturer

University of MacedoniaGreece

Katerina Tzafilkou is an Adjunct Lecturer at the School of Science and Technology, International University of Greece, and an Adjunct Academic Associate at the Hellenic Open University’s Educational Sciences Postgraduate Programme in Education and Technologies. She concurrently serves as a Postdoctoral Researcher in Technology Enhanced Learning (TEL) and Emotion Recognition at the University of Macedonia (GR), supported by a scholarship from the State Scholarship Foundation (IKY). Her educational background includes a Ph.D. in Human-Computer Interaction (University of Macedonia), an M.Sc. in Information Systems, and a B.Sc. in International and European Studies, all from the University of Macedonia. Research interests focus on TEL, Emotion Recognition, and Distance Learning Systems. She has contributed to multiple research projects and published in peer-reviewed international journals, emphasizing interdisciplinary applications of technology in education. Her academic awards include the IKY postdoctoral scholarship, underscoring her research excellence. While specific grants or lab affiliations are not detailed, her work spans educational technology innovation and learning system development.

Official University Profile

Panagiota FatourouView profile

Professor

Foundation for research and technology-hellasGreece

Dr. Panagiota Fatourou is a Professor in the Department of Computer Science at the University of Crete and a senior researcher at the Institute of Computer Science (ICS), Foundation for Research and Technology - Hellas (FORTH). She holds a dual affiliation, contributing significantly to both institutions. She has previously served as faculty at the University of Ioannina and held postdoctoral positions at the Max-Planck-Institut für Informatik and the University of Toronto. She has also been a visiting professor at École Polytechnique Fédérale de Lausanne (EPFL). Her research spans the theoretical and practical foundations of parallel and distributed computing. She is a leading expert in concurrent data structures, transactional memory, and the use of persistent memory in system design. Her work integrates theoretical rigor with practical implementation, often publishing in top-tier venues like PPoPP, PODC, SPAA, and PVLDB. Recent publications highlight her focus on efficient garbage collection for multiversioning, persistent data structures, and distributed data series similarity search, reflecting a trend towards high-performance, fault-tolerant systems for modern hardware. Best Paper Award, PPoPP 2022 Marie-Curie Individual Fellowship FSMP Distinguished Professor Fellowship ACM Distinguished Speaker Featured ACM Member Dr. Fatourou has a strong record of leadership and mentorship. She has advised numerous MSc and PhD students and is actively recruiting for her PERSIST project, funded by HFRI. She has led major research initiatives, including the EU-funded TransForm network and the GreenVM project. Her leadership extends to the broader community, where she has served as Past Chair of the ACM Europe Council, Chair of the Greek ACM-W Chapter, and on the steering committees of PODC and OPODIS. She has also co-organized key events on gender equality in computing, such as the Summits on Gender Equality in Computing (GEC) and the WISTEM Summer School. She is deeply involved in the academic service, frequently serving on program committees for premier conferences such as SPAA, NETYS, and SRDS. Her laboratory and research team at FORTH ICS and the University of Crete focus on building the theoretical underpinnings and practical implementations of next-generation concurrent and distributed systems.

Official University Profile

Rodoula MakriView profile

Researcher

National Technical University of AthensGreece

Dr. Rodoula Makri serves as a Senior Researcher at the Research University Institute of Communications and Computer Systems (RICC-NTUA) of the National Technical University of Athens, based at the Microwave and Fiber Optics Laboratory (MICOL) since 2000. Promoted to the highest research rank (Researcher A') in 2015, she concurrently holds a Lecturer position at the Military Academy of Evelpidon's Department of Mathematics and Engineering Sciences since 2008, teaching electronics and telecommunications. Her academic credentials include: Diploma in Electrical Engineering (1992, NTUA) PhD in Microwaves and Wireless Telecommunications (1999, NTUA) Master of Business Administration (2001, Athens University of Economics and Business/NTUA) Dr. Makri's research spans microwave engineering , millimeter-wave systems , and critical infrastructure security , with expertise in RF circuit design, antenna systems, and electromagnetic modeling. Recent work integrates AI-driven security frameworks and resilience assessment methodologies for telecommunications networks, reflecting strategic adaptation to emerging threats in 5G and critical infrastructure domains. Her dual technical-business background enables unique cross-disciplinary approaches to complex engineering challenges. Analysis of her 15 most recent publications reveals a decisive pivot from pure microwave engineering (evident in 2018's CMOS mixer design) toward security applications, with 9 of 15 papers (2019-2023) addressing drone detection, 5G vulnerabilities, and resilience frameworks like RESISTO. This evolution aligns with European Commission priorities, particularly Horizon 2020 security initiatives, while maintaining core microwave expertise for defense applications like K-band radar systems. Dr. Makri has secured substantial research funding through 30+ competitive projects, including: European Commission Programs : Horizon 2020, FP7 (serving as Principal Investigator and Technical Manager) Greek NSRF Projects : General Secretariat for Research and Technology initiatives Flagship Projects : RESISTO (telecom security architecture), TARGET Mobility (wireless systems), Rural Wings (satellite e-learning) Her work operates within NTUA's Microwave and Fiber Optics Laboratory (MICOL), featuring advanced RF measurement capabilities including anechoic chamber testing and field deployment systems. Current collaborations focus on EU-funded consortia developing integrated cyber-physical protection for critical infrastructure operators.

Official University Profile

Ronghui GuView profile

Associate Professor

National and Kapodistrian University of AthensGreece

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.

Official University Profile

June AndronickView profile

Associate Professor

National and Kapodistrian University of AthensGreece

June Andronick is a conjoint Associate Professor at the University of New South Wales and CEO/co-founder of Proofcraft, a company specializing in formal verification of software systems. She also serves as CEO of the seL4 Foundation and was previously a Principal Researcher at CSIRO's Data61 (formerly NICTA). Her research focuses on increasing the reliability of critical software systems through mathematical proofs that ensure code behaves as expected and meets security and safety requirements. She previously led the Trustworthy Systems group, renowned for the formal verification of the seL4 microkernel, and her current research emphasizes concurrency reasoning for operating system code. Dr. Andronick's work bridges theoretical formal methods with practical software systems, with significant contributions to operating systems verification. Her publication 'COMPLX: a verification framework for concurrent imperative programs' (CPP 2017) demonstrates her focus on practical verification frameworks for complex software systems. MIT's Technology Review TR35 award (2011) - recognition as one of the world's top young innovators She has served on program committees for major computer science conferences including PLDI (External Program Committee 2020, Program Committee 2019) and POPL, demonstrating her leadership in the programming languages research community. Through Proofcraft, she provides commercial support, training, and consulting to help organizations implement formal verification in their software development processes.

Official University Profile

Martin BodinView profile

Researcher

National and Kapodistrian University of AthensGreece

Martin Bodin is a Researcher at Inria in Grenoble, France, where he is a member of the Spades team. Previously, he completed a PhD at Inria Rennes and held postdoctoral positions at the Center for Mathematical Modeling (CMM) in Santiago de Chile and at Imperial College London in the Verified Trustworthy Software Specification research group. Dr. Bodin's research focuses on programming languages design, formalizations, and analyses. He specializes in applying formal methods to real-world programming languages using the Coq/Rocq proof assistant. His work addresses the challenge of formalizing complex languages with many special behaviors that can lead to serious programming mistakes. He believes formal methods can help programmers detect and avoid these mistakes. His research has resulted in formalizations of widely used programming languages including JavaScript, R, and WebAssembly. Notably, his formalizations of JavaScript and R are among the largest in the field. To manage this complexity, he helped design "skeletons," a formalism to express and derive formally-proven program analyses from large formalizations. Currently, Dr. Bodin is working with IREM within the LiberAbaci project to understand how to design mathematics courses that incorporate Coq/Rocq-based tutorials, collaborating with mathematics teachers for mathematics students.

Official University Profile

Tiago CogumbreiroView profile

Assistant Professor

National and Kapodistrian University of AthensGreece

Tiago Cogumbreiro is an Assistant Professor at the University of Massachusetts Boston, where he has been a faculty member since Fall 2018. His research focuses on advancing the foundations of parallel programming through rigorous quality assurance of languages and runtimes. Dr. Cogumbreiro received his PhD from the University of Lisbon (ULisboa) in March 2015 under Francisco Martins, where he developed techniques to handle barrier deadlocks including the Armus runtime verification tool. His educational background includes a B.Sc. from Universidade dos Açores, followed by research assistant work at Imperial College London (supervised by Nobuko Yoshida) and postdoctoral research at Georgia Tech and Rice University (supervised by Vivek Sarkar). As an expert in formal methods for high-performance computing, Dr. Cogumbreiro's work centers on detecting concurrency errors in parallel programs with special emphasis on GPU systems. His research spans theoretical contributions to deadlock avoidance policies and practical applications of Coq and Why3 for certified algorithms. Recent work demonstrates sophisticated approaches to static analysis of data-races in GPU programming, addressing fundamental challenges in parallel system reliability. His publication pattern reveals a consistent trajectory from foundational work on futures-based deadlock avoidance (2017) through behavioral type systems (2019) to current innovations in GPU program analysis (2023-2024). These contributions form a cohesive research program focused on mathematically rigorous approaches to parallel system correctness. Dr. Cogumbreiro actively contributes to the programming languages community through committee service at major conferences including PLDI (2020 Artifact Evaluation), SPLASH (2025 OOPSLA Review Committee), and PPoPP. His GitHub activity shows ongoing development of formal verification tools, particularly Coq-based projects like gorn-coq and habanero-coq that implement his theoretical contributions.

Official University Profile

Delphine DemangeView profile

Associate Professor

National and Kapodistrian University of AthensGreece

Delphine Demange is an Associate Professor in Computer Science at University of Rennes, working in the Epicure research group (formerly Celtique) at IRISA (UMR 6074 / Inria). Her research focuses on formal methods for programming languages and compilers, with particular emphasis on compiler verification, program semantics, and language-based security. Her research interests include formal semantics of programming languages, program transformations, compiler verification, static analysis, computer-aided verification, and language-based security. She has made significant contributions to the formal verification of compiler intermediate representations, particularly static single assignment (SSA) form, and has worked extensively on verified compilation techniques. Her publication record shows a consistent focus on formal verification of programming language constructs and compiler components. Recent work (2023-2025) centers on dataflow circuits and solvers, while earlier work (2015-2020) focused on SSA-based optimizations, garbage collection verification, and information-flow security architectures. Her research demonstrates a strong commitment to applying formal methods to practical compiler and language implementation problems. Her scientific awards include the EAPLS Best PhD Dissertation Award in 2012 and the Gilles Kahn PhD Thesis Award in 2013 for her thesis Semantic Foundations of Intermediate Program Representations . She serves on numerous program committees for major programming languages conferences including CC, CGO, OOPSLA, and POPL, and has held leadership roles such as Program Co-Chair for CC 2021 and General Co-Chair for JFLA 2023 and 2024. She is also a member of the CC Steering Committee (2021-2024). Her teaching portfolio includes undergraduate and graduate courses in programming, algorithmics, compilation, and program verification, with a particular focus on trustworthy programming techniques using deductive verification in Why3.

Official University Profile