Find Academic Supervisors

Cormac FlanaganView profile

Professor

• Programming Languages
• Security
• Information Flow Control
• +4 more

Cormac Flanagan is a Professor in the Department of Computer Science and Engineering at the Baskin School of Engineering, University of California Santa Cruz. His research focuses on programming languages, security, and software verification, with particular expertise in concurrent programming, information flow control, and program analysis. Flanagan's research interests span multiple areas of programming languages and software security. He has made significant contributions to the fields of information flow control, concurrent programming verification, and dynamic analysis techniques. His work on dynamic race detection, particularly the FastTrack algorithm, has been highly influential in the field, earning him a PLDI Most Influential Paper Award. He has also pioneered techniques for secure information flow, including the development of faceted values and secure multi-execution approaches, which earned him a POPL Most Influential Paper Award. His recent publications demonstrate a continued focus on program verification, with particular attention to concurrent software, JavaScript verification, and serverless computing security. Flanagan's work often bridges theoretical foundations with practical implementations, resulting in tools like the Anchor Verifier for concurrent software that provide practical verification solutions for real-world programming challenges. Fellow of the Association for Computing Machinery Alfred P. Sloan Foundation Fellow POPL Most Influential Paper Award for 'Multiple Facets for Dynamic Information Flow' PLDI Most Influential Paper Award for 'FastTrack: Efficient and Precise Dynamic Race Detection' PLDI Most Influential Paper Award for 'Extended Static Checking for Java' ECOOP 2024 Distinguished Paper Award for 'Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning' CSF Distinguished Paper Award for 'Transparent IFC Enforcement: Possibility and (In)Efficiency Results' PLDI Distinguished Artifact Award for 'BigFoot: Static Check Placement for Dynamic Race Detection' ECOOP Best Paper Award for 'RedCard: Redundant Check Elimination for Dynamic Race Detectors' ISSTA Distinguished Paper Award for 'Exploiting Purity for Atomicity' UCSC Excellence in Teaching Award Professor Flanagan has advised numerous PhD students who have gone on to successful careers in industry and academia, including positions at Google, Shape Security, and San Jose State University. He serves as Steering Committee Chair for the ACM Conference on Programming Language Design and Implementation (PLDI) and as Associate Editor for ACM Transactions on Programming Languages and Systems (TOPLAS). His research has been supported by various grants from funding agencies, though specific details are not provided in the available information. Flanagan leads research projects including the Anchor Verifier for Concurrent Software, data race detection tools, the RoadRunner dynamic analysis infrastructure, and work on cooperable concurrency. His research group at UC Santa Cruz focuses on developing practical techniques for ensuring software reliability and security, with applications to concurrent programming, web security, and cloud computing environments.

• Computer Science
• Formal Methods
• Programming Languages
• +3 more

Thomas A. Henzinger is President and Professor at the Institute of Science and Technology Austria (IST Austria), a position held since 2009. Previously, he served as professor at EPFL (2005-2009) and UC Berkeley (1996-2005), establishing himself as a leading figure in formal methods and system verification. His educational background includes a PhD in Computer Science from Stanford University (1991), an MSc from the University of Colorado Boulder (1989), and a Diplom-Ingenieur from Johannes Kepler University Linz (1988). Henzinger's research centers on formal methods for system design and verification. He develops theoretical frameworks and practical tools for analyzing concurrent, distributed, and cyber-physical systems. Key contributions span model checking, abstraction techniques, quantitative analysis, and real-time system verification, with applications in software engineering and biological modeling. Recent publications (2015-2022) demonstrate sustained innovation in asynchronous programming, distributed algorithms, and robustness analysis. His work bridges theoretical foundations with practical verification challenges, particularly in sequentialization of asynchronous programs, Lipschitz robustness for timed systems, and worst-case execution time analysis. Major scientific recognition includes: ACM Fellow (2001) IEEE Fellow (2001) Wittgenstein Award (2000) Royal Society Milner Award (2014) Henzinger has supervised numerous PhD students at UC Berkeley and EPFL, with research funded by NSF, DARPA, and ERC grants including an Advanced Grant. His leadership extends to program committees of premier conferences like PLDI and POPL. As IST Austria President, he drives strategic initiatives for interdisciplinary research while maintaining active contributions to computer science through publications and community engagement.

Christoph KirschView profile

Professor

• Concurrent Programming
• Memory Management
• Virtualization
• +5 more

Christoph Kirsch is Professor and Chair of the Department of Computer Science at the University of Salzburg, Austria since January 2022, and Chair of the Computational Systems Group since April 2004. He also serves as Chair of the Programming Research Laboratory at Czech Technical University in Prague since October 2022. Dr. Kirsch earned his Dr.-Ing. from Saarland University in 1999 while at the Max Planck Institute for Computer Science. He worked as Postdoctoral Researcher at UC Berkeley (1999-2004) and later returned as Visiting Scholar (2008-2013) and Visiting Professor (2014). His research focuses on: Principled design of programming languages and runtime systems Server, quantum, embedded, real-time, and mobile systems Symbolic reasoning, memory management, and concurrency Dr. Kirsch co-invented embedded programming languages (Giotto, HTL, Embedded Machine) and has designed high-performance concurrent data structures. His recent work centers on symbolic execution frameworks like Selfie, with publications spanning efficient model checking, program analysis, and memory management systems. Professional recognitions include ACM Distinguished Speaker (2017-present). He co-founded EMSOFT (2001), served as ACM SIGBED chair (2011-2013), and was associate editor for IEEE TCAD and ACM TODAES. He has supervised 5 postdocs, 10 PhD students, and 18 Masters students since 2004, teaching undergraduate and graduate courses in Compiler Construction, Systems Engineering, and Introduction to Computer Science. Dr. Kirsch leads the Computational Systems Group at University of Salzburg, advancing programming language design, runtime systems, and formal verification methods.

Christos KotselidisView profile

Associate Professor

• Virtual Machines
• Compilers
• Hardware/Software Co-design
• +7 more

Christos Kotselidis is an Associate Professor at the University of Manchester's School of Computer Science and serves as Chief Engineer at Pierer Innovation (previously mentioned as KTM Innovation). He leads the TornadoVM project, a groundbreaking Java Virtual Machine for heterogeneous hardware acceleration. His work bridges academia and industry, focusing on hardware/software co-design for virtual machines and embedded systems. His research spans chip design, micro-architecture, compilers, virtual machines, and garbage collection. Dr. Kotselidis has pioneered work in heterogeneous computing, particularly in accelerating Java applications on GPUs, FPGAs, and RISC-V architectures. His team's recent development of GPULlama3.java demonstrates the practical application of his research in bringing LLM inference to pure Java with GPU acceleration. His publications show a consistent focus on bridging hardware capabilities with managed runtime systems. The research trajectory reveals increasing sophistication in handling memory hierarchies, parallelism, and cross-architecture execution. His work has significant implications for high-performance computing, AI acceleration, and sustainable computing practices. Dr. Kotselidis actively contributes to the academic community as a program committee member for conferences like ISMM and as an organizer for workshops including VMIL and MoreVMs. He's also involved in EU-funded projects like AERO and DARE, which focus on European processor initiatives and software ecosystems. As project lead for TornadoVM, he mentors a research team at Manchester including Michalis Papadimitriou, Mary Xekalaki, and Thanos Stratikopoulos. His lab (Beehive Lab) develops open-source tools that are widely used in both academic and industrial settings for heterogeneous computing.

Peter O'HearnView profile

Professor

• Separation Logic
• Program Verification
• Static Analysis
• +5 more

Peter O'Hearn is a Professor of Computer Science at University College London and Research Scientist at Meta AI (FAIR), renowned for co-developing separation logic which bridges theoretical computer science and industrial-scale program analysis. His dual affiliation exemplifies the synergy between academic research and practical tool development that characterizes his career. His research interests focus on program verification , separation logic , static analysis , and his recent groundbreaking work on incorrectness logic as a complementary approach to traditional verification. O'Hearn pioneered the concept of local reasoning which enables modular verification of large codebases by focusing only on relevant memory regions, forming the theoretical foundation for Facebook Infer. His publications reveal a consistent trajectory from foundational theory to industrial application, with recent work emphasizing Scalable verification for million-line codebases Compositional reasoning for concurrent systems Practical deployment of formal methods in developer workflows Bug-oriented reasoning through incorrectness logic His research consistently addresses the tension between theoretical soundness and practical applicability in program analysis. Notable scientific awards include: 2021 IEEE Cybersecurity Award for Practice 2016 Gödel Prize for separation logic 2016 CAV Award for outstanding contributions POPL 2019 Most Influential Paper Award Fellow of the Royal Society (FRS) Fellow of the Royal Academy of Engineering (FREng) O'Hearn has made substantial contributions to industrial practice through Facebook Infer, which analyzes millions of lines of code daily across Meta's codebase. His work on continuous reasoning integrates formal verification into developer workflows, while his recent focus on incorrectness logic addresses the critical need for effective bug detection in large systems. He maintains active leadership in the programming languages community through conference organization and keynotes.

Pavlos PetoumenosView profile

Assistant Professor

• Compiler Optimization
• Runtime Systems
• Energy Efficient Computing
• +6 more

Pavlos Petoumenos is a Lecturer (Assistant Professor) in the Department of Computer Science at the University of Manchester and a Research Fellow of the Royal Academy of Engineering. He leads research within the Advanced Processor Technology (APT) group, focusing on compiler optimization and energy-efficient computing. Previously, he worked as a Research Associate and Senior Researcher at the University of Edinburgh under Hugh Leather. His research centers on compilers, runtime systems, and development tools designed to help programmers write fast, energy-efficient programs with minimal effort. With electronic systems consuming 10% of global electricity (projected to reach 20% by 2030), his work addresses the critical challenge of bridging the complexity gap between programmers and modern energy-efficient hardware. Key research areas include compiler optimization, machine learning applications in compilation, code size reduction, and quantum-classical programming integration. His recent publications reveal strong trends in applying machine learning to compiler optimization, particularly through active learning techniques and deep learning models. The research spans multiple domains including function merging, branch fusion, loop transformations, and energy profiling, with significant contributions to quantum programming language design. His work consistently targets real-world applications in multicore processors and interactive mobile environments. Award highlights include: Best Paper Award at CGO 2019 Distinguished Paper Award at ISSTA 2018 Best Paper Award at PACT 2017 Best Paper Award at CGO 2017 Best Paper Award at IISWC 2014 Royal Academy of Engineering Research Fellowship Petoumenos actively contributes to the research community through mentoring PhD students, organizing the biennial International Workshop on Code Optimisation for Multi and Many-Cores (COSMIC), and co-hosting the Compucast podcast where he serves as chief editor. His collaborations span multiple institutions including the University of Edinburgh, University of Lancaster, and University of St Andrews. He has secured significant research impact through tools like BenchPress and F3M that address practical challenges in compiler design and optimization. He leads the Advanced Processor Technology group and contributes to the Compucast podcast, which features interviews with computer science researchers, academic and industry news, and technical discussions. The podcast represents a collaboration between multiple UK universities and serves as an important outreach platform for computer science research.

Xiaokang QiuView profile

Associate Professor

• Programming Languages
• Software Engineering
• Program Verification
• +2 more

Xiaokang Qiu serves as Associate Professor in Purdue University's Elmore Family School of Electrical and Computer Engineering, specializing in Programming Languages and Software Engineering with core expertise in program verification, program synthesis, and automated deduction. His research establishes critical bridges between enumerative and deductive synthesis methodologies, developing novel frameworks for verified program generation. Key contributions include string transformation synthesis with concurrency guarantees, bit-vector manipulation optimization via syntax-guided enumeration, and network design automation through comparative learning techniques. This work consistently advances formal verification foundations while addressing practical software engineering challenges. Publication trends from 2017-2025 reveal escalating complexity in synthesis targets—from basic data-structure manipulations to concurrent string operations and network configurations. His approach increasingly integrates machine learning elements with formal methods, demonstrating how query-based learning can drive near-optimal system design while maintaining provable correctness guarantees across diverse computational domains.

• Nanotechnology
• Photovoltaics
• Graphene and 2D Materials
• +4 more

Emmanuel Kymakis serves as a Full Professor at the Department of Electrical & Computer Engineering of the Hellenic Mediterranean University (HMU), concurrently holding leadership roles as Vice-President of the HMU Research Center and Director of the interinstitutional Post-Graduate Program "Nanotechnology for Energy Applications". His academic foundation includes a B.Eng. (First Class Honours) in Electrical Engineering & Electronics from Liverpool University (1999) and a Ph.D. in Electrical Engineering from Cambridge University (2003). Prior to his HMU appointment, he operated as a technical consultant specializing in photovoltaic and solar thermal power plant engineering. Professor Kymakis' research operates at the critical intersection of nanotechnology and electrical engineering , pioneering advancements in printed optoelectronic systems. His work demonstrates exceptional specialization in: Solution-processable graphene and related 2D materials for energy applications Interfacial engineering of organic and perovskite solar cells Degradation mechanisms in photovoltaic devices under laboratory and real-world conditions High-throughput industrialization processes for printed photovoltaics His scientific eminence is evidenced by over 120 SCI publications, 11,000+ citations, and an h-index of 55, recognized through prestigious honors including: Isaac Newton and EPSRC studentships Designation as ChemComm Emerging Investigator (2014) Two National Excellence Awards Professor Kymakis maintains significant influence in national research governance as a founding member of the Hellenic Foundation for Research & Innovation (HFRI) General Assembly and contributor to Greece's National Council for Research & Innovation. He currently spearheads the Energy Generation Work Package within the €1B FET-Flagship Graphene Initiative, driving European nanotechnology commercialization efforts while directing HMU's specialized graduate program in energy nanotechnology.

Kyriakos G. SiderakisView profile

Associate Professor

• High Voltage Engineering
• Power Systems
• Electrical Insulation
• +5 more

Kyriakos G. Siderakis serves as an Associate Professor in the Electrical and Computer Engineering Department at Hellenic Mediterranean University since 2019, following his tenure as Assistant Professor at the Technological Educational Institute of Crete (2010-2019). He concurrently holds leadership roles at Hellenic Electricity Distribution Network Operator S.A. as Head of Crete's high-voltage substations sector and Head of Crete-Rhodes transmission lines sector since 2016. Education: Diploma in Electrical and Computer Engineering, University of Patras (2000) PhD in High Voltage Engineering, University of Patras (2006) Research Focus: Dr. Siderakis specializes in high-voltage insulating systems and materials, with pioneering work on RTV silicone rubber coatings and composite insulators. His expertise spans power transformer diagnostics, equipment maintenance protocols, and advanced automation/protection systems for high-voltage networks. He actively shapes industry standards through IEEE Std 1523 revision committee participation and CIGRE Working Group B2.57 contributions. Professional Impact: As scientific manager for three Public Power Corporation-funded projects and core member of the TALOS high-voltage test station research team (www.talos-ts.com), he bridges theoretical research with grid operations. His 24 journal papers, 49 international conference presentations, and 2 book chapters demonstrate sustained contributions to power engineering literature. Awards Recognition: No specific scientific awards are documented in the provided materials.

Polyvios PratikakisView profile

Associate Professor

• Parallel Programming
• Distributed Systems
• Programming Languages
• +2 more

Polyvios Pratikakis is Associate Professor in the Computer Science Department at University of Crete and Visiting Researcher at FORTH-ICS. Research develops tools for parallel/distributed software execution, focusing on programming languages, runtimes, and static analysis for modern hardware. Current projects include EuroEXA (programming models for exascale applications) and ETAK (earthquake simulation deployment in cloud environments). Past projects include ASAP (big data workflows), Myrmics/BDDT/PARTEE (task-parallel runtimes), and GreenVM (JVM for non-cache-coherent architectures). Additional research examines software fault tolerance and static analysis for parallel programs. Teaching includes undergraduate/graduate courses on Parallel Programming, Type Systems, Multicore Programming, and Computer Science fundamentals. Supervises multiple MSc/PhD students in compiler design, runtime systems, and social network analytics. Service includes program committees (EuroPar, CF), HiPEAC organization, and faculty committees at University of Crete.

Stathes P. HadjiefthymiadesView profile

Professor

• Distributed computing
• Mobile and pervasive computing
• Networked multimedia
• +3 more

Stathes P. Hadjiefthymiades is Professor at the Department of Informatics and Telecommunications of the National and Kapodistrian University of Athens, where he leads research on large-scale software systems and heads the M.Sc. programme “Management and Economics of Telecommunication Networks and Information Systems”. Since 2002 he has held continuous faculty appointments, previously serving as Assistant Professor at the Hellenic Open University and as Visiting Assistant Professor at the University of the Aegean. Education: B.Sc. (honours) in Computer Science, University of Athens, 1993 M.Sc. (honours) in Computer Science (Advanced Information Systems), University of Athens, 1996 Ph.D. in Computer Science and Telecommunications, University of Athens, 1999 M.Sc. in Engineering-Economics, National Technical University of Athens, 2002 Research interests span distributed/mobile/pervasive computing , networked multimedia , context-aware systems , wireless sensor networks , and Internet experimentation involving road, air and water vehicles. His work combines algorithmic design, system architectures, and techno-economic analysis to enable scalable, adaptive services in next-generation networks. He has authored more than 200 peer-reviewed publications and leads the H2020 RAWFIE project on large-scale IoT experimentation. Recent articles reveal a strong focus on trust and security in ad-hoc networks , content-delivery optimization , augmented-reality monitoring systems , and intelligent analytics for smart-city and healthcare applications . Scientific awards & distinctions: While individual prizes are not explicitly listed, sustained funding from EU Framework Programmes (ACTS, IST, H2020) and repeated keynote invitations attest to international recognition. Advising & grants: Prof. Hadjiefthymiades directs the M.Sc. programme on Telecommunication Network Management and Economics, supervising numerous graduate researchers. He has coordinated or participated in over 20 EU and national projects, securing multi-million-euro funding for experimentation infrastructures and doctoral training. Laboratories & teams: He heads the Pervasive Computing Research Group and is a long-standing member of the Communication Networks Laboratory at the University of Athens, where he steers a team of post-docs, doctoral and master students advancing mobile and pervasive systems.

Deligeorgis GeorgeView profile

Adjunct Professor

• 2D Materials
• High Frequency Electronics
• Carbon Nanotubes
• +2 more

Dr. Deligeorgis George is a Principal Researcher (Grade B) at the Institute of Electronic Structure and Computer Technology (IESL) of the Foundation for Research and Technology Hellas (FORTH) since 2015. He concurrently holds an Adjunct Professor position in the Physics Department of the University of Crete. His research expertise spans 2D materials, high-frequency electronics, and carbon nanotube-based devices. He earned his PhD in Physics from the University of Crete in 2008, followed by postdoctoral research at FORTH and LAAS-CNRS in France (2010–2014). His work focuses on semiconductor lasers, graphene applications, and polariton optoelectronics. He leads FORTH’s 2D materials activities and the High Frequency Measurement Facility, contributing to EU and national projects in photonics and RF device fabrication. Education: PhD in Physics (University of Crete, 2008); M.Sc. in Microelectronics/Optoelectronics (University of Crete, 2002); B.Sc. in Physics (University of Athens, 2000). Research interests include nano-electronics fabrication, microwave antennas, and nanophotonics. He has published over 60 peer-reviewed articles and co-founded Greece’s Graphene Center. His awards include IEEE membership and roles in international journals as a reviewer. His grants and projects involve EU-funded initiatives in metamaterials and RF phase shifters. He advises on nanotechnology commercialization via Micro & Nano, a tech company, and holds leadership roles in collaborative research groups.

• Formal Methods
• Software Dependability
• Software Security
• +7 more

Panagiotis Katsaros is a Professor at the Department of Informatics, Aristotle University of Thessaloniki. His research focuses on Formal Methods, Software Dependability & Security, and Internet of Things (IoT) systems. 1992: Dipl. in Mathematics, Aristotle University 1993: M.Sc in Software Engineering, Aston University 2002: PhD in Informatics, Aristotle University His work integrates model-based design with probabilistic verification to address challenges in embedded systems , IoT , and cloud environments . He has pioneered methodologies for correctness-by-construction and security-aware elasticity in distributed systems. Recent publications (2015-2019) highlight trends in multi-core embedded systems , probabilistic model checking , and logical error detection . His research bridges formal verification with practical system design . Scientific Recognition Best Paper Award at 17th Panhellenic Conference on Informatics (2013) Best Paper Award at 15th Panhellenic Conference on Informatics (2011) He has supervised PhD students Stylianos Basagiannis and Anakreon Mentis , and contributes to the Dependability & Security Group (DSG A.U.Th) . His work impacts spacecraft design , cloud security , and transaction processing systems .

Akrivi KrouskaView profile

Assistant Professor

• Artificial Intelligence
• Multimedia Applications
• Social Networking Services
• +2 more

Akrivi Krouska serves as Assistant Professor in the Department of Informatics and Computer Engineering at the University of West Attica, Greece, while concurrently holding a PostDoc Researcher position in Intelligent Social Information Systems within the same department. Her academic trajectory spans teaching undergraduate and postgraduate courses at both the University of West Attica and University of Piraeus, complemented by prior experience as a Computer Science Teacher in Greek public schools under the Ministry of Education. Her academic foundation includes: PhD in Informatics from the University of Piraeus MSc in Information Systems from the University of Athens BSc in Informatics from the University of Piraeus Dr. Krouska's research program centers on Artificial Intelligence Systems with emphases on Adaptive Software and VR/AR Systems for educational contexts. Her work bridges Multimedia Applications and Social Networking Services to develop personalized learning technologies, consistently integrating pedagogical theories with computational approaches to enhance user engagement and knowledge transfer. Analysis of her recent publications (2021-2025) reveals dominant themes in AI-driven adaptive learning systems, where fuzzy logic, neural networks, and reinforcement learning enable dynamic personalization. Significant focus exists on virtual/augmented reality applications for skill development, alongside investigations into digital escape rooms and human-AI collaboration frameworks that merge cognitive science with educational technology. Her scholarly recognition includes: Academic performance scholarships Multiple Best Paper awards at international computer science conferences Dr. Krouska actively contributes to academic leadership through editorial roles as Guest Editor for journals including Frontiers in Artificial Intelligence and Entropy, alongside program committee engagements for conferences such as ITS and PCI. Her review activities span numerous publications in the research community. Based at the Laboratory of Educational Technology and e-Learning Systems (K10.124), her work environment supports innovation in educational software design, with particular emphasis on creating immersive, adaptive learning experiences grounded in empirical user studies.

Dimitris DoumanasView profile

Lecturer

• Semantic Web
• Large Language Models
• Search and Rescue (SAR)
• +3 more

Dimitris Doumanas holds dual roles as an instructor and administrator at the Hellenic Military Training Academy of Telecommunications, while concurrently pursuing an MSc in Intelligent Computer Systems at the University of the Aegean's Department of Cultural Technology and Communication. He graduated with an Integrated Master’s Degree in Electrical and Computer Engineering (specializing in electric power) from the National Technical University of Athens (NTUA) and a MSc in Modern Wireless Communications from the University of Peloponnese. His research focuses on leveraging Large Language Models (LLMs) for semantic modeling in Search and Rescue (SAR) missions, particularly in ontology engineering. He explores collaborative approaches between humans and LLMs to enhance SAR mission planning and execution through structured data frameworks. No scientific awards have been explicitly mentioned. His academic advising and grant activities are not detailed in the provided text. His work intersects military telecommunications training with advanced AI applications in crisis management systems.