Find Academic Supervisors

Yangruibo DingView profile

Assistant Professor

• Software Engineering
• Large Language Models
• Agentic Systems
• +7 more

Yangruibo Ding is an incoming Assistant Professor in the Department of Computer Science at the University of California, Los Angeles (UCLA), and currently serves as a Postdoctoral Scientist at AWS Agentic AI. He has held significant research positions at Google DeepMind, Amazon AWS AI Labs, and IBM Research, establishing himself as a leading researcher in software engineering with a focus on large language models for code. His research focuses on developing large language models (LLMs) and agentic systems for software engineering. He specializes in training LLMs with advanced symbolic reasoning capabilities for debugging, testing, program analysis, and verification. His work aims to build efficient, collaborative agentic systems for complex software development and maintenance tasks, with particular emphasis on code generation, vulnerability detection, and execution-aware pre-training techniques. Dr. Ding's publication record reveals a strong trajectory toward enhancing code intelligence through comprehensive semantics reasoning and self-refinement approaches. His research spans multiple dimensions of software engineering including code completion, vulnerability detection, model evaluation, and cross-file context understanding, with applications across various programming languages and development environments. Dr. Ding has received numerous prestigious awards recognizing his contributions to the field: IBM Ph.D. Fellowship Award (2022-2024) ACM SIGSOFT Distinguished Paper Award (2023) IEEE TSE Best Paper Award Runner-up (2022) Ph.D. Service Award, Columbia CS (2025) NSF Student Travel Award for ESEC/FSE'23 (2023) ACM SIGSOFT CAPS Travel Grant (2023) NSF Travel Award for ICSE'22 (2022) As he establishes his research group at UCLA, Dr. Ding is actively seeking students with strong coding skills and experience in large language models, program analysis, verification, or security. He serves on program committees for major conferences including ICSE (2026), ASE (2024, 2025), and ESEC/FSE Artifacts Track (2023), and regularly reviews for top-tier conferences and journals in AI and software engineering. His research is conducted through collaborations with leading industry teams including AWS Agentic AI, Google DeepMind's Learning4Code team, and IBM Research's AI for Code team, creating a robust network of industry-academia partnerships that drive innovation in software engineering research.

Steven H. H. DingView profile

Assistant Professor

• Cybersecurity
• Machine Learning
• Data Mining
• +7 more

Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.

Matthew LakinView profile

Associate Professor

• Molecular Computing
• DNA Nanotechnology
• Synthetic Biology
• +7 more

Matthew Lakin is an Associate Professor with tenure in the Department of Computer Science at the University of New Mexico, with a courtesy appointment in the Department of Chemical & Biological Engineering. He is affiliated with the UNM Center for Biomedical Engineering and the School of Engineering, and collaborates extensively with the UNM Health Sciences Center and external institutions. Education: Ph.D., Computer Science, University of Cambridge, 2010 M.A. (Cantab), University of Cambridge, 2009 B.A. (Hons), Computer Science, University of Cambridge, 2005 Dr. Lakin's research focuses on molecular computing, DNA nanotechnology, synthetic biology, and formal verification of biomolecular circuits. He develops computational models and experimental systems for programmable biological devices, especially using heterochiral DNA to enhance stability in living cells. His work spans software tools for biodesign and experimental validation in mammalian systems, with applications in nanomedicine and biosensing. The recent publications highlight a strong trend in engineering robust, intelligent biomolecular systems. His work integrates machine learning concepts into chemical reaction networks, advances geometric modeling of DNA systems, and pioneers L-DNA-based circuits for intracellular applications. The research spans theoretical foundations, software tools, and wet-lab experimentation, emphasizing interdisciplinary innovation. Scientific Awards: Presidential Early Career Award for Scientists and Engineers (PECASE), 2025 NSF CAREER Award, 2021 UNM School of Engineering Junior Faculty Research Excellence Award, 2021 Multiple student awards under his mentorship, including the Outstanding Graduate Student Award and DNA28 Best Student Presentation recognition Dr. Lakin has advised numerous graduate and undergraduate students, including Ph.D. graduates in Biomedical Engineering and Computer Science. He leads major funded projects such as the NSF CAREER grant on heterochiral molecular computing, an EPSCoR Research Fellowship, and a $3M NSF grant on heavy metal biosensing in collaboration with Native American communities. He is also PI on multiple NSF grants related to synthetic cells and nucleic acid technologies. He directs the Lakin Lab for Programmable Biology, which operates within the Department of Computer Science and collaborates with Chemical & Biological Engineering and the Center for Biomedical Engineering. The lab emphasizes both computational modeling and experimental molecular biology, and runs an NSF-funded biotechnology summer camp in partnership with ¡Explora! science museum to strengthen STEM education in New Mexico.

• Security
• Cryptography
• Theoretical Computer Science
• +3 more

Yan Huang is an Associate Professor in the Department of Computer Science at Indiana University Bloomington, focusing on security and cryptography. His work bridges theoretical foundations with practical systems, emphasizing cryptographic protocols with strong security guarantees for generic computation. University: Indiana University Bloomington School: College of Arts and Sciences Department: Computer Science Academic Rank: Associate Professor His research combines theoretical computer science , program analysis , artificial intelligence , and software engineering to address real-world security problems. Key areas include secure computation , zero-knowledge proofs , and privacy-preserving technologies . Recent publications, such as Phecda (SP'25) and Dubhe (USENIX Security'23), highlight advancements in post-quantum cryptography , AES verification , and privacy-preserving deep packet inspection , reflecting his focus on scalable and practical cryptographic solutions. He has advised notable students including Changchang Ding (PhD, Computer Science) and Ruiyu Zhu (PhD, now at Facebook), and served on program committees for top conferences like ACM CCS and CRYPTO .

Rahul MangharamView profile

Professor

• Formal Methods
• Machine Learning
• Control Systems
• +3 more

Rahul Mangharam is a Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania's School of Engineering and Applied Science, with a secondary appointment in Computer and Information Science. He directs the Safe Autonomous Systems Lab (mLAB) and is a founding member of the PRECISE Center. Mangharam serves as Penn Director for the Safety21 DoT National University Transportation Center ($20MM), Director of the Autoware Center of Excellence, and leads the F1Tenth Autonomous Racing Community. Education: Ph.D. in Electrical & Computer Engineering, Carnegie Mellon University M.S. in Electrical & Computer Engineering, Carnegie Mellon University B.S. in Electrical & Computer Engineering, Carnegie Mellon University His research bridges formal methods, machine learning, and control systems with applications in medical devices, autonomous systems, and energy-efficient buildings. Key focus areas include safety verification for autonomous vehicles, real-time control systems, and patient-specific cardiac modeling for clinical applications. Recent work explores conformal prediction for safe perception, differentiable control barrier functions, and explainable autonomous systems. Mangharam's publication trends show strong emphasis on autonomous systems safety (control synthesis, uncertainty quantification) and biomedical applications (cardiac modeling, clinical decision support). His 2022-2023 publications demonstrate cross-disciplinary approaches combining control theory, machine learning, and formal methods for robust autonomous systems. Awards and Honors: Presidential Early Career Award (PECASE) 2016 IEEE Benjamin Franklin Key Award 2014 NSF CAREER Award 2013 Intel Early Faculty Career Award 2012 National Academy of Engineers US Frontiers of Engineering (2012, 2018) Stephen J. Angelo Term Chair (2008-2013) He leads multiple major grants including NSF CAREER, DoT Safety21 Center ($20MM), DoE Energy-Efficient Building Hub ($160MM), and DARPA HACMS. Current PhD students include Zirui Zang. Mangharam founded the F1Tenth autonomous racing platform used globally for education and hosts international competitions through the Autoware Center of Excellence.

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

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .

David LieView profile

Professor

• Computer Systems Security
• Trusted Execution Environments
• Mobile Platform Security
• +7 more

David Lie is a Professor at the University of Toronto, jointly appointed in the Edward S. Rogers Department of Electrical and Computer Engineering, Department of Computer Science, and Faculty of Law. He directs the Schwartz Reisman Institute for Technology and Society, co-founded the IT3 Lab, and serves as Associate Director at the Data Sciences Institute. His research focuses on securing computer systems through operating systems, architecture, and formal verification approaches. B.A.Sc (University of Toronto, 1998) M.S. (Stanford, 2001) Ph.D. (Stanford, 2004) His research emphasizes building secure systems for mobile platforms and cloud computing, with significant contributions to trusted execution environments (XOM architecture precursor to Intel SGX/ARM TrustZone) and Android permission mapping (PScout tool). Recent work spans cryptographic side-channels, web tracking detection, and AI safety. Key honors include SOSP 2003 Best Paper, Ontario MRI Early Researcher Award (2008), Connaught Global Challenge Award (2017), and Canada Research Chairs (Tier 2 2013-2018, Tier 1 current). He has secured over $30M in research funding and served as General Chair for CCS 2018. Lie leads the IT3 Lab (Technology and Policy Integration), collaborates with industry leaders (Google, VMware, Telus), and mentors graduate students working on practical security implementations. He co-teaches ECE1724: Privacy Problems with Lisa Austin from the Faculty of Law, reflecting his technology-policy interests.

Björn BrandenburgView profile

Researcher

• Real-Time Systems
• Scheduling Algorithms
• Real-Time Operating Systems
• +5 more

Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.

Xugui ZhouView profile

Assistant Professor

• Cyber-Physical Systems
• Security
• Dependability
• +7 more

Xugui Zhou is an Assistant Professor jointly appointed in the Department of Electrical and Computer Engineering and the Department of Computer Science at Louisiana State University (LSU). He holds a Ph.D. in Electrical and Computer Engineering from the University of Virginia (2024), where he worked under Prof. Homa Alemzadeh. Prior to his Ph.D., he earned an M.Eng in Control Science and Engineering and a B.Eng in Automation from Shandong University. Before joining UVA, he was a Senior Engineer at NR Research Institute, State Grid of China. His research focuses on the intersection of system dependability, security, and control theory, with applications in autonomous systems and healthcare. Key interests include engineering resilient autonomous vehicles, mitigating adversarial attacks on cyber-physical systems (CPS), and enhancing safety through formal methods and machine learning. He leads a research lab with openings for Ph.D. students and interns. Zhou is actively involved in academic service, serving on program committees for DSN'26, AsiaCCS'26, and ICCPS'25, among others. He also chairs workshops like DSML'25 and organizes conferences such as ICCPS'24. His recent awards include the UVA Engineering Endowed Graduate Fellowship (2023) and selection as a Rising Star in Cyber-Physical Systems (2023). His teaching includes courses like AI-Driven Autonomous Driving Systems and ML for CPS Security at LSU. He has extensive experience in teaching and research supervision, emphasizing hands-on projects and interdisciplinary collaboration.

Mithuna S. ThottethodiView profile

Professor

• Computer Architecture
• Interconnection Networks
• Distributed Systems
• +7 more

Mithuna S. Thottethodi is a Professor and Interim Associate Head of Teaching and Learning at the Elmore Family School of Electrical and Computer Engineering at Purdue University. He holds a B.Tech. from the Indian Institute of Technology, Kharagpur (1996), and a Ph.D. in Computer Science from Duke University (2002). His research focuses on computer architecture, interconnection networks, distributed systems, and security, with notable work on sparse tensor accelerators and processing-near-memory architectures. His work has been funded by the NSF, AT&T, and SK Hynix. Research interests include security, interconnection networks in multicores, storage performance optimization, and memory hierarchies. Notable contributions span hardware accelerators for machine learning, secure speculative execution, and datacenter network congestion control. He has advised over 20 graduate students, many of whom have joined top tech firms like Google, Microsoft, and Intel. Awards: NSF CAREER Award (2007) Wilfred Hesselberth Teaching Excellence Award (2021) Multiple Eta Kappa Nu Outstanding Professor Awards Teaching includes undergraduate courses like EE 437 (Computer Design) and graduate courses such as ECE 666 (Advanced Computer Architecture). He also advises VIP and EPICS student teams.

Saumya DebrayView profile

Professor

• Compilers
• Program Analysis
• Code Optimization
• +5 more

Saumya Debray is a Professor at the Department of Computer Science , University of Arizona , with research interests in Compilers , Program Analysis and Optimization , and Programming Language Implementation . Their work bridges theoretical and applied computer science, focusing on security implications of program transformations and compiler-assisted system optimization. Education: Ph.D., The State University of New York at Stony Brook (1986). Contact: Office: GS 735 | Phone: 520-621-4527 | Email: debray@cs.arizona.edu. Research Themes: Debray’s research spans three decades, with core contributions in: JIT Compiler Analysis: Bug localization, dynamic code generation, and exploitation frameworks. Code Obfuscation & Stylometry: Evading detection through optimization-based obfuscation. Malware Analysis: Deobfuscation techniques, taint analysis, and dynamic defense modeling. Binary Rewriting: Energy optimization, code compaction, and kernel specialization. Their work intersects compiler design , cybersecurity , and system optimization , with applications in executable analysis , malware detection , and undergraduate CS education .

• Artificial Intelligence
• Machine Learning
• AI Alignment
• +2 more

Michael Riegler is a Researcher at the AI Department, Simula Research Laboratory , focusing on interdisciplinary applications of Artificial Intelligence in healthcare, sports analytics, and multimedia systems. His work bridges Machine Learning , AI Alignment , and Applied AI across clinical and real-world domains. Key Affiliations: Simula Research Laboratory (AI Department Head) Research Themes: Explainable AI in medicine, multimodal data analysis, and AI-driven health monitoring Research Interests include: Developing AI/ML algorithms for medical imaging (e.g., polyp detection, embryo analysis) Addressing missing data challenges in healthcare through novel imputation techniques Creating multimodal virtual avatars for investigative interview training Designing edge AI systems for sports analytics and sustainable fishing Recent Publications highlight collaborations with institutions in Norway and globally, with a focus on: Medical Applications: Polyp segmentation, ECG analysis, and explainable models for disease detection Sports Analytics: Athlete performance prediction and soccer video processing Data Infrastructure: Lifelogging datasets (ScopeSense), semantic representation frameworks Labs & Teams include leadership in Simula’s AI Department and participation in projects like Medico Multimedia Task , ImageCLEF , and MediaEval workshops. His work emphasizes responsible AI innovation in public sectors and privacy-preserving systems for edge environments.

Vasileios MavroeidisView profile

Associate Professor

• Cybersecurity
• Security Automation and Orchestration (SOAR)
• Cyber Threat Intelligence (CTI)
• +6 more

Vasileios Mavroeidis is an Associate Professor in Digital Security at the Department of Informatics, University of Oslo (UiO). He specializes in security automation and orchestration (SOAR) and cyber threat intelligence (CTI) representation, reasoning, and sharing. He actively contributes to European cybersecurity initiatives, including Horizon Europe, Connecting Europe Facility, and the European Defense Fund, and serves as the primary representative of UiO at the OASIS standards development organization since 2017. Role : Associate Professor Department : Digital Security (SEC), University of Oslo Standardization Involvement : Chairman of OASIS Threat Actor Context (TAC), Leading Contributor to CACAO and OpenC2 Projects : Concordia, CyberHunt, JCOP (Joint Cyber Security Operations Platform), Oslo Analytics, P4C (Partnership for Cybersecurity) His research focuses on cyber threat intelligence (CTI), exploring its taxonomies, sharing standards (STIX, CACAO), and ontologies, with contributions to the European Union Agency for Cybersecurity (ENISA) Cybersecurity Playbooks task force. He analyzes quantum computing's impact on cryptography, develops automated threat detection systems using machine learning (e.g., recurrent neural networks for malware-generated domains), and investigates privacy issues under GDPR. Recent publications highlight his work on LLMs for code stylometry , neurosymbolic AI for cyber defense , and knowledge management systems for CACAO playbooks . His articles span 2017–2025, emphasizing formal verification, biometric data protection, and incident response automation. He collaborates with organizations like OASIS (Threat Actor Context, CACAO, OpenC2) and FIRST (Traffic Light Protocol), and participates in European research projects. His work includes standardization efforts in cybersecurity playbooks , MITRE ATT&CK representation, and quantum-resistant cryptography .

• Computer Architecture
• Non-Volatile Memory Systems
• Deep Learning Systems
• +3 more

Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.

Mehmet Esat BelviranliView profile

Assistant Professor

• Heterogeneous Architectures
• Runtime Systems
• Performance Modeling
• +5 more

Mehmet Esat Belviranli is an Assistant Professor in the Computer Science Department at the Colorado School of Mines, where he directs the High Performance Systems and Software Lab (HyperSys). His research focuses on increasing resource utilization in heterogeneous architectures through runtime systems, scheduling algorithms, and performance modeling, with publications in top venues including MICRO, PPoPP, and SC. Education: Ph.D. in Computer Science, University of California, Riverside (2016) M.S. in Computer Science, Bilkent University (2009) B.S. in Computer Science, Bilkent University (2006) Belviranli's research spans heterogeneous architectures, runtime systems, performance modeling, parallel programming, autonomous computing, deep learning acceleration, cyber-physical systems, and edge-cloud platforms. His work develops analytical models and programming abstractions to address resource management, scheduling, and security challenges in diversely heterogeneous systems, with applications in edge computing, autonomous systems, and machine learning acceleration. Recent projects emphasize real-world constraints and security implications. His publication trends reveal increasing focus on edge-cloud resource management (e.g., HARNESS), security vulnerabilities in heterogeneous systems (e.g., MC3), and deep learning acceleration under resource constraints. Key themes include memory contention modeling, scheduling for cyber-physical systems, and concurrent DNN execution, reflecting a shift toward practical deployment in security-sensitive edge environments. Scientific Awards: U.S. Air Force Research Lab Summer Faculty Fellowship Award (2022) U.S. Air Force Research Lab Summer Faculty Fellowship Award (2021) Oak Ridge National Laboratory Significant Event Award (2019) Best Paper Finalist, IEEE HPEC 2018 Outstanding Paper Award, DATE 2024 Belviranli mentors Ph.D. students Ismet Dagli (MLCommons Rising Star 2024, CGO'24 SRC finalist) and Justin Davis (DATE'24 Outstanding Paper Award winner). He has secured $2M+ in funding from NSF, DoE, and SRC, including an NSF-SaTC grant on mobile security (2024), a DoE grant on superconductive systems (2023), and an NSF FuSe grant on graphene nanoribbons (2023), often leading multi-institutional teams from Rochester, Virginia, Arizona, and Minnesota. The HyperSys Lab develops ecosystems for high-performance heterogeneous systems, with recent projects including HARNESS for edge-cloud resource management and MC3 for mobile SoC security. The lab has received equipment donations from Google Coral.ai and Xilinx, and collaborates with national labs on security challenges and next-generation semiconductor technologies.