Find Academic Supervisors

Muhammad Ali GulzarView profile

Assistant Professor

• Fault Localization
• Big Data systems
• Data Intensive scalable computing
• +5 more

Muhammad Ali Gulzar is an Assistant Professor in the Computer Science Department at Virginia Tech and an Amazon Scholar at Amazon Web Services. His research focuses on improving developer productivity through automated debugging and testing for applications in emerging domains, including data-intensive software such as dataflow programs, ML/AI applications, and computational notebooks. Education Ph.D. in Computer Science from University of California, Los Angeles (Google Ph.D. Fellow 2017-2020) Research Interests Gulzar's research spans three primary areas: (1) automated tracking-code localization techniques in web applications, (2) re-engineering testing and debugging for data-intensive applications, and (3) advancing current testing and debugging practices in Federated Learning Applications. His work addresses the challenges of debugging in complex systems where traditional approaches fail due to the scale and distributed nature of modern applications. His research has significant implications for improving software quality, developer productivity, and accessibility in web applications. Research Trends Recent publications demonstrate a strong focus on debugging and testing challenges in emerging application domains. His work bridges traditional software engineering with machine learning, data-intensive systems, and web technologies. Notably, he has made significant contributions to Federated Learning debugging (FedDebug), accessibility challenges in ad-driven web applications, and semantic caching for Large Language Models. His approach often combines novel algorithmic insights with practical implementations that address real-world challenges in software development and maintenance. Scientific Awards Google Ph.D. Fellow (2017-2020) $1.1 million NSF award for Federated Learning research ACM CCS 2024 Distinguished Artifact Award Advising and Grants Gulzar leads a productive research group with multiple students contributing to publications in top-tier venues. His NSF-funded research on Federated Learning demonstrates his ability to secure competitive funding for innovative projects. His advising style appears to emphasize practical impact alongside theoretical contributions, with students often taking lead roles in publications. Current research directions include debugging techniques for Large Language Models, accessibility challenges in modern web applications, and novel testing approaches for distributed data processing systems.

Brendan Dolan-GavittView profile

Associate Professor

• Cybersecurity
• Program Analysis
• Virtualization Security
• +5 more

Brendan Dolan-Gavitt is an Associate Professor in the Computer Science and Engineering Department at NYU Tandon School of Engineering and part of the NYU Center for Cybersecurity (CCS). He holds a Ph.D. in Computer Science from Georgia Tech (2014) and a BA in Math and Computer Science from Wesleyan University (2006). His research spans cybersecurity, program analysis, virtualization security, memory forensics, and embedded/cyber-physical systems, focusing on automating the understanding of large software systems to develop novel defenses. Research interests include developing techniques for static and dynamic analyses of real-world software to reveal hidden design assumptions. His work has been presented at top security conferences like USENIX Security, ACM CCS, and IEEE Security & Privacy. He led the development of the open-source PANDA platform for dynamic analysis. His publications primarily focus on AI-driven security solutions, vulnerability discovery, and automated testing tools. Recent work explores LLMs in offensive security, fuzzing enhancements, and secure code generation, emphasizing practical applications in cybersecurity. Scientific Awards: NSF CAREER Award for improving software vulnerability testing and education He leads the OSIRIS Lab, a student-run cybersecurity group, and collaborates on interdisciplinary projects addressing emerging security challenges through grants and industry partnerships.

Steve SprecherView profile

Lecturer

• Network Security
• Web Security
• Systems Security
• +5 more

Steve Sprecher is a Lecturer in the Department of Computer Science at Northeastern University. His research focuses on network and web security, systems security, practical applications of machine learning in security, censorship measurement, and privacy. He holds a PhD from Northeastern University, advised by Engin Kirda, and earned his MS and BS in Computer Science from the University of Michigan, where he worked with J. Alex Halderman and Roya Ensafi on censorship, ransomware, and network measurement. His teaching experience includes serving as the Instructor of Record for Foundations of Computer Security & Privacy at Northeastern (Winter 2023), and as Head Graduate Student Instructor for the introductory computer security course at the University of Michigan (2017-2019). He has also held roles as a Teaching Assistant and Guest Lecturer in multiple security-related courses. Sprecher's publications address cutting-edge security challenges such as HTTP protocol vulnerabilities, third-party script management, and decentralized internet control mechanisms. His work bridges theoretical research with practical applications, emphasizing both technical depth and real-world impact.

Habeeb OlufowobiView profile

Assistant Professor

• Cyber-Physical System Security
• Embedded Systems Security
• IoT Security
• +10 more

Habeeb Olufowobi is an Assistant Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington (UTA), where he leads the Cyber-Physical System Security Lab. He holds a PhD in Computer Science from Howard University (2019) and previously served as a Lecturer at Howard before joining UTA in 2020. His research is centered on the security and trustworthiness of embedded and distributed systems, particularly in the domains of autonomous vehicles, IoT, and healthcare AI. He investigates cybersecurity challenges at the hardware-software interface in real-time systems and develops AI/ML models that are transparent, explainable, and equitable. His interdisciplinary work integrates principles from cybersecurity, real-time systems, and machine learning. The recent publications reflect a strong trend in securing cyber-physical systems using advanced AI techniques, with emphasis on intrusion detection, secure communication (e.g., named data networking), and robustness of autonomous systems. His work frequently appears in top-tier venues such as IEEE Transactions, VehicleSec, and ICMLA. Project Management Professional (PMP), PMI (2012–Present) Member, Institute of Electrical and Electronics Engineers (IEEE) (2020–Present) Habeeb has secured significant research funding, including an NIH grant on ethical AI for Chagas disease prediction and an AIM-AHEAD grant focused on health equity. He mentors several graduate students, including Paul Agbaje and Afia Anjum, who have received awards and internships at prestigious institutions like Los Alamos National Laboratory. He teaches courses in cloud computing, embedded systems, and information security, and serves as a faculty advisor for the National Society of Black Engineers (NSBE) at UTA. His lab, the Cyber-Physical System Security Lab, focuses on developing scalable and reliable security solutions for critical infrastructure, with growing emphasis on healthcare applications and fairness in algorithmic decision-making.

Christian RossowView profile

Professor

• Network Security
• System Security
• Software Security
• +9 more

Prof. Dr. Christian Rossow is a faculty member at CISPA – Helmholtz Center for Information Security in Dortmund, Germany. He also serves as a professor at Saarland University and an honorary professor at TU Dortmund. His research focuses on network security , system/software security , and cyber attacks and countermeasures . His recent publications include work on CSS exploitation for browser fingerprinting, Spectre mitigations on ARM, DDoS attack analysis, and hardware-assisted security extensions. Christian Rossow regularly serves as a PC member and track chair for top cybersecurity conferences like ACM CCS and USENIX Security . He advises multiple PhD students and leads a research group exploring foundational and practical security solutions.

Yonghwi KwonView profile

Visiting Assistant Professor

• Software Systems Security
• Cyber Forensics
• Software Engineering
• +3 more

Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.

Nour MoustafaView profile

Associate Professor

• Cyber Security
• Computer System Security
• Networking and Communications
• +7 more

Dr. Nour Moustafa is an Associate Professor and ARC DECRA Fellow at the School of Systems & Computing (SysCom) , University of New South Wales (UNSW) Canberra , Australia. He leads the Intelligent Security Group and focuses on developing AI/ML-driven cybersecurity frameworks for smart systems. Educated at Helwan University (BSc/MSc in Information Systems) and UNSW (PhD in Cybersecurity). Research Interests include intrusion detection, threat intelligence, privacy preservation, digital forensics, and cyber resilience, with methodologies spanning statistical analysis , machine learning , and deep learning applied to IoT , Edge/Cloud , and Industrial IoT environments. His work emphasizes federated learning for privacy preservation, blockchain for secure AI, and digital twins for network self-healing. Notable contributions include the TON-IoT , Bot-IoT , and UNSW-NB15 datasets for cybersecurity evaluation. Scientific Awards : 2020 Spitfire Memorial Defence Fellowship ACM Distinguished Speaker IEEE Senior Member He has served as guest associate editor for IEEE Transactions journals and held leadership roles in conferences like IEEE TrustCom . His research bridges academia and industry, with over 75 publications in top-tier venues.

Michael PradelView profile

Professor

• Software Engineering
• Programming Languages
• Program Analysis
• +9 more

Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools

Chester RebeiroView profile

Associate Professor

• Hardware Security
• Applied Cryptography
• Side Channel Analysis
• +3 more

Chester Rebeiro is an Associate Professor at the Department of Computer Science and Engineering within the Indian Institute of Technology Madras . His work spans hardware and software security with a focus on cryptographic implementations and microarchitectural vulnerabilities. Research interests include hardware security, applied cryptography, side channel analysis, and operating system security. He develops frameworks for automatic vulnerability detection and mitigation in cryptographic systems. Editorial Board: Associate Editor at Journal of Hardware and Systems Security (Springer, 2021-2024) Conference Leadership: General Co-Chair for SPACE 2024, Program Co-Chair for ATS 2024, and Program Co-Chair for INDOCRYPT 2023 Professional Activities: Organizer of e-CTF Embedded Capture The Flag and contributor to cybersecurity workshops across India and abroad Scientific contributions highlight two major awards: a Distinguished Paper Award at USENIX Security 2024 and a Best Paper Award at IEEE HOST 2020. His research focuses on practical security solutions for processors and cryptographic systems. Advising includes mentoring 11 PhD students and 7 MS by Research candidates, with notable co-guided projects in fault attack detection and side-channel mitigation. He actively contributes to educational initiatives through courses on Secure Processor Microarchitecture and Operating Systems.

John WickersonView profile

Associate Professor

• Computer Hardware
• Electrical and Electronic Engineering
• Computer Software
• +7 more

Dr. John Wickerson is an Associate Professor in the Circuits and Systems group at the Department of Electrical and Electronic Engineering, Imperial College London. His research focuses on improving the reliability of high-performance computing through formal methods, with contributions to high-level synthesis, memory models, and concurrency verification. He holds leadership roles including Course Director for the Electrical and Information Engineering degree and Deputy Tutor for PhD students. Research Interests: Formal Verification of Hardware/Software Systems High-Level Synthesis (HLS) and FPGA Compilation Weak Memory Models and Concurrency Semantics Fuzz Testing for Hardware Tools Compiler Optimization and Correctness Digit Elision and Arbitrary-Precision Arithmetic Notable Achievements: Best Paper Award at EuroSys 2024 (database isolation validation) Pioneered formal methods for HLS tools (e.g., QuteFuzz, C4) Co-developed the C4 C compiler concurrency checker Published over 60 peer-reviewed papers across top venues (ASPLOS, PLDI, FPGA) Lab/Team: Part of the Circuits and Systems group at Imperial College, collaborating with industry partners like Kaihong Yann and ARM.

Adam DoupéView profile

Associate Professor

• Cybersecurity
• Cybercrime
• Binary Analysis
• +7 more

Adam Doupé is an Associate Professor at Arizona State University's School of Computing and Augmented Intelligence (SCAI) and Director of the Center for Cybersecurity and Trusted Foundations (CTF). He holds a Ph.D. and M.S. in Computer Science from the University of California, Santa Barbara. His research focuses on cybersecurity, vulnerability analysis, web security, and hacking competitions. Notable awards include the NSF CAREER Award (2017), Best Teacher Award, and Outstanding Assistant Professor Award from ASU's Fulton Schools of Engineering. Education: Ph.D. and M.S. in Computer Science, UC Santa Barbara (2014, 2009). Research emphasizes automated vulnerability analysis, binary analysis, and cybersecurity education. Key contributions include frameworks like SCAMNet and SENSAI for fraud detection, and tools like Fuzz to the Future for uncovering future vulnerabilities. Recent articles highlight advancements in phishing ecosystem analysis, browser fingerprinting mitigation, and compiler-aware decompilation. Awards reflect his impact in both teaching and research. Advising and grants support his work in secure systems and ethical hacking. He co-leads the SEFCOM lab with Drs. Ahn, Shoshitaishvili, Wang, and Bao, and hosts CTF Radiooo for cybersecurity discussions.

Yannic NollerView profile

Professor

• Automated Program Repair
• Machine Learning Analysis
• Software Testing
• +3 more

Yannic Noller is a Professor at the Faculty of Computer Science at Ruhr University Bochum (RUB), leading the Software Quality group. Previously, he held positions as Assistant Professor at Singapore University of Technology and Design (SUTD) and Research Assistant Professor at National University of Singapore (NUS). His research focuses on automated software engineering, including program repair, machine learning analysis, and software testing. He earned his Ph.D. from Humboldt-Universität zu Berlin under Prof. Lars Grunske, with a thesis on hybrid differential software testing. Education: Ph.D. in Computer Science (2016-2020, Humboldt-Universität), M.Sc. (2013-2016, University of Stuttgart), B.Sc. (2010-2013, University of Stuttgart). Research interests include automated program repair techniques, machine learning model analysis, and intelligent tutoring systems for programming education. Notable contributions include HyDiff (hybrid differential analysis tool) and CPR (concolic program repair). Awards include the Distinguished Artifact Reviewer at ISSTA'2021 and multiple scholarships for academic excellence. Teaching includes courses on software engineering, requirements engineering, and automated software engineering.

• Software Engineering
• Software Security
• Artificial Intelligence

Mike Papadakis is an Associate Professor at the University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT), where he leads the SerVal research group. His research focuses on software engineering, software security, and artificial intelligence. He holds a PhD in Software Testing and Verification from Athens University of Economics and Business, with an MSc and BSc from the same institution. His research explores mutation testing, machine learning applications in software development, and test optimization. Recent publications demonstrate a strong emphasis on AI robustness, flaky test analysis, and automated debugging techniques. Notable achievements include the IEEE TCSE Rising Star Award (2020) and 12 additional research awards. He has published over 100 peer-reviewed articles and delivered more than 30 invited talks globally.

Siqi MaView profile

Senior Lecturer

• Automated Vulnerability Detection and Repair
• Mobile Security
• IoT Security
• +4 more

Dr. Siqi Ma is a Senior Lecturer at the UNSW Institute for Cyber Security (IFCYBER) within the School of Systems & Computing at the University of New South Wales (UNSW). He previously served as a Lecturer at the University of Queensland's School of Information Technology and Electrical Engineering (ITEE). He holds a Ph.D. in Information Systems from Singapore Management University (2018) and was a Postdoctoral Research Fellow at Data61, CSIRO. He also visited Carnegie Mellon University (CMU) in 2015. Current Role: Senior Lecturer, UNSW Institute for Cyber Security Former Role: Lecturer, University of Queensland Education: Ph.D. (Singapore Management University), Postdoc (Data61, CSIRO) His research spans automated vulnerability detection, mobile security, IoT security, network authentication, and graph-based adversarial robustness. Recent work focuses on drone configuration bugs, Android malware analysis via GNNs, federated learning privacy, and credential leakage in open-source projects. Key trends in his 2024-2025 publications include automated security analysis for embedded systems, deepfake detection in multimedia, and privacy-preserving mechanisms for distributed networks. He collaborates with institutions like Purdue University, Singapore Management University, and CSIRO Data61.

Rajendran JeyavijayanView profile

Associate Professor

• Hardware Security
• Computer Security
• Hardware Fuzzing
• +4 more

Jeyavijayan 'JV' Rajendran is an Associate Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He is an ASCEND Fellow and leads the Secure and Trustworthy Hardware (SETH) Lab. His research focuses on hardware security, computer security, and novel applications of AI in secure hardware design. Education: PhD in Electrical Engineering (NYU 2015), MS in Computer Engineering (NYU Tandon 2010), BE in Electronics and Communication Engineering (Anna University 2008). Research Interests: Hardware Security, Computer Security, Logic Locking, Hardware IP Protection, and Reinforcement Learning for Security. He explores AI-driven approaches to detect vulnerabilities, protect intellectual property, and enhance secure hardware design through fuzzing, obfuscation, and formal verification. Notable Awards: 2022 Office of Naval Research Young Investigator Award, 2021 IEEE CEDA Ernest Kuh Early Career Award, 2017 NSF CAREER Award. Lab and Teams: The SETH Lab focuses on trustworthy hardware design, developing techniques to secure integrated circuits against reverse engineering and IP theft. Current projects include LLM-based hardware code generation, formal approaches for hardware fuzzing, and AI-driven vulnerability detection.