Find Academic Supervisors

George PapadimitriouView profile

Assistant Professor

• Computer Architecture
• Energy-Efficient Architectures
• Microprocessor Reliability
• +7 more

George Papadimitriou is an Assistant Professor in the Computer Engineering & Informatics Department at the University of Patras , Greece, hosted within the School of Engineering . His primary affiliation lies with the Computer Hardware and Architecture division, where he leads research and teaching activities focused on dependable, energy-efficient computer architectures. Education: PhD in Computer Science, Department of Informatics & Telecommunications, National and Kapodistrian University of Athens (2019) Post-doctoral researcher, Computer Architecture Lab, National and Kapodistrian University of Athens Research Interests: Dr Papadimitriou’s research lies at the intersection of computer architecture , energy efficiency , and microprocessor reliability . His work specifically targets: Robust and energy-efficient CPU/GPU/accelerator architectures Post-silicon validation techniques for catching elusive hardware bugs Silent data corruption detection and mitigation across the compute stack Characterization of voltage margins and power consumption in modern microprocessors Modeling and simulation of domain-specific accelerators for low-power, dependable operation More recently, his team has been extending these methodologies to RISC-V and neuromorphic photonic accelerators within large European consortia. Scientific Awards & Recognition: Eight HiPEAC Paper Awards for top-tier conference publications (MICRO, HPCA, ISCA) between 2017–2024 IEEE Transactions on Computers 2022 Best Paper Award for the article “Anatomy of On-Chip Memory Hardware Fault Effects Across the Layers” TTTC/ITC Gerald W. Gordon Student Award 2023 Research Funding & Projects: Dr Papadimitriou is principal investigator or key technical contributor in multiple Horizon Europe and industry-backed projects that collectively exceed €50 M in funding. Current leadership roles include: DARE (Digital Autonomy for RISC-V in Europe) NEUROPULS (Neuromorphic Energy-Efficient Secure Accelerators) REBECCA (Reconfigurable Heterogeneous Highly Parallel Processing Platform) Vitamin-V (Virtual Environment & Tool-boxing for Trustworthy RISC-V Cloud Services) Intel, IBM, and Thales bilateral research contracts on energy-efficient and resilient microarchitectures Laboratory & Team: He leads the Energy-Efficient and Dependable Architectures (EEDA) research group at University of Patras, operating laboratory facilities for silicon measurement, FPGA emulation, and full-system simulation (gem5, MARSS, custom tools). The team currently comprises 3 PhD candidates, 2 post-docs, and several MSc thesis students collaborating with European and US partners.

Tom BarbetteView profile

Assistant Professor

• High-Speed Networking
• Network Function Virtualization (NFV)
• Load-Balancing
• +3 more

Tom Barbette is an Assistant Professor in the Computer Engineering Center (INGI) department at the Louvain Polytechnic School (EPL) of Université catholique de Louvain (UCLouvain), Belgium. He leads the Efficiency of Networked Systems Group , focusing on programmable networks, SmartNICs, NFV, data-centers, and high-speed packet processing. PhD (2018) from Université de Liège (advisor: Laurent Mathy) Post-doctoral research at KTH, Sweden (2018-2021) and UCLouvain (2021-2022) His research explores redefining internet communication paradigms through programmable infrastructure like SmartNICs and P4. Key themes include: High-speed networking and load-balancing Sub-atomic communication models for disaggregated systems KERNEL bypass techniques for performance optimization He has contributed to major conferences like SIGCOMM, NSDI, and CoNEXT, with patents on network interface optimization. His group collaborates on projects such as: ASNI (SmartNICs programming interface) HIRT (High-speed Forward Erasure Correction) Reframer (Network stream optimization)

• Computer Science
• Cybersecurity
• Internet of Things
• +5 more

Gang Tan is an Associate Professor at the Pennsylvania State University's College of Engineering, Department of Computer Science and Engineering. He also holds the James F. Will Career Development Professorship and is affiliated with the Institute for Computational and Data Sciences (ICDS). His research focuses on binary reverse engineering , cybersecurity , Internet of Things (IoT) security , machine learning fairness , and information flow security . He has led numerous NSF-funded projects, including work on precise binary analysis, IoT policy enforcement, and automated fairness repair in AI systems. Recent work trends include memory safety validation , pseudocode extraction , and control-flow integrity mechanisms. His 127+ research outputs reflect deep engagement with static program analysis , cache side-channel detection , and secure kernel-driver interfaces . Scientific Awards: James F. Will Career Development Professorship Gang Tan has secured multiple grants from the National Science Foundation (NSF) and U.S. Navy for projects like Sliver (information flow verification) and Semantics-Directed Binary Reverse Engineering . His work involves advising teams on IoT safety, and he has 19 active or completed grants since 2008.

• Artificial Intelligence
• Medical Robotics
• Embedded Systems
• +5 more

Jan-Matthias Braun is an Associate Professor at the Maersk Mc-Kinney Moller Institute, University of Southern Denmark, specializing in Applied AI and Data Science. His research bridges artificial intelligence, robotics, and medical device engineering. Current projects focus on explainable AI integration in colon capsule endoscopy Development of real-time FPGA-based systems for colorectal diagnostics Biomechanical modeling for adaptive orthotic devices His work emphasizes cross-disciplinary applications of machine learning in healthcare, particularly for gastrointestinal disease detection and assistive robotics. Publications demonstrate expertise in deep neural networks, hardware acceleration, and smart environment control systems. Teaching responsibilities include: Advanced cybersecurity courses Deep learning applications in epilepsy detection Mentorship in capsule endoscopy image analysis

Amal AhmedView profile

Professor

• correct and secure compilation
• safe language interoperability
• foreign-function interfaces
• +9 more

Amal Ahmed is a Professor and Associate Dean for Graduate Programs at Khoury College of Computer Sciences, Northeastern University, where she leads research in programming languages and secure compilation. She received her PhD in Computer Science from Princeton University and has established herself as a leading researcher in compiler correctness, language interoperability, and type systems. Her research focuses on correct and secure compilation across the software-hardware stack and safe language interoperability, including design of sound foreign-function interfaces (FFIs) and richly typed compiler intermediate languages. She makes extensive use of semantics and type systems for reasoning about imperative and probabilistic programming languages, multi-language systems, security, concurrency, and provenance. Her work has significantly advanced the understanding of gradual typing, compiler verification, and compositional language interoperability. Dr. Ahmed's publications reveal a research trajectory focused on building solid semantic foundations for language interoperability and secure compilation. Her recent work spans topics from probabilistic separation logic to WebAssembly interoperability, with consistent emphasis on formal verification and semantic techniques. She has developed frameworks for reasoning about multi-language systems that preserve security properties across language boundaries. NSF CAREER Award recipient Editorial Board: Journal of Functional Programming (2017–present) Editorial Board: Mathematical Structures in Computer Science (2016–present) Member: IFIP Working Group 2.8 (Functional Programming, 2014–present) As an educator and mentor, Dr. Ahmed has advised numerous PhD students, postdocs, and undergraduates, many of whom have gone on to successful academic and industry careers. She has organized the Programming Languages Mentoring Workshop and regularly teaches advanced courses in programming languages. She serves on the steering committees of major conferences including POPL, SPLASH, and PLMW, and has chaired program committees for ESOP and POPL.

Gilbert BernsteinView profile

Assistant Professor

• Computer Graphics
• Programming Languages
• High-Performance DSLs
• +7 more

Gilbert Bernstein is an Assistant Professor in the Computer Science & Engineering department within the College of Engineering at the University of Washington. His research bridges computer graphics and programming languages, with a focus on high-performance domain-specific languages. Previously, he was a post-doctoral scholar at UC Berkeley and MIT working with Jonathan Ragan-Kelley, and received his PhD from Stanford University under Pat Hanrahan. His research interests span Computer Graphics, Programming Languages, High-Performance DSLs, Physical Simulation, Geometry & Topology, Differentiable Programming, Hardware DSLs, Tools for Artists, Fabrication, and Human-Computer Interaction. Bernstein develops languages and compilers that enable efficient computation for creative applications, physical simulations, and graphics rendering systems. His recent publications reveal strong trends in differentiable programming for graphics applications, domain-specific languages for hardware acceleration, and computational approaches to traditional crafts like quilting and knitting. His work consistently combines formal language theory with practical applications in graphics and fabrication. Bernstein actively mentors students across multiple institutions including current advisees Felix Hahnlein (UW Postdoc), Ryan Zambrotta (UW PhD), Haoran Peng (UW PhD), and previous students including Alex Reinking (UC Berkeley PhD 2022, now at Qualcomm) and MacKenzie Leake (Stanford PhD 2021, now at Adobe Research). His lab works on diverse projects including debugging CAD programs, compilers for finite element methods, semantics for knitting machines, algebraic scheduling of tensor programs, and exocompilers for hardware accelerators. Bernstein also collaborates on DSLs for networking, Counterstrike bots, gradient-based optimization, memory management, hardware design, and garment design tools.

Byron CookView profile

Professor

• Verification
• Automated Reasoning
• Program analysis
• +8 more

Byron Cook is Professor of Computer Science at University College London (UCL) and Director of Automated Reasoning at Amazon Web Services. He leads Amazon's Automated Reasoning Group (ARG) and has driven the broad adoption of formal methods across AWS services. His career spans academia and industry, with significant contributions to program verification and automated reasoning. His research focuses on verification, automated reasoning, program analysis, computer/network security, programming languages, theorem proving, logic, and applications to hardware design, operating systems, and biological systems. Cook's work bridges theoretical foundations with practical applications in cloud security and system reliability, particularly through his leadership in applying formal methods to AWS infrastructure. Cook's recent publications demonstrate a strong focus on applying automated reasoning to cloud security challenges, particularly around access control policies, network reachability, and cryptographic implementations. His work shows a clear trajectory from theoretical program verification toward practical security applications in large-scale cloud environments, with emphasis on making formal methods accessible to developers through "one-click" verification tools. Scientific Awards: FREng (Fellow of the Royal Academy of Engineering) As an academic advisor, Cook has mentored numerous PhD students and interns who have gone on to significant careers in programming languages and verification research. His work at Amazon has secured substantial research funding for developing and deploying automated reasoning tools across AWS services. Cook founded and leads Amazon's Automated Reasoning Group (ARG), which develops tools like IAM Access Analyzer, Tiros, Zelkova, and T2. Previously, he managed the Programming Principles and Tools (PPT) group at Microsoft Research Cambridge, where he co-founded projects including TERMINATOR, SLAyer, and the Bio Model Analyzer (BMA).

Derek DreyerView profile

Professor

• Programming Language Theory
• Type Systems
• Formal Verification
• +5 more

Derek Dreyer serves as Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and holds the position of Honorarprofessor (Honorary Professor) of Computer Science at Saarland University's Saarland Informatics Campus. With a PhD from Carnegie Mellon University, he has established himself as a leading researcher at the intersection of programming language theory and practical software verification. Dreyer's research focuses on developing formal methods that bridge theoretical foundations with real-world systems programming challenges. His work has significantly advanced the theoretical understanding of programming languages, particularly in the areas of type systems, separation logic, and concurrency. He is renowned for his contributions to the formal verification of the Rust programming language, including the influential RustBelt project. His recent publications demonstrate a consistent focus on making formal verification practical for industrial-strength codebases. The research trajectory shows increasing sophistication in handling complex systems properties while maintaining theoretical rigor. His work spans from foundational logical frameworks to applied verification techniques for specific language features and system components. As an academic leader, Dreyer has served as Program Chair for major conferences including POPL and ICFP, and has mentored numerous students and postdocs. He is known for his insightful commentary on academic life, including a widely-read blog post addressing impostor syndrome in research careers. Dreyer leads a vibrant research group at MPI-SWS that collaborates extensively with both academic and industrial partners. His team's work has influenced both theoretical developments in programming languages and practical verification tools used in industry.

John WickersonView profile

Senior Lecturer

• concurrency semantics
• FPGAs
• GPUs
• +5 more

John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research spans formal methods, concurrency, and hardware/software synthesis. Academic Rank: Senior Lecturer Affiliation: Imperial College London His research interests include concurrency semantics, weak memory models, transactional memory, GPU and FPGA programming, and high-level synthesis for hardware accelerators. These areas intersect formal verification, programming language design, and hardware-software interface optimization. The publications of John Wickerson reflect trends in formalizing memory models, improving hardware synthesis reliability, and testing concurrency frameworks. His work addresses challenges in quantum compiler validation, GPU workgroup progress, and weak memory persistency across Intel, ARM, and C++ architectures. He actively contributes to academic communities as a Publicity Co-Chair and Session Chair in conferences like POPL and as a Committee Member in SPLASH and PLDI. His GitHub repository activity and X (Twitter) presence further demonstrate his engagement in technical dissemination.

Nate FosterView profile

Professor

• Programming Languages
• Networking
• Formal Verification
• +3 more

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During 2023-24, he also holds a Visiting Professor position at EPFL in the Data Center Systems Laboratory. His research focuses on Programming Languages and Networking , with significant contributions to formal verification of network data planes and domain-specific language design. Awarded NSF CAREER Award , Sloan Research Fellowship , ACM SIGCOMM Rising Star Award , and ACM SIGPLAN Robin Milner Award Active in program committees for conferences like POPL, PLDI, SPLASH, and ICFP Research Trends : His recent work explores intersections of programming language theory with networking, including symbolic verification tools like KATch , infinite-state network analysis with StacKAT , and active learning frameworks for network automata. He applies formal methods to practical challenges in software-defined networking and hypervisor verification. Scientific Awards : NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award Academic Leadership : Serves as Session Preview Co-Chair for POPL 2024 and organizes workshops like RPLS 2025. He has chaired tutorials on P4 programming and mentored researchers through PLMW programs.