Find Academic Supervisors

Sandrine BlazyView profile

Professor

• Formal verification
• Semantics of programming languages
• Compilers
• +3 more

Sandrine Blazy is a Professor in the Computer Science Department at the University of Rennes, France. She is a member of CELTIQUE (also referred to as Epicure), a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory. Since 2021, she has served as deputy director of the IRISA CNRS UMR 6074 laboratory and will be the general chair for POPL 2026, which will be held in Rennes. She is also a member of the editorial board of the LMCS journal. Dr. Blazy completed her PhD at CNAM (Conservatoire National des Arts et Métiers) in 1993 with a thesis titled "La spécialisation de programmes pour l'aide à la maintenance du logiciel" (Program Specialization for Software Maintenance Assistance). She later completed her Habilitation à diriger des recherches (HDR) in 2008 at the University of Évry Val d'Essonne with a thesis titled "Sémantiques formelles" (Formal Semantics). Her research focuses on the formal verification of program transformations and semantic properties of programming languages, particularly in the context of the CompCert compiler and Verasco static analyzer. She develops mechanized semantics using the Coq (or Rocq) proof assistant to ensure software correctness and security. A prime application domain of her work is software security, including constant-time programming for cryptographic applications and software obfuscation techniques. Her teaching includes mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using Why3), and software vulnerabilities. Dr. Blazy's publication record from 2019-2025 shows a sustained focus on verified compilation techniques, particularly in preserving security properties during compilation. Her work bridges theoretical formal methods with practical compiler implementation, resulting in tools that have real-world impact in safety-critical systems. She has made significant contributions to the CompCert formally verified compiler project, with particular attention to constant-time preservation for cryptographic applications and JIT compilation verification. Her scientific achievements have been recognized with several major awards: CNRS Silver Medal (2023) Lucas Award from Formal Methods Europe (2023) ACM SIGPLAN Programming Languages Software Award for CompCert (2022) ACM Software System Award for CompCert (2021) Dr. Blazy has been actively involved in the programming languages research community, serving on numerous program committees for major conferences including POPL, ICFP, PLDI, and CPP. She has mentored students and contributed to education through teaching mechanized semantics and formal methods. Her work with the CompCert compiler has led to practical applications in safety-critical systems, with industry collaborations documented in publications like "CompCert: Practical experience on integrating and qualifying a formally verified optimizing compiler" (ERTS 2018). She leads research within the CELTIQUE project team, which focuses on developing trustworthy software using deductive verification. Her team works on advancing the state of the art in formal verification of compilers and static analyzers, with applications in security-critical domains including cryptographic implementations and safety-critical embedded systems.

Yuanchao XuView profile

Assistant Professor

• Computer Architecture
• Security
• Machine Learning Systems
• +3 more

Yuanchao Xu is an Assistant Professor in the Department of Computer Science and Engineering at the University of California Santa Cruz. He earned his Ph.D. from North Carolina State University, advised by Dr. Xipeng Shen and Dr. Yan Solihin, and is a student researcher at SystemResearch@Google since 2021. His research spans computer architecture, security, and ML systems.

Anil SomayajiView profile

Associate Professor

• Computer Security
• Operating Systems
• Intrusion Detection
• +3 more

Anil Somayaji is an Associate Professor in the School of Computer Science at Carleton University, serving as Associate Director of the Carleton Internet Security Lab (CISL). He holds a Ph.D. from the University of New Mexico (2002) and a B.S. in Mathematics from MIT. His research integrates biological principles with computer security, focusing on software diversity, Linux technologies like eBPF, and adaptive defense mechanisms inspired by the human immune system. Teaching responsibilities include courses such as Fundamentals of Web Applications (COMP 2406), Operating Systems (COMP 3000), and Distributed Operating Systems (COMP 4000/5102). He also leads graduate courses on Operating System/Web Security and Biological Approaches to Computer Security. Current advisees include Lavesh Kamalesh (MHCI), Savannah Sidle (MHCI), and John Shortt (PhD, co-supervised). Research interests span computer security, operating systems, intrusion detection, complex adaptive systems, and artificial life. Notable projects include ebpH (a Linux security tool) and contributions to program committees for the New Security Paradigms Workshop. His work emphasizes practical applications of theoretical concepts, such as using eBPF for runtime process confinement and developing context-aware authentication systems. He collaborates with the Carleton Cyber Security Lab (CCSL) and maintains active engagement in interdisciplinary cybersecurity initiatives. His lab focuses on mitigating vulnerabilities through diversity-based approaches and advancing secure system design principles.

Bryan WardView profile

Assistant Professor

• Real-Time Systems
• Embedded Systems Security
• Cyber-Physical Systems
• +3 more

Bryan Ward is an Assistant Professor of Computer Science and Electrical and Computer Engineering at Vanderbilt University's School of Engineering. His research focuses on enhancing the security and resilience of real-time and embedded systems in critical domains such as industrial control systems and space systems. Ward holds a Ph.D. in Computer Science from the University of North Carolina at Chapel Hill, along with dual bachelor's degrees in Computer Science and Engineering and Mathematics from Bucknell University. His academic contributions span multiple areas including operating system security, real-time scheduling, and hardware-software co-design for safety-critical systems. Key research themes include control-flow integrity, secure resource management in multi-core environments, and mitigating timing-based attacks in real-time embedded systems. Ward's work has explored advanced defense mechanisms like dynamic address space randomization, tagged architecture implementations, and retry-free transactional memory models. He has also investigated vulnerabilities in kernel scheduling and cache-sharing behaviors in multi-core platforms, proposing novel solutions to ensure predictability and security. Current projects emphasize securing cyber-physical systems through adaptive defenses that maintain strict timing guarantees required for safety-critical applications.

Naghmeh KarimiView profile

Associate Professor

• Hardware Security
• Design-for-Trust
• Fault Tolerance
• +9 more

Naghmeh Karimi is an Associate Professor in the Department of Computer Science and Electrical Engineering at the University of Maryland Baltimore County (UMBC), where she has held this position since 2023, after serving as an Assistant Professor from 2017 to 2023. She is a recipient of the NSF CAREER Award (2020) and the Best Paper Award (2019). Her research focuses on hardware security, trustworthiness, and reliability of integrated circuits, with a particular emphasis on cryptographic devices, PUF-based authentication, and aging-related vulnerabilities. She directs the SECure, REliable and Trusted Systems (SECRETS) Lab at UMBC, which explores topics including hardware security countermeasures, fault tolerance, and AI-driven security solutions. Prior to UMBC, she was affiliated with Rutgers University, New York University, Duke University, and Yale University. Her research interests span hardware security, design-for-trust, fault tolerance, AI for security, and VLSI design. Recent work emphasizes aging effects on cryptographic circuits, PUF resilience, and digital sensor-based failure detection. Her publications address challenges in side-channel attacks, fault injection, and secure IoT frameworks. Dr. Karimi’s work is supported by sponsors, and she actively mentors Ph.D. students in hardware security and reliability. Her lab offers openings for self-motivated researchers in these areas.

Seif HaridiView profile

Professor

• Parallel Computing
• Distributed Computing
• Cloud Computing
• +4 more

Seif Haridi is a Professor at KTH Royal Institute of Technology in Stockholm, Sweden, specializing in parallel and distributed computing systems. He holds dual roles as Chair-Professor of Computer Systems and Chief Scientific Advisor at RISE SICS. His research integrates systems engineering with theoretical foundations, focusing on programming systems, distributed computing, and big data technologies. Key contributions include co-designing SICStus Prolog, the Mozart Programming System, and Apache Flink, as well as leading the development of HOPS, a European big data platform awarded the IEEE Scale Prize 2017. He has led major EU projects like EIT-Digital’s cloud computing initiative and co-founded startups such as LogicalClocks and HiveStreaming. His teaching includes courses on distributed algorithms and peer-to-peer computing at KTH. Notable awards include the European Data Science Technology Innovation 2019. His work spans systems like HOPS, Flink, and Kompics, emphasizing scalability and robustness in distributed environments. Current projects include CDA (Continuous Deep Analytics) and ExtremeEarth for geospatial data analysis. Research interests include distributed algorithms, consensus protocols, and cloud-native systems. His lab’s contributions to scalable storage (e.g., HopsFS) and stream processing (Apache Flink) highlight his impact on both academia and industry.

Panayiotis PolycarpouView profile

Associate Professor

• Earthquake Engineering
• Structural Engineering
• Seismic Isolation
• +4 more

Dr. Panayiotis Polycarpou is an Associate Professor and Programme Coordinator of Civil & Environmental Engineering at the University of Nicosia. He holds a BSc from Aristotle University of Thessaloniki (2004), an MSc in Earthquake Resistant Design (2005), and a PhD in Civil Engineering from the University of Cyprus (2009). His research focuses on earthquake engineering, structural pounding mitigation, and computer-aided structural analysis, with expertise in object-oriented software development (Java) and numerical algorithms. He has taught at multiple institutions, including the University of Cyprus and Cyprus University of Technology, and has conducted postdoctoral research at UCY (2010–2014). His research interests include seismic isolation systems, earthquake-induced structural pounding, ancient column dynamics, and parametric studies of ground motion effects. He has published extensively on topics such as impact modeling, mitigation techniques for pounding, and historical structure vulnerability. His work integrates computational methods with experimental validation, emphasizing practical applications in engineering. Dr. Polycarpou’s contributions span academic roles, software development, and interdisciplinary projects, such as RFID systems for healthcare. He is a member of the Cyprus Technical Chamber of Engineers (ETEK) and actively engages in collaborative research, as evidenced by his 64+ publications and 841 citations (h-index 13).

Michael SwiftView profile

Professor

• Operating Systems
• Computer Architecture
• Device Drivers
• +4 more

Michael Swift is Professor of Computer Sciences at the University of Wisconsin-Madison within the College of Letters and Sciences. He leads the Sonar research group and co-leads the Multifacet architecture group with Mark Hill, while contributing to the Wisconsin Institute on Software-defined Datacenters (WISDoM). His research centers on operating system/hardware interaction, with seminal work in device driver reliability (Nooks, Shadow Drivers), memory systems (storage-class memory integration), and cloud security. Projects like Microdrivers and Carburizer address driver complexity and fault tolerance, while recent work explores learned OS policies and heterogeneous processor support. Analysis of his 2023-2025 publications reveals intensifying focus on memory tiering, security in cloud environments, and hardware-accelerated systems, with growing integration of machine learning for system optimization. Key awards include: Best paper award at OSDI 2004 Best paper award at SOSP 2003 Best paper award at the 3rd Asia-Pacific Workshop on Networking (2019) Professor Swift mentors numerous PhD students (current and past) and secures research funding through NSF grants CNS-0915363 and CNS-0745517 plus Google support. He serves as Instructional Program Director and chairs both the Space committee and Diversity, Equity, and Inclusion committee. The Sonar group drives innovation in system support for emerging hardware technologies, while Multifacet focuses on computer architecture advancements, particularly in heterogeneous computing and memory systems.

Anirudh SivaramanView profile

Assistant Professor

• Computer Networks
• Network Programmability
• Distributed Systems
• +3 more

Anirudh Sivaraman is an Assistant Professor of Computer Science at New York University's Courant Institute, specializing in computer networks and programmability. He holds a PhD from MIT (2017) and a BTech from IIT Madras (2010). His research focuses on enabling ubiquitous network programmability through hardware-software systems, including compilers, runtimes, and applications like distributed consensus and financial exchanges. Education: Ph.D. in Computer Science, MIT (2012–2017) S.M. in Computer Science, MIT (2010–2012) B.Tech in CSE, IIT Madras (2006–2010) Research Interests: Network programmability (e.g., P4, Barefoot Networks) High-speed packet processing and compiler optimization Distributed systems and consensus protocols Cybersecurity in programmable networks Cloud computing and microservice autoscaling Notable Articles Trends: Focus on programmable networks (P4, NIC design) Hardware-software co-design for performance Security and isolation in multi-tenant environments Compiler-based solutions for bug detection Awards: ACM SIGCOMM Doctoral Dissertation (2017), SIGCOMM Best Paper (2017), and multiple teaching awards. Advising & Grants: PI on grants totaling $900K+ (Google, Amazon, NSF). Advises 8+ PhD/Master’s students. Serves on committees for SIGCOMM, NSDI, and HotNets. Labs/Teams: Technical advisor at Clockwork. Co-organizes workshops on programmable networks and P4 standards.

• Cryptography
• Blockchain Technology
• Network Security
• +7 more

Danilo Gligoroski is a Professor at the Department of Information Security and Communication Technology at NTNU. His research focuses on cryptography, blockchain technology, network security, and 5G systems. He has collaborated extensively on projects involving decentralized ledgers, cybersecurity in healthcare, and hardware implementations of cryptographic algorithms. Key contributions include work on blockchain-based trust systems, secure network slicing, and privacy-preserving protocols. Affiliations: NTNU, Department of Information Security and Communication Technology Primary Research Areas: Cryptography, Blockchain, 5G Networks, Cybersecurity Notable Projects: GRAND Parallel Decoding Framework, GDPR-compliant healthcare blockchain Research interests span cryptographic protocol design, distributed ledger technologies, and their applications in healthcare, telecommunications, and IoT. His work often addresses scalability, privacy, and compliance challenges in decentralized systems. Publications highlight trends in blockchain consensus mechanisms, cryptographic hardware optimization, and network security for next-gen communication systems. Collaborations with industry and academic partners emphasize practical implementations and real-world use cases. Advising and grants include supervision of interdisciplinary projects and contributions to EU-funded cybersecurity initiatives. Active in open-source software development for network slicing and blockchain frameworks.

Deian StefanView profile

Associate Professor

• Security
• Programming Languages
• Systems
• +7 more

Deian Stefan is an Associate Professor in the Computer Science and Engineering (CSE) Department at University of California, San Diego (UCSD) . His research focuses on secure systems , spanning security , programming languages , and systems . Notably, he works on WebAssembly , JavaScript JITs , and language-based security (e.g., constant-time programming, memory safety, information flow control). Education : PhD in Computer Science from Stanford University (2015), M.Eng and B.Eng in Electrical Engineering from Cooper Union (2011) His research trend emphasizes secure compilation , transient execution attacks , and hardware-software co-design for security . Key themes include SFI (Software Fault Isolation) , constant-time cryptography , and WebAssembly hardening . Scientific Awards Distinguished paper awards at POPL 2023, IEEE MICRO Top Picks 2024 IEEE Cybersecurity Award for Practice 2022 CSA W first place (2020), DJB Prize (2010) He teaches graduate courses like CSE 227: Graduate Computer Security and CSE 291: Building Secure Systems , covering topics from supply chain attacks to hardware defenses . He co-founded web-security startup Intrinsic (acquired by VMWare).

Thomas P. JensenView profile

Professor

• Program Analysis
• Static Program Analysis
• Abstract Interpretation
• +7 more

Thomas P. Jensen is a Directeur de recherche (Research Director) at INRIA, the French National Institute for Computer Science and Applied Mathematics. He has been affiliated with INRIA since 2010, previously serving as a researcher at CNRS (French National Center for Scientific Research) from 1993 to 2010. Currently, he leads the Epicure project-team on semantic analysis and compilation for secure execution platforms, and since 2022, he serves as director of the Laboratoire d'Excellence CominLabs. His educational background includes a Cand. scient. in Computing and Mathematics from the University of Copenhagen (1990), a PhD from Imperial College, University of London (1992), and a Habilitation à diriger des recherches from Université Rennes 1 (1999). Dr. Jensen's research focuses on program analysis and software security , with particular expertise in static program analysis based on abstract interpretation theory, language-based security, information flow control, and Software Fault Isolation. His work bridges theoretical foundations with practical applications in secure compilation and program verification. His recent publications reveal a strong trend toward formally verified security mechanisms, particularly in the integration of Software Fault Isolation with verified compilers like CompCert. His research spans both theoretical aspects of program semantics and practical security applications, with increasing emphasis on algebraic data types, relational analysis, and formal verification of program transformations. Best paper award at GPCE 2018 for Verification of High-Level Transformations with Inductive Refinement Types Editor of Strategic research and innovation roadmap for the SPARTA cybersecurity competence network (2022) Dr. Jensen has been actively involved in numerous research projects including JavaSec, Decert, Seccloud, AJACS, Anastasec, SPARTA, and SecurEval. His leadership roles in research teams and projects demonstrate his significant contributions to both academic research and practical cybersecurity applications. His work often involves collaboration with researchers across Europe on large-scale cybersecurity initiatives. He maintains strong connections with the international programming languages and security research communities, regularly publishing in top venues including PLDI, POPL, ICFP, SAS, ESOP, and CSF, and participating in program committees for major conferences in these fields.

• Service-Oriented Computing
• Business Process Management
• Scientific Workflows
• +4 more

D. (Dimka) Karastoyanova is a Professor of Information Systems at the University of Groningen , Faculty of Science and Engineering, Computer Science Department. She leads the Information Systems Group and serves as vice-chair of the Bernoulli Institute Board since 2024. Previously, she was Head of the Computer Science Department (2020-2024) and a member of the Informatics Europe Board since 2023. Dimka's research focuses on data-driven, service-based process automation for cross-organizational collaboration, emphasizing runtime adaptability, security, and sustainability . Her work spans applications in manufacturing, logistics, healthcare, and eScience , integrating Scientific Workflows, Cloud Computing, and Middleware Systems to enhance process flexibility. Her scientific contributions include 15+ publications on topics like Choreography Lifecycle Management, BPEL Adaptation, and Cloud Migration Frameworks , reflecting her expertise in Service-Oriented Computing, Workflow Technologies, and Distributed Systems . She received the Rosalind Franklin Fellowship and has served on program committees for IEEE, ICWS, and BPM conferences . Dimka holds a PhD in Computer Science (TU Darmstadt, 2006), an MSc in Computational Engineering (University of Erlangen-Nuremberg), and MSc/BSc in Industrial Engineering (Technical University of Sofia). She previously held roles as Associate Professor of Data Science at KLU Hamburg and Senior Researcher at Hasso Plattner Institute, University of Potsdam.

Gavrilovska LiljanaView profile

Associate Professor

• Telecommunications
• Mobile Edge Computing (MEC)
• Blockchain Technology
• +8 more

Liljana Gavrilovska is an Associate Professor at the Faculty of Electrical Engineering and Information Technologies (FEIT) of Ss. Cyril and Methodius University of Skopje (UKIM), specializing in the Department of Telecommunications. Her work focuses on advanced telecommunications systems, including 5G/Beyond 5G networks, mobile edge computing (MEC), blockchain applications in healthcare and IoT, cognitive radio networks, and network virtualization. She leads research groups addressing challenges in wireless resource management, energy efficiency, and distributed consensus mechanisms. Her research interests span telecommunications infrastructure , blockchain for healthcare systems , IoT optimization , and network slicing . Recent work includes developing the BloHeS consensus mechanism for blockchain systems and the Shapeshifter framework for MEC latency optimization. She also investigates dynamic spectrum allocation strategies and energy-efficient WuR-based IoT protocols. Publications emphasize practical implementations like the CHEST COPD e-Health platform and the FALCON project for virtualized network resource allocation. While no specific awards are listed, her contributions to open-source solutions like eWALL and SmartWine reflect industry engagement. Advising activities and grants are not explicitly detailed in the provided texts, though her involvement in EU projects like 5G-MEC and cognitive radio initiatives suggests significant collaborative work. Current projects include system design for blockchain-based public healthcare systems and analysis of heterogeneous network performance in LTE and DVB-T coexistence scenarios. She is actively involved in the FEIT Telecommunications Institute, contributing to both academic and applied research in telecommunications engineering.

Javad KhazaeiView profile

Assistant Professor

• Smart Grid Dynamics & Control
• Data-Driven Modeling and Control
• Microgrid Systems
• +3 more

Javad Khazaei is an Assistant Professor in the Electrical & Computer Engineering Department at Lehigh University and director of the INTEGRITY Laboratory. Previously, he held an Assistant Professor position at Penn State Harrisburg and was affiliated with Penn State University Park's Architectural Engineering Department. He earned his Ph.D. in Electrical Engineering (Power and Energy) from the University of South Florida in 2016. Research Interests : His work focuses on smart grid dynamics and control, data-driven modeling and control in power systems, water-energy microgrids, smart grid cybersecurity, and renewable energy integration. His laboratory, INTEGRITY Lab, addresses challenges in resilient and intelligent energy systems. Recent Work Trends : His publications emphasize data-centric approaches for system identification, model predictive control (MPC) for microgrids, and enhancing resilience through advanced control strategies. Key themes include cybersecurity in energy systems, hybrid energy-water nexus optimization, and naval/marine microgrid resilience. Grants & Collaborations : Awarded a $12M DOE grant to expand marine energy initiatives, with partnerships focusing on naval microgrid resilience and offshore renewable integration. His work often involves interdisciplinary collaborations between electrical engineering, cybersecurity, and infrastructure systems. Lab & Infrastructure : Directs the INTEGRITY Lab, which develops cutting-edge solutions for cyber-physical energy systems. Research includes hardware-software integration for real-time monitoring and control of microgrid components.