Find Academic Supervisors

• Virtualization
• Operating Systems
• Concurrency
• +4 more

Gaël Thomas is a Senior Researcher at Inria Saclay and a part-time Professor at École Polytechnique. He leads the Benagil team, a joint initiative between Inria and Telecom SudParis/IP Paris. His research focuses on virtualization, operating systems, concurrency, and runtime systems, with an emphasis on improving system performance and safety. He holds a PhD and Habilitation from Sorbonne Université and has extensive academic experience, including roles as a Professor at Telecom SudParis (2014–2023) and an Associate Professor at UPMC (2006–2014). Education: PhD in Computer Science, 2005, UPMC Sorbonne Université Habilitation à Diriger les Recherches (HDR), 2012, UPMC Sorbonne Université MSc in Computer Science, 2001, MIAIF Program Research Interests: Gaël’s work spans virtualization techniques, NUMA architecture optimization, garbage collection scalability, lock-free algorithms, and persistent memory systems. He has pioneered solutions like J-NVM for Java NVMM and NumaGiC for big data systems. Grants & Awards: Principal Investigator of DiVA (PEPR Cloud, 868k€) and Maplurinum (ANR PRC, 184k€) Contributions to VMKit and infra-web-cours development Labs/Teams: Benagil Team (Inria/Telecom SudParis) focuses on systems and runtime optimization.

• Computer Systems Security
• Software Supply Chain Security
• Distributed Systems Security
• +3 more

Santiago Torres-Arias is an Assistant Professor at Purdue University, affiliated with the Elmore Family School of Electrical and Computer Engineering . His research spans computer systems security , software supply chain security , and applied cryptography . Campus: West Lafayette, Indianapolis Office: BHEE 324B Contact: santiagotorres@purdue.edu , +1 765-496-6610 Research Interests: Computer systems security Software supply chain security Distributed systems security Applied cryptography Password storage mechanisms Publication Trends: His recent work focuses on software supply chain security , including code signing , provenance mechanisms , and IoT vulnerabilities . Key projects address Sigstore , DevSecOps , and zero-trust dependencies . Scientific Awards: Advising & Grants: No student details provided No grant information listed

• Distributed Systems
• Embedded Systems
• Ubiquitous Computing
• +3 more

NAKAJIMA, Tatsuo serves as a Professor at Waseda University's School of Fundamental Science and Engineering, Department of Computer Network Engineering. Holding a Doctor of Engineering from Keio University, he has been affiliated with Waseda since 1999 after positions at Japan Advanced Institute of Science and Technology (1993-1999), Cambridge University, and Carnegie Mellon University. His academic profile shows substantial research output with 433 papers and 3,338 citations on Scopus, and 7,604 citations with an h-index of 42 on Google Scholar. Dr. Nakajima's research focuses on Distributed Systems, Embedded Systems, and Ubiquitous Computing, with particular emphasis on virtualization architectures for embedded environments. His work bridges theoretical computer science with practical applications in information appliances, operating systems, and persuasive computing technologies. He has developed innovative systems including SPUMONE (a composition kernel for multi-OS environments), SIGMA System, and SPLiT (a performance optimization library for multicore processors). Analysis of his 15 most recent publications reveals a consistent research trajectory centered on enhancing reliability, security, and performance of embedded and pervasive computing systems. His work shows increasing integration of human factors, particularly in sustainable behavior applications through persuasive technology. The research spans from low-level system architecture to user-centered applications, demonstrating both technical depth and practical relevance. Nokia Research Center, Visiting Research Fellow (2005.04) Dr. Nakajima's research has produced numerous practical frameworks including SPUMONE for multi-OS environments, SPLiT for performance optimization, and persuasive applications like EcoIsland for sustainable behavior. His work on kernel monitoring, anomaly detection, and self-healing systems demonstrates strong focus on system dependability. Current research appears directed toward integrating human factors with embedded systems, particularly in environmental sustainability applications. His laboratory work centers around the SPUMONE project, a virtualization layer for multi-core embedded systems that enables multiple operating systems to coexist with minimal engineering cost. This research environment supports exploration of resource management, security monitoring, and performance optimization in embedded contexts. The work has practical applications in information appliances, smart homes, and pervasive computing environments.

Srinivas NarayanaView profile

Assistant Professor

• Computer Networks
• Formal Verification
• Compilers
• +4 more

Srinivas Narayana is an Assistant Professor in the Department of Computer Science at Rutgers University, specializing in programmable networking, formal verification, and systems research. He holds a PhD from Princeton University and a B.Tech from IIT Madras, with postdoctoral work at MIT. His research focuses on building safe, high-performance networks through optimizing compilers, verified programming, and distributed system monitoring. He has received NSF grants, the CGO 2022 Distinguished Paper Award, and the 2017 SIGCOMM Best Paper Award. Education: PhD and MA in Computer Science, Princeton University (2016) B.Tech in Computer Science, IIT Madras (2010) Postdoctoral Research, MIT (2018) Research Interests: His work bridges networking and systems with a focus on compilers, formal methods, and programmable hardware. Notable projects include K2 compiler for eBPF, the eBPF verifier soundness work, and congestion control mechanisms like CCP. He explores parallel packet processing, privacy-preserving analytics, and load balancing strategies. Grants & Awards: NSF Awards #2422076, #1910796, #2019302 eBPF Foundation Grant Facebook Networking Research Award Network Programming Initiative (NPI) Funding Lab & Teams: Leads the NetSys group at Rutgers, collaborating with teams on projects like the eBPF verifier, verified packet processing, and network monitoring tools like Marple. His lab emphasizes open-source contributions and industry collaboration.

Lianying ZhaoView profile

Associate Professor

• Trusted Computing
• Hardware/Architectural Security
• Systems Security
• +3 more

Lianying Zhao is an Associate Professor in the School of Computer Science at Carleton University and serves as a Director of the Carleton Computer Security Lab (CCSL). His research focuses on low-level platform security, including hardware, firmware, hypervisor, and operating systems, with an emphasis on trusted computing, authentication, privacy preservation, and security metrics. He leads the CCSL research group, collaborating with interdisciplinary teams to address critical security challenges in IoT, cloud systems, and web applications. Education: Not explicitly listed in provided texts. Roles: CCSL Director, Research Supervisor, and Graduate Program Advisor. Dr. Zhao’s work spans hardware security improvements, firmware vulnerability analysis, and user-centric security metrics. Recent research highlights include studies on router configuration habits, tracker detection in web browsers, and CVSS score discrepancies. He has supervised numerous graduate students in cybersecurity domains, contributing to over 30 peer-reviewed publications since 2013. His lab affiliations include CCSL and CISL, where he collaborates on projects such as secure deletion frameworks, TLS validation vulnerabilities, and hybrid decision-making models for cloud security. Current research also explores cross-regional login throttling mechanisms and AI-driven vulnerability detection in embedded systems.

Fernando Lopez-LezcanoView profile

Lecturer

• Computer Music
• Spatial Audio
• 3D Sound Diffusion
• +6 more

Fernando Lopez-Lezcano is a Lecturer at Stanford University's Center for Computer Research in Music and Acoustics (CCRMA) where he has been working since 1993. His work combines music composition, electronic engineering, and programming with a focus on spatial audio and sound diffusion technologies. He was the Edgar Varese Guest Professor at TU Berlin during the Summer of 2008 and is the 2014 winner of Stanford's Marsh O'Neill Award for Exceptional and Enduring Support of Stanford University's Research Enterprise. Lopez-Lezcano's research interests center on computer music, spatial audio technologies, and sound diffusion systems. He has pioneered work in High Order Ambisonics (HOA), developing novel decoders and reverberation architectures for immersive sound environments. His work on the SpHEAR Project has created innovative 3D-printed soundfield microphone arrays, while his development of the GRAIL (Giant Radial Array for Immersive Listening) has revolutionized concert speaker arrays for HDLAs (High Density Loudspeaker Arrays). He has also created numerous open-source tools and software environments for spatial sound composition and diffusion. His recent creative output demonstrates a consistent exploration of 3D sound spatialization, modular synthesis, and interdisciplinary collaborations. Across his compositions, he frequently integrates custom-built hardware like his modular synthesizers (including the famous 'El Dinosaurio' built in 1980-81) with sophisticated software environments written in SuperCollider. His work often bridges acoustic and electronic sound sources, creating rich spatial experiences that explore the relationship between technology and artistic expression. Among his notable achievements is the 2014 Marsh O'Neill Award, recognizing his exceptional support of Stanford's research enterprise. This prestigious award was inspired by Marsh O'Neill, Associate Director of the W.W. Hansen Laboratories, and honors outstanding staff members who support faculty research activities. Lopez-Lezcano has mentored numerous students in the development of musical instruments and performance systems, most notably the 'Ensemble AnaLocos' (Analógicos Locos or 'Crazy Analogs') which created the 'Noise Toaster' synthesizers. He has also developed important infrastructure for CCRMA including 'Planet CCRMA,' a collection of open-source audio software for Linux. His teaching includes the 'Sound in Space' course (Music 222), which covers historical background, techniques, and theory on the use of space in music composition and diffusion. He directs the CCRMA Stage concerts and has been instrumental in developing CCRMA's spatial audio infrastructure, including the GRAIL system used in Bing Concert Hall. His work with the SpHEAR Project has advanced 3D sound recording techniques, while his collaborations with performers like Michiko Theurer (violin) and Chris Chafe (celletto) have produced innovative interdisciplinary performances.

Ahmad GhafarianView profile

Professor

• Information Security
• Computer Forensics
• Cybersecurity
• +5 more

Dr. Ahmad Ghafarian is a Professor of Computer Science in the Mike Cottrell College of Business at the University of North Georgia (UNG), where he has served for over 20 years since 1996. He is a dedicated educator who emphasizes positive teacher-student relationships and has taught a wide range of undergraduate and graduate courses in computer science and cybersecurity. His educational background includes: Ph.D. in Computer Science, University of Glasgow, UK, 1982 M.S. in Computer Science, University of Glasgow, UK, 1974 B.S. in Mathematics, Ferdowsi University of Mashhad, Iran, 1970 Postdoctoral Studies in Information Security, University of Maryland University College, 2007 Graduate Certificate in Information Security, Purdue University, 2003 Dr. Ghafarian's research focuses on digital forensics and cybersecurity, with expertise in computer forensics, malware detection, cloud security, social media privacy, and SQL injection attacks. His work involves empirical studies of security tools and protocols, advancing forensic methodologies and security practices through rigorous experimentation and analysis. His publication record demonstrates a clear evolution from foundational computer science education topics in the 1990s to specialized cybersecurity research since the mid-2000s. Current work emphasizes memory forensics for social media platforms, ransomware detection mechanisms, connected vehicle security, and VoIP system vulnerabilities, reflecting his adaptation to emerging technological threats. No scientific awards were explicitly mentioned in the source material. Dr. Ghafarian has developed comprehensive curricula across 15+ graduate and undergraduate courses including cybersecurity capstones, network security, and computer forensics. His teaching innovations include semester-long projects, ethical case studies, and practical lab components using tools like Kali Linux. While specific grant funding isn't documented, his extensive publication record and curriculum development demonstrate sustained research engagement and academic leadership.

Maria MushtaqView profile

Associate Professor

• Embedded System Security
• Microarchitectural Security
• Artificial Intelligence Applications in Security
• +2 more

Maria Mushtaq is an Associate Professor at Telecom Paris , affiliated with the Information Processing and Communication Laboratory (LTCI) and the Secure and Safe Hardware (SSH) Lab . She received her PhD in Information Security from the University of South Brittany, France (2019) and completed 2 years of postdoctoral research at LIRMM, University of Montpellier under the CNRS excellence post-doc grant. Research Focus: Microarchitectural vulnerability assessment, runtime mitigation against side/covert-channel attacks, cryptanalysis, OS-based security primitives, and hardware-software interface security Technical Expertise: Cache timing attacks, transient execution attacks (Spectre/Meltdown), Hardware Performance Counter analysis, gem5 simulation Her recent work involves RISC-V security analysis using gem5 simulations and machine learning for attack detection. She serves as Guest Editor for the Journal of Applied Sciences special issue on Side Channel Attacks in Embedded Systems and has been on the Program Committee for the European Test Symposium (2020-2021). 2021 HiPEAC Collaboration Grant recipient Organized IP Paris Winter School on Microarchitectural Security (2022) Active in international conferences as panelist and keynote speaker

Al Amjad Tawfiq IsstaifView profile

Researcher

• Cloud and Edge Computing
• Microservices and Serverless
• Operating Systems and Middleware
• +5 more

Al Amjad Tawfiq Isstaif is a Research Associate in the Systems Research Group (SRG) at the Department of Computer Science and Technology (also known as "The Computer Lab") at the University of Cambridge, working with Professor Richard Mortier. He is a member of Clare College. In 2018, he was awarded the Said Foundation Cambridge Scholarship to study the MPhil in Advanced Computer Science (ACS) at the Computer Lab. Before moving to Cambridge, he co-founded several projects for empowering engineering students in Syria, including the award-winning education enterprise: Wikilogia. His research interests include: Cloud and Edge Computing Microservices and Serverless Operating Systems and Middleware Networked and Distributed Systems Machine Learning Systems Human-Centred Computing Machine Learning and Artificial Intelligence Systems and Networking Isstaif's primary research focus is on building self-scaling network services on top of next generation infrastructure (IoT/5G/edge), leveraging lightweight virtualization techniques and distributed tracing. His work falls under the Compute First Networking research project. He has deep passion for social entrepreneurship and the role of digital infrastructure in addressing development and sustainability challenges across the globe. His technical expertise bridges the IT and telecom worlds, with emphasis on cloud-native and open source movements shaping future infrastructure. His recent publications demonstrate a strong focus on optimizing serverless computing environments, with particular attention to scheduling algorithms, resource management, and latency optimization in Linux-based systems. The trajectory of his work shows progression from database performance modeling to cutting-edge research in edge computing and network infrastructure. Notable awards and recognitions: Said Foundation Cambridge Scholarship (2018) Co-founded Wikilogia, an award-winning education enterprise for engineering students in Syria Isstaif has teaching experience in Operating Systems (LT 2021) and maintains an active research profile within the Systems Research Group. His work connects theoretical computer science with practical applications in cloud infrastructure, particularly focusing on how these technologies can serve broader societal needs in developing contexts. He is located in Room FN07 at the William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD.

Alva L. CouchView profile

Associate Professor

• Network and System Management
• Geo-informatics
• Data Management
• +9 more

Alva L. Couch is an Associate Professor at Tufts University's School of Engineering, Department of Computer Science, with a career spanning over 30 years. His work bridges network/system administration, autonomic computing, and hydrologic data science, focusing on scalable solutions for data management and automated system administration. Education: Ph.D. in Mathematics (1988), B.S. in Architecture (1978), and B.A. in Bassoon/Contrabassoon Performance (1978). Research Interests His research centers on: Network and System Administration: Tools like SLINK, Maelstrom, and Babble for dependency analysis, cloud migration, and policy enforcement. Geo-informatics: MEDFORD metadata language and HydroShare platform for hydrologic data curation and discovery. Autonomic Computing: Promise theory, convergent operators, and closure models for self-managing systems. Recent Work Trends His 2024-2018 publications emphasize: Cloud-based hydrologic data management (AnVILMEDFORD, HydroShare) Metadata standards for interdisciplinary research Machine learning for system administration Agent-based resource sharing models Scientific Awards Liebner Teaching Award (1996) Seymour Simches Advising Award (2017) Best Paper Awards: LISA 1996, AIMS 2008, LISA 2001 LISA 2000 Best Student Paper (with Michael Gilfix) Contributions He developed key software like Peep (network auralization) and Slink (configuration management), supported by NSF grants and industry partnerships. His work with CUAHSI's Water Data Center shapes national hydrologic data infrastructure. He also advocates for science education and privacy in computing.

Joe DeviettiView profile

Associate Professor

• Computer Architecture
• Parallel Programming
• Concurrency
• +4 more

Joseph Devietti is an Associate Professor in the Department of Computer & Information Science at the University of Pennsylvania. His research focuses on improving programmability and performance of multiprocessor systems through architectural and programming model innovations. He actively advises PhD students and has supervised numerous graduates now employed at leading tech companies and academic institutions. Education: PhD (2012), MS (2009) in Computer Science and Engineering from University of Washington; BSE (2006) in Computer Science and BA (2006) in English from University of Pennsylvania. Employment: Associate Professor (2020–present), Assistant Professor (2013–2020) at University of Pennsylvania; Principal Scientist & Co-founder at Cloudseal, Inc. (2018–2020). Devietti’s research spans computer architecture, parallel programming, and deterministic execution. Key areas include cache/memory optimization (prefetching, false sharing repair), GPU programming models (race detection, block-size independence), and hardware-software co-design for concurrency safety. His recent work addresses dynamic runtime prefetch tuning (RPG 2 ), online code layout optimization (OCOLOS), and intelligent BTB prefetching (Twig) for data center applications. His publications from 2024–2017 reveal trends in instruction/cache optimization (2024–2020), GPU determinism (2018–2017), and race detection (2018–2016). Awards include the 2024 Penn Engineering Ford Motor Company Award, Radhia Cousot Best Paper (2018), and IEEE Micro Top Picks recognition (2023, 2009, 2008). Scientific Awards : 2024 Penn Engineering Ford Motor Company Award Radhia Cousot Young Researcher Best Paper Award (SAS 2018) IEEE Micro Top Picks (2023, 2009, 2008) Intel Early Career Faculty Honor Program (2013) Intel Ph.D. Fellowship (2011) Advising : Supervised 15+ PhD/Master’s students with placements at Google, Microsoft, Amazon, NYU, and the United States Naval Academy. Collaborations : Works with industry leaders (NVIDIA, Facebook) and academic institutions (University of Washington, Penn).

Aravind MachiryView profile

Assistant Professor

• Software Security
• Embedded Systems
• Program Analysis
• +9 more

Aravind Machiry is an Assistant Professor at Purdue University's Electrical and Computer Engineering Department and a founding member of the Purdue Systems and Software Security (PurS3) Lab . His research focuses on system security, particularly vulnerability detection, prevention, and secure system development using static/dynamic program analysis, fuzzing, type systems, and machine learning. Designing practical solutions for software and embedded system security Recipient of NSF CAREER and Amazon Research awards Active participant in SPLASH 2025 as OOPSLA Review Committee member His recent work includes automated vulnerability detection in embedded software, spatial memory safety enhancements, and security analysis of GitHub workflows. He has received recognition for his research through multiple distinguished paper awards and industry funding. Selected scientific awards include NSF CAREER Award (2024) Amazon Research Award (2022) Test of Time Award at FSE 2023 for DynoDroid Distinguished Paper Award at OOPSLA 2022 for 3c Qualcomm Innovation Fellowship (2025) His research team has developed frameworks like ARGUS for taint analysis of CI/CD workflows and FuzzUEr for UEFI interface fuzzing, discovering hundreds of critical vulnerabilities in open-source projects and thousands of command injection flaws in GitHub repositories.

Ahmed SaeedView profile

Assistant Professor

• Scalable Computer Networks
• Congestion Control
• Operating Systems
• +5 more

Ahmed Saeed is an Assistant Professor in the School of Computer Science at Georgia Institute of Technology, specializing in scalable computer networks and systems. His research spans congestion control, operating systems, LEO satellite networks, and formal methods, with a strong record of publications and active mentorship. Education: PhD in Computer Science, Georgia Institute of Technology (2019) Bachelor's in Computer and Systems Engineering, Alexandria University (2010) Postdoctoral Associate, MIT (with Prof. Mohammad Alizadeh) Research Interests: Ahmed's work focuses on the theory, design, and implementation of scalable networked systems. Key themes include: Congestion control algorithms for datacenter and WAN traffic Overload control mechanisms for microsecond-scale RPCs Performance debugging tools for datacenter applications LEO satellite network modeling and policy analysis Formal verification of network protocols and resource schedulers Recent Publications Trend: His 2024-2025 papers emphasize LEO satellite resilience and datacenter performance , with contributions to emergency failover modeling, latency debugging tools, and congestion control protocols. These works combine empirical measurement, formal modeling, and policy recommendations. Awards & Funding: NSF CAREER Award (2024) – LEO satellite variability ($600k) NSF CNS Core Awards (2022) – Edge server stacks & formal verification (total $2.38M) Google Research Award (2022) – Scalable edge systems ($80k) DARPA Risers Top 5 Poster (2022) Spec Tech Award (2023) – Nanomodular electronics routing ($40k) Teaching & Service: He regularly teaches Computer Networking I (CS 3251) and Datacenter Networks & Systems (CS 8803) . Service includes PC roles for SIGCOMM, NSDI, CoNEXT, and Networking area co-chair for JSys. Lab & Students: Ahmed leads an active research group with PhD students Peidi Song, Bhaskar Pardeshi, Sherif Abdelrazek; MS students Dhyey Thummar, Pratyush Sahu, Sammy Kapoor; and undergraduate Demi Lei. Alumni have joined industry leaders like Juniper, Microsoft, and Snowflake.

Rohan TabishView profile

Assistant Professor

• Real-Time Systems
• Embedded Systems
• Multicore Processors
• +5 more

Rohan Tabish is an Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), specializing in real-time systems, embedded systems, and cybersecurity. His work focuses on developing predictable and secure software frameworks for multi-core and heterogeneous architectures. Education: Ph.D. in Computer Science and Engineering Master's in Computer Science and Engineering B.Sc. in Electrical Engineering with Telecommunications specialization Research Interests: Real-Time Task Scheduling Fault Tolerance in Embedded Systems Inter-Core Communication Frameworks Memory Bandwidth Management Cyber-Physical Systems Scratchpad-Centric Operating Systems Awards: Outstanding Paper & Best Paper Award (RTSS 2020) Outstanding Paper & Best Student Paper Award (RTSS 2020) Best Presentation Award (RTAS 2016) Nominated for Best Paper Award (ECRTS 2019) Teaching: CS 431: Embedded Systems (Instructor, 2015-2018) CS 424: Real-Time Systems (Instructor, 2019) CS 438: Communication Networks (TA, 2019) Labs/Teams: Active member of the Real-Time Systems Lab (RTSL) at UIUC, focusing on safety-critical embedded systems and real-time software frameworks.

• Security
• Intrusion Detection
• Digital Provenance
• +7 more

Thomas Pasquier is an Assistant Professor in the Department of Computer Science at the University of British Columbia, where he is affiliated with both the UBC Security & Privacy Group and the Systopia Lab. His research focuses on designing and implementing computer systems that are inherently observable and transparent, with particular emphasis on security, privacy, and system accountability. Dr. Pasquier earned his PhD in Computer Science from the University of Cambridge in 2016, following an MPhil in Advanced Computer Science from the same institution in 2012. His educational background also includes a Diplôme d'Ingénieur from Institut Supérieur d'Electronique de Paris and a Diplôme Universitaire de Technologie from Conservatoire National des Arts et Métiers. His primary research interests span Security, Intrusion Detection, Digital Provenance, Operating Systems, Distributed Systems, Data Protection, and Privacy. His work specifically addresses the design of systems with built-in observability and transparency mechanisms, focusing on provenance-based security solutions. Analysis of his recent publications reveals a consistent focus on provenance-based intrusion detection systems, with significant contributions in making these systems more practical, usable, and robust. His research also extends to eBPF technology in the Linux kernel, exploring security applications and performance optimizations. Amazon Research Award 2023 for Building Robust Provenance-based Intrusion Detection Incredible Instructor Award Dr. Pasquier has advised numerous graduate students at both UBC and the University of Bristol, where he previously held an Assistant Professor position. His students have gone on to careers at major technology companies including Amazon, Salesforce, Huawei, and Oracle Labs. He has served on program committees for prestigious conferences including ACM ASPLOS, EuroSys, USENIX Security, and ACM CCS. His research is conducted within the Systopia Lab at UBC, which focuses on systems research broadly construed, with particular emphasis on security, privacy, and performance optimization. The lab collaborates with industry partners including Amazon through the Amazon Research Awards program.