Find Academic Supervisors

Przemysław PawełczakView profile

Associate Professor

• Energy Harvesting
• Sustainable Systems
• Internet of Things
• +3 more

Przemysław Pawełczak is an Associate Professor at Delft University of Technology within the Embedded and Networked Systems Group. He leads the Sustainable Systems Lab , focusing on battery-free and energy-efficient computing systems. PhD from TU Delft (2009) on Opportunistic Spectrum Access MSc from Wrocław University of Science and Technology (2004) His research centers on Internet of Things sustainability , with emphasis on eliminating batteries and reducing environmental impact. This includes hardware-software co-design for intermittent computing, wireless communication optimization, and quantum network protocols. 2022: DIPS framework for debugging battery-free systems 2022: Protean platform for heterogeneous battery-free computing 2021: BFree Python-based sensor prototyping 2019-2022: Quantum Internet Alliance contributions Key research trends include intermittent execution models , energy-harvesting hardware , and quantum communication protocols . His work spans from theoretical foundations to practical implementations in real-world systems. Scientific recognition includes: Dutch Research Council Veni 2012 grant He has supervised multiple PhD students and postdocs, including: Current: James Scott Broadhead, Jasper de Winkel Graduated: Amjad Yousef Majid (now TU Delft postdoc), Qingzhi Liu (Wageningen University lecturer) Leading projects include: Towards Energy Autonomous Systems for IoT (2016–Now) Quantum Internet Alliance (2019–2022) Low-Energy Visible Light IoT Systems (2019–2021) He coordinates the Sustainable Systems Lab and contributes to academic service through editorial roles and conference committees.

Çağatay EdemenView profile

Assistant Professor

• Communication Theory
• Information Theory
• Visible Light Communication
• +5 more

Çağatay Edemen is an Assistant Professor in the Department of Electrical and Electronics Engineering at Özyeğin University's Faculty of Engineering since 2013. His research spans communication theory, optical wireless systems, and next-generation mobile networks with significant contributions to international standards. Education: PhD in Electrical Engineering, Işık University (2014) Master's in Electrical Engineering, Işık University (2006) Bachelor's in Electrical Engineering, Marmara University (2003) Dr. Edemen's research focuses on information-theoretic aspects of multi-user cooperative communication and visible light communication (VLC) applications . His work bridges theoretical analysis with practical implementations, particularly in optical wireless systems for underwater, terrestrial, and vehicular environments. Recent projects explore reconfigurable intelligent surfaces (RIS) for underwater acoustic communication and VLC for electric vehicle charging infrastructure. His publication portfolio shows strong emphasis on optical wireless communication (35%), multi-user cooperative systems (30%), and 5G/6G mobile technologies (25%), with growing interest in underwater and vehicular applications. The most cited works include his IEEE WCNC 2008 Best Paper Award-winning research on three-user cooperative channels. Awards: IEEE WCNC Best Paper Award (2008) IEEE SIU Communication Society Best Paper Award (2024) IEEE Senior Member (2022) MEVICO Silver Award (2013) Dr. Edemen has secured multiple TÜBİTAK and European research grants totaling over $2M, including projects on UAV-based optical wireless backhaul and underwater VLC networks. He currently supervises 7 graduate students across PhD and MS programs, with research focusing on RIS performance, optical channel modeling, and vehicular networking. As executive director of OKATEM (Centre of Excellence in Optical Wireless Communication Technologies), he leads an international research team developing next-generation communication systems for terrestrial, non-terrestrial, and underwater environments. His CT&T Research Group actively collaborates with NYU Abu Dhabi and industry partners on optical wireless communication standards development, with recent patents pending in electric vehicle communication systems and accident notification technologies.

Jacob O. WobbrockView profile

Professor

• Human-Computer Interaction
• Accessible Computing
• Mobile Computing
• +5 more

Professor Jacob O. Wobbrock is affiliated with the University of Washington , where he holds a position in the Information School and a courtesy role in the Paul G. Allen School of Computer Science & Engineering . He co-founded the DUB Group and MHCI+D degree , and serves as Interim Director of the MHCI+D program. As director of the ACE Lab and Founding Co-Director Emeritus of the CREATE Center , he leads research in human-computer interaction (HCI) and accessible computing . Education : B.S. in Symbolic Systems (1998), M.S. in Computer Science (2000), Ph.D. in Human-Computer Interaction (2006) Research Focus : Input techniques, performance modeling, mobile and accessible computing, VR, and gesture recognition Awards : ACM Fellow (2021), CHI Academy (2019), NSF CAREER (2010), ICMI/ASSETS/UIST Lasting Impact Awards His 15 most recent articles (2023-2025) explore AI-powered accessibility solutions, tactile 3D modeling, mobile reading adaptations, gesture recognition for motor impairments, and screen reader integration. These works span human-computer interaction , artificial intelligence , biomedical data analysis , and inclusive design in both academic and industry contexts. Scientific honors include the SIGCHI Social Impact Award and AMiner Most Influential Scholar rankings. As an entrepreneur , he co-founded AnswerDash (acquired by CloudEngage) and has contributed to patents and expert witness cases. His teaching and advising have produced doctoral graduates now at institutions like Harvard and CMU, though specific student names are not listed in this profile.

Erwin LaureView profile

Professor

• High Performance Computing
• Parallel and Distributed Computing
• Exascale Computing
• +4 more

Erwin Laure serves as Director of the Max Planck Computing and Data Facility (MPCDF) and Honorary Professor at the Technical University of Munich (TUM). Previously, he was Professor and Director at KTH Stockholm's PDC Center for High Performance Computing. He holds a PhD from the University of Vienna and brings over 25 years of expertise in High Performance Computing. Educational Background: PhD, University of Vienna His research focuses on parallel and distributed systems , exascale architectures , and computer architecture , with emphasis on programming environments , compilers , and runtime systems for large-scale applications. His work drives European initiatives including EuroHPC and BioExcel Centre of Excellence. Prof. Laure leads MPCDF and participates in major projects: ongoing efforts include SEANERGYS (EuroHPC), PlasmaPEPS, and OpenCUBE; completed projects encompass Time-X, DEEP SEA, and REGALE (all EuroHPC). He teaches core courses in parallel programming, computer architecture, and virtualization across multiple semesters at TUM.

• Context-oriented programming
• Software engineering
• Programming languages
• +8 more

Kim Mens is a Professor at Université catholique de Louvain (UCLouvain), affiliated with the Louvain School of Engineering (EPL), the Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM), and specifically the Pôle en ingénierie informatique (INGI). His research spans multiple areas of computer science with a particular focus on context-oriented programming, software engineering, and programming education. Professor Mens' research interests center around context-oriented programming, software evolution, and programming education. His work explores how software systems can dynamically adapt to changing contexts, with applications in self-adaptive systems, feature-based programming, and context-aware applications. In programming education, he investigates how to improve student learning through better feedback mechanisms, pattern mining in student code, and explicit instructional strategies. His recent publications (2022-2025) demonstrate a strong focus on both theoretical and practical aspects of context-oriented systems. His work spans software testing for adaptive systems, program query languages, automated feedback for programming education, and context-aware programming frameworks. His research shows a clear progression from foundational work in context-oriented programming to practical applications in software engineering and education, with increasing integration of AI techniques like BERT for educational applications. Professor Mens actively collaborates with researchers across Europe, particularly in Belgium, the Netherlands, and other European countries. His work appears in top software engineering and programming conferences and journals, demonstrating the significance and impact of his contributions to the field. His current research trajectory suggests continued innovation at the intersection of programming languages, software engineering, and computer science education.

Y. Annie LiuView profile

Professor

• Languages
• Algorithms
• Program Design and Optimizations
• +4 more

Annie Liu is a Professor of Computer Science at Stony Brook University. Her research spans programming languages, algorithms, and distributed systems, with a focus on formal methods and system assurance. She earned her Ph.D. and M.S. from Cornell University, M.Eng. from Tsinghua University, and B.S. from Peking University, all in Computer Science. Research highlights: Distributed algorithms, logic programming, program analysis, security, and domain-specific language design. Recent publications integrate logic rules with AI, blockchain consensus, and incremental computation. Awards include the SUNY Chancellor's Award for Excellence in Scholarship and a Best Student Paper Award. Teaches courses in programming, algorithms, and distributed systems (e.g., CSE 526, CSE 626). Leads the Design and Analysis Research Laboratory, focusing on optimizing compilers, real-time systems, and big data analysis.

• Software Engineering
• Digital Twins
• Healthcare IoT
• +3 more

Hassan Sartaj serves as a Postdoctoral Fellow within the Department of Engineering Complex Software Systems at Simula Research Laboratory. His research bridges advanced software engineering methodologies with critical healthcare applications, focusing on medical device safety and reliability through innovative digital twin frameworks. His research profile centers on AI-driven software engineering for healthcare systems , with core expertise in digital twin creation , uncertainty-aware simulation , and LLM-enhanced testing . Key contributions include developing meta-learning approaches for medical device digital twins (MeDeT) and quantum extreme learning machines for practical software testing. His work consistently addresses real-world challenges in healthcare IoT, particularly in medicine dispensers and cancer registry systems, emphasizing safety-critical validation. Analysis of his 15 most recent publications reveals a dominant trend toward integrating foundation models with cyber-physical systems engineering . Over 70% of his 2024-2025 output explores LLMs for uncertainty identification in self-adaptive robotics, differential testing of medical rule engines, and environment simulation for digital twins. This reflects a strategic pivot toward leveraging generative AI for validating safety-critical healthcare software, with strong emphasis on practical DevOps implementation in evolving healthcare applications.

Etienne ZinkView profile

Researcher

• Software-Defined Networking (SDN)
• P4 Programming Language
• Network Security
• +3 more

Etienne Zink is a PhD Student & Research Assistant at the University of Tübingen , affiliated with the Faculty of Science and the Department of Computer Science , specifically the Chair of Communication Networks. His research focuses on Software-Defined Networking (SDN) and P4 programming language applications in network monitoring and softwarization. B.Sc. in Computer Science (2019-2022) at DHBW Stuttgart Campus Horb M.Sc. in Computer Science (2022-2024) at the University of Tübingen Etienne contributes to network softwarization research through projects involving Snabb-Based Service Functions and Rust Barefoot Runtime (RBFRT) . His work addresses performance optimization, protocol enhancements, and runtime control in SDN architectures. Recent publications focus on histogram-based RTT monitoring and P4TG framework improvements. He supervises courses including Network Security I/II and Public Cloud Computing , while tutoring Network Softwarization and Informatik der Systeme . Etienne's programming expertise includes Rust and P4 for network device control.

Shweta ShindeView profile

Assistant Professor

• Trusted Computing
• System Security
• Program Analysis
• +5 more

Shweta Shinde is an Assistant Professor at the Department of Computer Science, ETH Zurich, leading the Secure & Trustworthy Systems (SECTRS) group. She is affiliated with the Institute of Information Security and the ZISC Center . Research Focus : Trusted computing, system security, and program analysis, with emphasis on foundational and practical security for devices ranging from phones to accelerators. Key Awards : Best Paper Award at SysTEX 2025, Distinguished Paper Award at USENIX Security 2024, Best Applied Research Paper Award at DeFi’25. Advising : Mentors PhD students including Mark Kuhne, Supraja Sridhara, and Benedict Schlüter. Service : Active in PC/steering committees for Oakland, NDSS, CCS, and others.

Weihang WangView profile

Assistant Professor

• Software Engineering
• Software Security
• Computer Systems
• +6 more

Weihang Wang is a WiSE Gabilan Assistant Professor in the Department of Computer Science at the University of Southern California. His research focuses on building testing and analysis techniques to improve the reliability, security, and efficiency of complex software systems, with particular expertise in WebAssembly technologies. Wang received his Ph.D. in Computer Science from Purdue University in 2018. His educational background has provided a strong foundation for his research in software engineering and security, leading to numerous publications and awards in the field. His research spans multiple critical areas including WebAssembly analysis , software security , and program analysis . Wang's work addresses fundamental challenges in detecting and mitigating vulnerabilities in modern web applications and systems. His research group develops innovative approaches to static and dynamic analysis, bug detection, and security testing, with a strong emphasis on practical applications and real-world impact. Recent projects include developing frameworks for Spring analysis, WebAssembly function identification, and business flow tampering detection. Wang's publication record shows a clear trajectory of increasing impact in WebAssembly research, with multiple papers at top-tier conferences like WWW, ICSE, and FSE. His work spans from foundational analysis techniques to practical tools that address security and performance challenges in web technologies, demonstrating both theoretical depth and practical applicability. His scientific achievements have been recognized with prestigious awards including: N2Women Rising Stars in Networking and Communications (2024) University at Buffalo Exceptional Scholar - Young Investigator Award (2022) NSF CAREER Award (2021) Facebook Testing and Verification Research Award (2019) Mozilla Research Award (2019) Maurice H. Halstead Memorial Research Award (2018) Best Poster Award at ACSAC'22 Wang has successfully advised numerous graduate and undergraduate students, many of whom have published first-author papers at top conferences and secured positions at leading technology companies. He actively serves the research community through program committee roles at major software engineering and security conferences. His work has been supported by competitive grants from NSF, Facebook, and Mozilla, demonstrating the significance and potential impact of his research directions. At USC, Wang leads a vibrant research group focused on software engineering, security, and systems. The group is currently working on cutting-edge projects related to static/dynamic bug detection, program analysis for WebAssembly, attack investigation and detection, compiler testing, and performance profiling of modern web applications.

Tiago CogumbreiroView profile

Assistant Professor

• Concurrency Theory
• Parallel Programming
• Formal Methods
• +6 more

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

Matthew FlattView profile

Professor

• Programming Languages
• Functional Programming
• Runtime Systems
• +3 more

Matthew Flatt is a Professor in the School of Computing at the University of Utah, where he has been actively contributing to programming language research and development. His primary affiliation is with the PLT research group, which is responsible for the Racket programming language ecosystem. Flatt received his PhD from Rice University in 1999. His educational background laid the foundation for his extensive work in programming language design and implementation. His research focuses on extensible programming languages , runtime systems , and applications of functional programming . As one of the principal developers of the Racket programming language, Flatt has made significant contributions to macro systems, language composition, and domain-specific language design. His work demonstrates how language-oriented programming can solve complex software engineering challenges through careful language design and implementation techniques. Flatt has served in numerous leadership roles in major programming language conferences including as Program Chair for DLS 2020, ICFP 2018, and GPCE 2017, and as Program Committee member for numerous SIGPLAN conferences including PLDI, POPL, ICFP, and SPLASH across multiple years. His conference contributions reveal a consistent focus on practical language implementation techniques and metaprogramming systems. As an educator, Flatt has developed and taught courses on programming languages, computer systems, and software engineering, with many course materials including videos and slides publicly available. His teaching approach emphasizes hands-on implementation of language concepts, as evidenced by his MSD Software Engineering course materials that guide students through building an interpreter for a programming language called MSDscript.

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.

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.