Find Academic Supervisors

Efstathios StiliarisView profile

Adjunct Associate Professor

• Experimental Nuclear Physics
• Medical Imaging
• Artificial Intelligence and Machine Learning
• +5 more

Efstathios Stiliaris is an Experimental Nuclear Physicist at the Department of Physics of the National & Kapodistrian University of Athens since 2016, where he also served as Acting Head of the Nuclear and Particle Physics Laboratory until 2022. He concurrently holds the position of Adjunct Associate Professor at The Cyprus Institute in Nicosia, Cyprus since 2013, leading the research group at the SPECT Laboratory (SPECT-Lab). His primary research focuses on experimental nuclear physics, medical imaging technologies, and hadronic physics, with a strong emphasis on developing advanced imaging modalities such as SPECT, Compton cameras, and AI-driven solutions for radiological diagnostics. His expertise spans radiation detection technologies, including gamma-camera systems, thermal tomography, and the development of dual-modality contrast agents for SPECT/MRI and PET/MRI applications. He has pioneered novel reconstruction algorithms like RISE and ComptonRec, addressing challenges in image quality enhancement and inverse problem solutions. His work bridges nuclear physics fundamentals with clinical applications, leveraging machine learning for therapeutic and diagnostic advancements. Key contributions include optimizing semi-pixelated scintillation crystals for planar imaging, exploring proton structure through pion photoproduction analyses, and advancing thermal tomography through physics-informed neural networks. His multidisciplinary approach integrates computational physics, material science, and biomedical engineering to address unresolved challenges in medical imaging instrumentation and radiation detection systems. Stiliaris has collaborated on projects involving the CMS Collaboration at CERN and contributed to experimental methodologies for thermal loss estimation in molten salt energy systems. His research group maintains active involvement in both fundamental physics and translational medical imaging technologies, emphasizing lab-to-clinic transitions through rigorous validation protocols and novel experimental setups.

Stergios AnastasiadisView profile

Professor

• Operating Systems
• Distributed Storage
• File Systems
• +2 more

Stergios Anastasiadis is a Professor at the University of Ioannina's Department of Computer Science and Engineering, with visiting appointments at Cambridge and EPFL. His research focuses on core systems innovation spanning operating systems, distributed storage, and cloud infrastructure. Research interests include multitenant isolation, concurrent data structures, storage I/O optimization, and filesystem design. His work develops novel approaches to resource management in cloud environments, emphasizing security, efficiency, and reliability in distributed systems. Recent publications reveal sustained focus on storage subsystem optimization, with contributions to journaling techniques, isolation mechanisms, and I/O performance tuning. Key innovations include lock-free concurrency models, client-side storage innovations, and cross-platform memory management techniques. Educational background includes Ph.D. from University of Toronto and international research collaborations. No specific advising relationships or scientific awards are documented. Laboratory affiliations include distributed systems research groups at University of Ioannina, with collaborations extending to cloud computing initiatives across Europe.

Xanthi S. PapageorgiouView profile

Assistant Professor

• Neuro-Robotics
• Human-Robot Interaction
• Robot Control Systems
• +8 more

Xanthi S. Papageorgiou is an Assistant Professor in the Department of Product & Systems Design Engineering (DPSD) at the University of the Aegean's School of Engineering (2025–present). She concurrently serves as Head of the Robotics and Cognitive Systems Unit at UBITECH in Athens and Limassol. Her academic roles also include adjunct positions at National Technical University of Athens (NTUA) School of Mechanical Engineering (2022–2024), University of Athens Department of Physics (2019–2021), and others. She holds a Mechanical Engineering Diploma (2003) and PhD (2009) from NTUA, with postdoctoral research at NTUA's Intelligent Robotics Lab (2013–2018). Research focuses on neuro-robotics, human-robot interaction, rehabilitation robotics, and adaptive control systems. Her work addresses challenges in gait analysis for mobility assistance devices, assistive bathing robots, and real-time human state estimation. Key contributions include user-adaptive control frameworks, gait stability prediction, and multimodal sensing integration. Publications span over 70 peer-reviewed articles in IEEE journals and conferences. Awards include multiple Thomaidion Awards (NTUA), Best Paper Awards, and scholarships from Eugenides Foundation. She reviews for international journals and conferences and is active in IEEE Robotics & Automation Society. Her labs and projects include the I-Support assistive bathing system and the development of robotic platforms for elderly care. Research collaborations span academia and industry, addressing both technical and clinical validation aspects of robotic systems.

Cyrille ArthoView profile

Associate Professor

• Software Verification
• Software Engineering
• Concurrent Systems
• +5 more

Cyrille Artho is an Associate Professor at the KTH Royal Institute of Technology's School of Computer Science and Communication. He obtained his Master's and Ph.D. degrees from ETH Zurich, with research focused on finding faults in multi-threaded programs. Before joining KTH in 2016, he held research positions at the National Institute of Informatics in Tokyo and the National Institute of Advanced Industrial Science and Technology (AIST) in Japan. His research interests include: Software verification and software engineering Concurrent and networked systems Model-based testing and runtime verification Fault injection techniques Formal methods for distributed systems His recent publications demonstrate strong focus on model checking, test generation, and verification techniques for concurrent/distributed systems, with applications ranging from IoT protocols to Android devices. Notable trends include the development of specialized testing tools and formal verification approaches. Awards and recognitions: ACM SIGSOFT Distinguished Paper Award (ASE 2015) QRS 2015 best paper award Best tool competition winner at SBST 2015 He leads development of several verification tools including Modbat (model-based tester) and Java PathFinder extensions. He is also involved in the KTH Center for Cyber Defense and Information Security management group.

Cezara DrăgoiView profile

Researcher

• Static Analysis
• Formal Verification
• Distributed Systems
• +3 more

Cezara Drăgoi serves as a Researcher (Chargé de Recherche) at INRIA with dual affiliation at École Normale Supérieure's Department of Computer Science and CNRS. She maintains active roles in major programming language conferences including PLDI, POPL, and SPLASH where she contributes to program committees and steering groups, demonstrating her standing in the formal methods community. Her research program focuses on automated formal verification through abstraction techniques, specifically targeting data structures across the spectrum from sequential implementations to distributed systems. Drăgoi develops logic-based frameworks that enable Hoare-style reasoning about content and consistency properties, with particular expertise in identifying suitable fragments of first-order and separation logic for static analysis. Her work bridges theoretical foundations with practical verification challenges in both single-threaded and concurrent environments. Publication trends reveal a clear evolution from foundational work on shape analysis for sequential data structures toward increasingly complex distributed systems verification. This progression culminated in her development of PSync - a domain-specific language for fault-tolerant distributed algorithms with integrated verification capabilities - demonstrating her ability to create practical abstractions that make verification tractable for real-world systems. Steering Committee Member, Static Analysis Symposium (SAS 2025) Program Committee Co-Chair, VMCAI 2023 Multiple program committee roles at PLDI (2017, 2020), POPL (2016-2023), ECOOP (2019), and SPLASH (2020-2024) Session chair for SAS 2021 and VMCAI 2019 Drăgoi actively mentors emerging researchers through internship and PhD opportunities in specialized areas including Byzantine consensus verification (SABC project) and refinement techniques for fault-tolerant asynchronous code (RFTA project). She has developed two influential verification tools: CELIA (a Frama-C plugin for C program verification handling both data and structural properties) and PSync (a language with verification engine for distributed algorithms). Her teaching includes graduate-level courses on abstract interpretation at Université Paris Diderot. She leads verification research within the INRIA/ENS collaboration, focusing on making static analysis tractable for complex distributed systems through innovative synchronous programming abstractions. Current work targets verification challenges in consensus algorithms and communication-closed protocols, with emphasis on bridging theoretical soundness with practical applicability.

Parosh Aziz AbdullaView profile

Professor

• Concurrency
• Distributed Systems
• Program Verification
• +5 more

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. He is a prominent researcher in the field of theoretical computer science with a focus on formal methods, concurrency, and program verification. His work bridges theoretical foundations with practical applications in software and hardware verification. Professor Abdulla's primary research interests include Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, and Logic. His work spans both theoretical aspects of computer science and practical verification techniques for concurrent and distributed systems. He has made significant contributions to the understanding of memory models, particularly in the context of modern architectures like x86 with persistent memory. His research has evolved from foundational work on infinite-state systems to practical verification techniques for concurrent programs and string constraints. Professor Abdulla has served on numerous program committees for top-tier conferences including PLDI, POPL, CAV, CONCUR, and TACAS, demonstrating his standing in the research community. He has been PC co-Chair for TACAS'11 and has contributed to many other conferences over the years. As an advisor, Professor Abdulla has supervised numerous PhD students to completion, with graduates working on topics ranging from verification of networks of communicating processes to caches, transactions, and memory models. His students have gone on to successful careers in academia and industry. Professor Abdulla maintains an active research agenda, with recent work focusing on verification of quantum circuits, efficient linearizability monitoring, and verification under Intel-x86 with persistency. His research continues to address fundamental challenges in program verification while adapting to new computing paradigms and hardware architectures.

Bradford L. ChamberlainView profile

Adjunct Professor

• Parallel Computing
• Programming Languages
• High-Performance Computing
• +3 more

Bradford L. Chamberlain is a Distinguished Technologist at Hewlett Packard Enterprise and an Affiliate Professor in the Paul G. Allen School of Computer Science and Engineering at the University of Washington. With over two decades of experience in high-performance computing, he has made significant contributions to parallel programming languages, particularly as the technical lead of the Chapel programming language project since 2006. His educational background includes: Ph.D. in Computer Science & Engineering from the University of Washington (2001) M.S. in Computer Science & Engineering from the University of Washington (1995) B.S. in Computer Science from Stanford University (1992) Chamberlain's research focuses on improving programmer productivity for high-performance computing through innovative language design, compiler techniques, and runtime systems. His work centers around the Chapel programming language, which aims to provide a multiresolution programming model that allows developers to express parallelism at varying levels of abstraction while maintaining performance across diverse architectures from laptops to supercomputers. His research spans parallel language design, compiler optimization, data distribution strategies, locality management, and performance portability. Chapel builds on his earlier work with the ZPL language, where he developed region-based approaches for sparse parallel computing. His publication record over the past fifteen years demonstrates a consistent focus on practical approaches to parallel programming, with recent work emphasizing data locality, heterogeneous architectures, and performance portability. His articles show an evolution from foundational language design concepts to increasingly sophisticated implementations addressing real-world HPC challenges, particularly in the areas of domain mapping, iterator abstractions, and memory management for large-scale systems. As a Distinguished Technologist at HPE, Chamberlain has played a key role in growing the Chapel project from a modest effort to one involving nearly 20 full-time developers. His leadership has positioned Chapel as one of the most promising languages for addressing the challenge of productive parallel programming at scale. He has secured funding, established collaborations with academia and industry, and performed extensive outreach through talks, tutorials, and research visits. At the University of Washington, Chamberlain serves as a liaison between academia and industry, participating in student committees, teaching graduate courses like Parallel Computation, and fostering communication between the department and HPE/Cray. His teaching experience spans from undergraduate data structures to graduate seminars on parallel programming environments. He has also volunteered as a tutor for underrepresented students in computer science.

Amit K. ChopraView profile

Senior Lecturer

• Decentralized systems
• Multiagent systems
• Software engineering
• +5 more

Amit K. Chopra is a Senior Lecturer (Associate Professor) in the School of Computing and Communications at Lancaster University. His research focuses on decentralized systems, multiagent systems, and software engineering, with particular interest in how autonomous agents can interact with maximal flexibility in sociotechnical settings where agents represent autonomous parties and their decisions have normative consequences. Dr. Chopra has developed a unique approach called Interaction-Oriented Programming (IOP) that constitutes a foundation for flexible interactions between decentralized agents. This framework has evolved to include world-leading languages for modeling multiagent interactions, both in terms of normative meaning and interaction protocols, along with approaches for verifying them and programming models for implementing intelligent agents. His work challenges conventional wisdom in fields such as software engineering, distributed systems, programming languages, and business processes. His research spans theoretical foundations to practical implementations, with applications in e-business, health, finance, and other domains. Recent publications show a strong focus on tools and frameworks including Fluid (social norms-based multiagent systems), Argus (programming with communication protocols), Kiko (programming agents to enact protocols), Mandrake (fault-tolerant decentralized applications), and Azorus (commitments over protocols for BDI agents). Senior Lecturer (Associate Professor), School of Computing and Communications, Lancaster University Research interests: Decentralized systems, Multiagent systems, Software engineering, Sociotechnical systems Developed Interaction-Oriented Programming (IOP) framework for flexible agent interactions Active contributor to major conferences including PLDI 2020 tutorial on 'Programming for Autonomy' Dr. Chopra's work bridges theoretical foundations with practical applications, addressing fundamental challenges in decentralized computing including asynchrony and concurrency - areas where computing has traditionally struggled. His approach to commitment protocols and interaction-oriented programming represents a significant contribution to the field of multiagent systems and decentralized computing.

David GreggView profile

Professor

• Software performance optimization
• Embedded systems
• Accelerating deep neural networks on embedded systems
• +12 more

David Gregg is a Professor in the Department of Computer Science at Trinity College Dublin's School of Computer Science and Statistics, where he serves as Global Director for Computer Science (since 2020) and previously as Head of the Discipline of Software and Systems (2018-2022). His research focuses on software performance optimization and embedded systems, with particular expertise in accelerating deep neural networks on resource-constrained platforms. He teaches Systems Programming (CS2014/5) and Concurrent Systems I (CS3014). Gregg's research spans multiple areas of computer systems including: Compiler optimization and program analysis Processor microarchitecture and parallelism (multi-core, vector, instruction-level) Computer arithmetic and domain-specific languages Low-energy embedded systems and FPGA implementations Deep neural network acceleration He has served on numerous program committees including PACT, PLDI, CC, and other major computer systems conferences, and has been on the Board of Distinguished Reviewers for ACM TACO multiple times. Professor Gregg has advised numerous PhD and MSc students, many of whom have gone on to prominent positions at companies like Intel-Movidius, Google, Amazon, and Synopsys. He leads the triNNity project which includes optimized libraries and compilers for implementing convolutional neural networks on CPUs.

Aarti GuptaView profile

Professor

• Formal verification
• Model checking
• Program analysis
• +6 more

Aarti Gupta is a Professor in the Department of Computer Science at Princeton University, where she conducts research in formal verification, program analysis, and automated decision procedures. She has made significant contributions to the field of system analysis and verification, with her work being applied in industrial settings. Before joining Princeton, she led research in systems analysis and verification at NEC Labs America. Dr. Gupta received her PhD in Computer Science from Carnegie Mellon University. Her academic journey has positioned her as a leading figure in formal methods and verification techniques. Her research focuses on two main areas: theoretical foundations and practical applications. Foundations include formal methods, model checking, program analysis, automated synthesis, and SAT/SMT solvers. Applications span verification of software, hardware, networks, and distributed systems. Gupta's work bridges the gap between theoretical advances and real-world implementation, with particular emphasis on developing techniques that scale to handle complex industrial systems. Gupta's recent publications demonstrate a clear trajectory toward more modular, scalable, and practical verification techniques. She has increasingly focused on network verification, with several papers addressing the challenges of verifying distributed network control planes. Her work also shows growing interest in hardware verification, particularly for Systems-on-Chip (SoCs), and the intersection of formal methods with neural networks. A notable trend is the development of techniques that combine symbolic reasoning with learning approaches to improve verification scalability. Dr. Gupta has received numerous prestigious awards for her contributions: ACM Fellow (2017) - for contributions to system analysis and verification techniques and their transfer to industrial practice PLDI 2023 Distinguished Paper Award for "Synthesizing MILP Constraints for Efficient and Robust Optimization" IEEE ICNP 2022 Best Paper Award DATE 2021 Best Paper Award (Track D) ACM TODAES 2020 Best Paper Award IEEE Micro Top Pick 2018 Honorable Mention Dr. Gupta has advised numerous graduate students and postdoctoral researchers, including current PhD candidates Divya Raghunathan, Akash Gaonkar, Deyuan He, and Dexin Zhang. Among her former students are Timothy Alberdingk Thijm and Lauren Pick. She has also mentored postdoctoral fellow Grigory Fedyukovich and visiting student Yueling Zhang. Her research has been supported by significant grants that have enabled her to lead projects such as SyLVer (Synthesis, Learning, and Verification) and network verification initiatives in collaboration with researchers like Dave Walker and Ryan Beckett. Dr. Gupta leads the SyLVer research group at Princeton, which focuses on developing techniques that improve the scalability of algorithmic verification by combining deductive learning with learning on data and examples. Her group collaborates extensively on network verification projects, particularly through the Minesweeper initiative with Dave Walker and Ryan Beckett, and on Instruction Level Abstraction (ILA) for System-on-Chip verification in collaboration with Sharad Malik's group.

Tony HoskingView profile

Professor

• Programming Language Implementation
• Memory Management
• Garbage Collection
• +9 more

Tony Hosking serves as Professor and Director of the School of Computing at the Australian National University, with additional research contributions through Data61 (formerly NICTA). Previously, he spent 22 years on the faculty at Purdue University. His leadership extends to major programming languages conferences including serving as General Chair for PPoPP 2026. Education BSc in Computer Science from University of Adelaide MSc in Computer Science from University of Waikato PhD in Computer Science from University of Massachusetts at Amherst Hosking's research centers on programming language implementation with particular expertise in memory management systems. His work bridges theoretical foundations and practical systems, focusing on garbage collection algorithms, virtual machine design, and compiler optimizations for managed runtimes. He investigates how hardware architectures can better support language features through runtime systems. Professional Recognition Named ACM Distinguished Scientist in 2012 ACM Life Member status Active IEEE Member Hosking maintains extensive service to the programming languages community through conference organization and committee work. He has held leadership roles across PLDI, SPLASH, ISMM, and PPoPP conferences since 2013, including program committees, steering committees, and session chair positions. His GitHub activity shows continued technical engagement through 2025.

• Memory management
• Concurrent programming
• Formal verification
• +4 more

Jaehwang Jung is a researcher affiliated with Korea Advanced Institute of Science and Technology (KAIST) in South Korea and Rebellions Inc. They have been actively publishing research papers at premier programming languages conferences including PLDI and POPL from 2020 through 2025. Dr. Jung's research focuses on memory management systems and formal verification techniques for concurrent programming. Their work primarily centers around developing and verifying memory reclamation techniques using separation logic, with particular emphasis on pointer-based and epoch-based approaches. They have made significant contributions to the understanding of relaxed memory models and their implications for concurrent data structure verification. Analysis of their publication history reveals a clear progression from foundational work on memory reclamation (2020) toward increasingly sophisticated verification techniques for concurrent systems. Their research spans both theoretical aspects of separation logic and practical implementations of memory management systems, demonstrating strong connections between formal methods and systems programming. As an active member of the programming languages community, Dr. Jung has served as an Artifact Evaluator for POPL 2021 and continues to contribute to advancing the state of the art in concurrent program verification.

• Compilers
• Computer Architecture
• High-Performance Storage
• +5 more

Mahmut Taylan Kandemir is a Professor in the Department of Computer Science at Pennsylvania State University. His research spans optimizing compilers, runtime systems, embedded systems, I/O, high-performance storage, and power-aware computing. He leads the Microsystems Design Lab and collaborates with institutions like Argonne National Lab, Microsoft, and Intel. Education: B.S. Computer Engineering, Istanbul Technical University (1988) M.S. Computer Engineering, Istanbul Technical University (1992) Ph.D. Computer Science, Syracuse University (1999) Research Focus: Dr. Kandemir's work integrates hardware-software co-design to address challenges in multi-core architectures, non-volatile memory systems, and energy efficiency. His recent projects explore 3D NAND flash optimization, near-data computing, and reliability in heterogeneous systems. Key themes include reducing data movement overhead, enhancing storage longevity, and developing compiler-directed solutions for emerging hardware. Publications: His articles frequently appear in premier venues (PLDI, ASPLOS, HPCA) and emphasize memory hierarchy optimization, security, and parallelism. Trends include hardware-assisted resilience, approximate concurrency, and energy-efficient VR streaming. Awards: Premier Research Award, Penn State Engineering Society (2017) IEEE Fellow NSF CAREER Award (2000) Best Paper Awards (IPDPS 2008, ICPADS 2006) Top ACM Digital Library Download (2006) Advising & Grants: He has graduated 32 Ph.D. and 20 master's students, with 15 Ph.D. and 5 master's students currently advised. His research is funded by NSF, DARPA, DOE, and industry partners. Active projects include: NSF/OAC: Re-Engineering Galaxy for Performance (2019-2023) NSF/SHF: 3D NAND Flash Optimization (2019-2022) NSF/SPX: Heterogeneous Intermittent Accelerators (2018-2022) Labs & Teams: Leads the Microsystems Design Lab, focusing on architecture-compiler co-design. Collaborates with the Storage Systems Research Center and heterogeneous computing groups at Penn State.

Doug LeaView profile

Professor

• Concurrency
• Parallelism
• Distributed Systems
• +3 more

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

Luc MarangetView profile

Researcher

• Weak Memory Models
• Concurrency
• Formal Verification
• +5 more

Luc Maranget is a Researcher at Inria Paris working within the Cambium project. His primary research focuses on weak memory models, concurrency, formal verification, and computer architecture. He has made significant contributions to understanding memory models in modern architectures including ARM, x86, and RISC-V. Maranget's research interests center around the formal modeling of memory consistency in modern processor architectures. He has developed theoretical frameworks for understanding relaxed memory models across multiple architectures and has created practical tools like the diy testing suite for validating memory models. His work bridges theoretical computer science with practical hardware implementation concerns, particularly in the domain of concurrent programming. His publication record shows a consistent focus on memory models and concurrency since 2016, with increasing emphasis on formal verification of hardware specifications. His research spans both theoretical aspects (operational semantics for memory models) and practical applications (testing suites, compiler implementations). Maranget teaches courses on programming shared memory multicore machines at MPRI (Master Parisien de Recherche en Informatique) and has previously taught at École polytechnique. He is also the author of H E V E A, a fast LaTeX to HTML translator, demonstrating his interest in programming language implementation. As the main developer of the diy testing suite, Maranget has created an important tool for the memory models research community. His work provides practical validation methods for theoretical models of processor behavior, making significant contributions to the verification of concurrent systems.