Find Academic Supervisors

Antonio MastropaoloView profile

Assistant Professor

• Artificial Intelligence
• Natural Language Processing
• Software Engineering
• +6 more

Dr. Antonio Mastropaolo is an Assistant Professor of Computer Science at William & Mary, USA. His research lies at the intersection of Artificial Intelligence, Natural Language Processing, and Software Engineering, with a strong emphasis on the automation of SE-related practices. He promotes explainability, efficiency, and optimization from both model-centric and output-centric perspectives. His research interests focus on the reliability and efficiency of AI systems for software engineering. He investigates robustness and adaptability of foundation models like GitHub Copilot, as well as documentation and summarization of code components. His work addresses critical challenges in AI-driven software development including transparency, scalability, and developer productivity. His publication portfolio shows a strong trend toward neurosymbolic approaches that combine neural learning with symbolic reasoning. Recent articles explore quantization of large code models, code summarization optimization, and resource-efficient AI for software engineering. His work spans both theoretical foundations and practical applications, with emphasis on empirical validation of AI techniques in real-world SE contexts. Distinguished Reviewer Award for service on FSE'25 program committees Distinguished Reviewer Award at ASE 2024 Distinguished Paper Award for 'Unveiling ChatGPT's Usage in Open Source Projects' at MSR'24 Distinguished Paper Award for 'How do Hugging Face Models Document Datasets, Bias, and Licenses?' at ICPC'24 Dr. Mastropaolo advises PhD students, with Saima recently starting her PhD journey with a publication in FORGE 2025. He received an NSF Grant (#2451058) in April 2025 for research on efficient and responsible AI for software engineering. His service includes committee membership for major conferences including ASE, ICSE, ICSME, and FSE across multiple tracks including Research Papers, NIER, and Tool Demonstrations.

Daye NamView profile

Assistant Professor

• Software Engineering
• Artificial Intelligence
• Human-Computer Interaction
• +3 more

Daye Nam is an Assistant Professor in the Department of Informatics at the University of California, Irvine, where they design, build, and evaluate AI tools for developers using natural language processing techniques. Their work sits at the intersection of software engineering, artificial intelligence, and human-computer interaction, with a strong focus on creating useful and usable tools that make software development more accessible, efficient, and enjoyable. Education PhD in Software Engineering, Carnegie Mellon University (2018-2024) MS in Computer Science, University of Southern California (2016-2018) BS in Computer Science, Yonsei University (2012-2016) Research Interests Dr. Nam's research focuses on designing, building, and evaluating AI tools for programmers at all levels, with an emphasis on making these tools both useful and usable. Their work spans several key areas including machine learning for software engineering (ML4SE), developer experience, and human-AI interaction. They employ a user-centered approach that involves conducting empirical studies to understand programmers' needs, building and training machine learning models based on those insights, creating tools for programmers, and evaluating them using human-computer interaction methods. Their research has particular relevance to AI-powered developer tools, API documentation and discovery, and educational applications of AI for programming students. Publications and Research Trends Dr. Nam's recent publications demonstrate a clear trajectory toward understanding and improving how developers interact with AI systems. Their work increasingly focuses on empirical studies of developer-AI interaction, particularly with large language models for code generation and understanding. There's a strong emphasis on understanding trust in AI systems among developers, measuring the actual impact of AI on development speed, and designing tools that balance automation with user control. Their research methodology often combines log analysis, user studies, and the development of novel AI-powered tools that address specific developer pain points. Scientific Awards and Honors Best Tool Paper Award at ASE ACM Student Research Competition 2nd Place SIGSOFT CAPS Student Travel Award for FSE ACM SIGSOFT NSF Travel Award NSF Travel Award for ICSE SIGSOFT Best Research Award from University of Southern California Teaching and Service Dr. Nam teaches SWE 233: Intelligent User Interfaces at UC Irvine, guiding students through the design and evaluation of AI-powered interfaces for software development. They have previously served as a Teaching Assistant and Co-Instructor for Foundations of Software Engineering at Carnegie Mellon University. In terms of service, they've been on program committees for major software engineering conferences including ICSE, ASE, and FSE, and have reviewed papers for journals like TOSEM and Empirical Software Engineering. They've also been active in student support programs, organizing and mentoring for graduate applicant support initiatives.

Sandra Diaz PierView profile

Researcher

• Computational Neuroscience
• High Performance Computing
• Machine Learning
• +3 more

Dr. Sandra Diaz Pier is a Scientific Lead at the Jülich Supercomputing Centre (JSC) within the Jülich Research Centre , Germany. Specializing in computational neuroscience , high performance computing (HPC) , and machine learning , she bridges neuroscience and advanced computational methods through her research. Education: B.Sc. in Electronic Systems Engineering, Mexico M.Sc. in Computer Science (focus: machine learning, quantum computing), Mexico Second M.Sc. in Electrical Engineering, Ontario, Canada Ph.D. in Computer Science, Germany (2021) Her research focuses on modeling and simulating brain dynamics and plasticity at multiple scales, leveraging HPC to accelerate large-scale neural network simulations. She actively contributes to EU projects like the Human Brain Project (HBP) , Virtual Brain Cloud , and EBRAINS 2.0 , emphasizing infrastructure development and educational training. Her work includes open-source tools such as the NEST simulator , The Virtual Brain , and L2L , enabling efficient parameter exploration and multiscale co-simulation frameworks. The 15 most recent publications highlight her interdisciplinary approach, spanning topics from quantum computing in biomolecular simulations to neural plasticity algorithms and cloud-based brain modeling . These articles reflect her expertise in integrating machine learning , multi-scale simulation , and HPC infrastructure for neuroscience challenges, including seizure propagation, Parkinson’s disease progression, and swarm intelligence in spiking networks. She leads technical coordination in projects like EBRAINS and serves as a task leader in the HBP infrastructure work package , while also organizing workshops and hackathons for open-source tools. Her role involves supporting domain scientists through methodological research and workflow optimization for brain simulations.

• Numerical Analysis
• Uncertainty Quantification
• Inverse Problems
• +3 more

Oliver G. Ernst is a Professor of Numerical Analysis at Technische Universität Chemnitz . His research focuses on Numerical Analysis , Uncertainty Quantification , and Inverse Problems , with applications in Thermo-Hydro-Mechanical (THM) processes , Electromagnetics , and Stochastic Partial Differential Equations . He is associated with the Numerical Analysis group at TU Chemnitz. Key Research Areas : Efficient numerical methods for PDEs Krylov subspace techniques Stochastic finite element methods Multi-physics modeling Geoscientific applications Recent Publications (2025-2010): THM simulations under uncertainty Neural network PDE solvers Bayesian inversion frameworks Rational Krylov algorithms Deflated restarting strategies Collaborations : TU Bergakademie Freiberg University of Manchester Technical University of Munich University of Maryland University of Geneva Software Development : Contributor to OpenGeoSys platform Developer of FEMALY MATLAB library Academic Recognition : h-index 32, i10-index 66, with over 4423 citations since 2020.

Christof BüskensView profile

Professor

• Optimization
• Optimal Control
• Control Systems
• +5 more

Prof. Dr. Christof Büskens is a Professor of Technomathematics at the University of Bremen, leading the AG Optimierung und Optimale Steuerung (Optimization and Optimal Control Group) within the Faculty of Mathematics and Computer Science . His research focuses on Optimization, Optimal Control, and their applications in industrial and real-time systems. He holds leadership roles in interdisciplinary projects such as BESTVILLE and Safety Control Center for autonomous vehicle systems, and has contributed to maritime navigation, renewable energy management, and agricultural robotics. Büskens has supervised numerous PhD and master's students, advancing topics like autonomous exploration, neural architecture search, and trajectory optimization. His work integrates advanced numerical methods with practical applications, emphasizing real-world problem-solving in dynamic systems. Key affiliations include the ZeTeM (Center for Industrial Mathematics) and collaborations with industry partners. He has led over 20 projects since 2020, addressing challenges in autonomous systems, energy systems, and robotics. His educational contributions include courses on numerical analysis and optimal control, fostering interdisciplinary training for future researchers. Büskens' expertise bridges theoretical optimization and applied engineering, with over 100 publications and contributions to software tools like the WORHP solver.

Sven ScheweView profile

Professor

• Automata Theory
• Game Theory
• Formal Verification
• +12 more

Sven Schewe is a Professor in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He leads the AI Section and is a founding member and former leader of the Verification Group. He also has secondary affiliations with the Algorithms, Complexity Theory and Optimisation Group and the Institute for Risk and Uncertainty. Research Interests: His research centers on automata theory and game theory, particularly their applications in the verification and synthesis of reactive and safety-critical systems. He investigates infinite-duration games, automata over infinite words and trees, and develops algorithms and tools for automated verification, synthesis, and learning of optimal control strategies. His work extends to reinforcement learning with formal guarantees, cyber-physical systems, and AI safety. Recent Research Trends: His recent publications demonstrate a strong integration of formal methods with machine learning, particularly in adversarial training, neural network robustness, and model-free reinforcement learning under omega-regular objectives. He also applies formal reasoning to interdisciplinary domains such as chemical space exploration and materials science. Scientific Awards: Finalist for the ERCIM Cor Baayen Award 2010 Dr. Eduard Martin Preis 2009 GI Dissertation Award 2008 Advising and Grants: He actively supervises numerous PhD students and postdoctoral researchers. He is Principal Investigator (PI) or Co-Investigator (CI) on multiple major grants, including EPSRC Programme Grants, Royal Society Fellowships, and Horizon Europe projects. His funded research spans topics such as game theory, verification, synthesis, reinforcement learning, and risk analysis. He has hosted visiting researchers and collaborated internationally with institutions in Germany, France, India, Taiwan, and the US. Labs and Teams: He co-founded and led the Verification Group and previously led the AI Section at the University of Liverpool. These groups focus on formal methods, automata, games, and their applications in AI and safety-critical systems.

Siegfried NijssenView profile

Assistant Professor

• Data Mining
• Pattern Mining
• Exploratory Data Analysis
• +5 more

Siegfried Nijssen is an Assistant Professor of Data Mining and Artificial Intelligence at the Catholic University of Louvain (UCLouvain) in Belgium, working within the ICTEAM research institute's Artificial Intelligence and Algorithms group. He has been at UCLouvain since 2016, previously serving as an Assistant Professor at University Leiden (2012-2016) and completing postdoctoral work at KU Leuven (2006-2015). He earned his PhD in Computer Science from University Leiden in 2006. His research focuses on making data analysis simpler through intersections between pattern mining, exploratory data analysis, and programming paradigms in Artificial Intelligence, particularly constraint programming and probabilistic programming. He has developed techniques for analyzing diverse data types including graphs, networks, and multi-relational data. His work bridges theoretical foundations with practical applications in decision tree learning, probabilistic networks, and source code analysis. Nijssen's recent publications demonstrate a strong focus on optimal decision trees, constraint-based pattern mining, and applications in bioinformatics and education. His research shows consistent evolution from foundational graph mining work (including the Gaston algorithm developed in 2004) to current work integrating machine learning with constraint programming for interpretable AI solutions. As an educator, he teaches courses including Mining Patterns in Data, Databases, and Artificial Intelligence and Machine Learning seminars at UCLouvain. He has advised numerous PhD students and postdocs, primarily in collaboration with Pierre Schaus, with former students like Tias Guns now holding professorships.

Xiaoyuan XieView profile

Professor

• software testing
• fault localization
• AI for software engineering
• +6 more

Xiaoyuan Xie is a Professor at the School of Computer Science, Wuhan University, where he leads a research group focused on software engineering, particularly in software testing, fault localization, and the intersection of AI and software engineering. His work bridges theoretical foundations with practical applications in software quality assurance and development processes. His research interests span software testing, fault localization, program slicing and analysis, debugging techniques, search-based software engineering, evolutionary computing, and machine learning applications in software engineering. He has pioneered work in metamorphic testing, particularly for AI systems, and developed innovative approaches for fault localization that consider exception trigger streams and parallel debugging contexts. Xie's publication trend shows a strong focus on applying AI techniques to software engineering problems, with recent work emphasizing metamorphic testing for AI systems, code search, debugging assistance, and fault localization enhanced by deep learning. His research bridges traditional software engineering with modern AI techniques, creating novel solutions for testing and debugging complex software systems. ICST 2025 Most Influential 10-years Journal First Paper Award Multiple ACM SIGSOFT Distinguished Paper Awards (2024, 2022, 2021) CCF Open Source Innovation Competition First Prize 2024 CCF NASAC Software Innovation Award for Young Researchers 2021 ACM SIGEVO HUMIES 2017 Silver Medal Luojia Young Scholar, Wuhan University 2016 Professor Xie has supervised numerous PhD and Master's students who have gone on to prestigious positions at companies like Alibaba, Tencent, and ByteDance, as well as academic institutions including Yale University and the Hong Kong University of Science and Technology. His research is supported by multiple national grants, including NSFC重点项目 (key projects), 国家重点研发计划 (key R&D programs), and the Research Fund for International Excellent Young Scientists from NSFC.

David LoView profile

Professor

• AI for Software Engineering
• Mining Software Repositories
• Data Mining
• +4 more

David Lo is the OUB Chair Professor of Computer Science and the founding Director of the Center for Research in Intelligent Software Engineering (RISE) at Singapore Management University. He has held significant leadership roles including General Chair of MSR'22 and ASE'16, and Program Committee Co-Chair for ASE'20, FSE'24, and ICSE'25. Lo has championed the field of AI for Software Engineering (AI4SE) since the mid-2000s, demonstrating how data mining, machine learning, information retrieval, natural language processing, and search-based algorithms can transform software engineering data into actionable insights and automation. His research spans Mining Software Repositories (MSR), large language models for code, software testing, smart contract analysis, and developer tooling. His recent publications reveal a strong focus on the intersection of large language models and software engineering, with particular attention to code generation, evaluation, documentation, and the practical implications of AI tools for developers. His work increasingly addresses economic efficiency, privacy concerns, and human factors in AI-assisted development. Two Test-of-Time awards Eleven ACM SIGSOFT/IEEE TCSE Distinguished Paper awards ACM Fellow IEEE Fellow ASE Fellow National Research Foundation Investigator (Senior Fellow) Lo has supervised numerous students and collaborated extensively across the software engineering community. His work on Mining Software Repositories has led to practical tools and insights that have shaped the field. He regularly contributes to major conferences and has served in leadership roles across ASE, ICSE, and FSE communities. As founding Director of the Center for Research in Intelligent Software Engineering (RISE) at SMU, Lo leads a research group focused on advancing AI techniques for software engineering problems, with emphasis on practical applications that address real developer pain points.

Xiaofei XieView profile

Assistant Professor

• Program Analysis
• Software Testing
• Vulnerability Detection
• +4 more

Xiaofei Xie is an Assistant Professor in the School of Computing and Information Systems at Singapore Management University (SMU), where he has been employed since 2022. Prior to this position, he was a postdoctoral researcher at Nanyang Technological University in Singapore from 2018 to 2021. His research primarily focuses on program analysis, software testing, vulnerability detection, and quality assurance of AI systems. SMU is ranked No. 9 (No. 5 in Asia) in the Software Engineering category according to CSRankings. Dr. Xie's research interests span multiple critical areas in software engineering and AI systems. His work on program analysis includes detecting non-termination bugs and developing practical methods like EndWatch for real-world software. In software testing, he has made significant contributions to deep learning systems testing, autonomous driving systems testing, and smart contract security. His research on vulnerability detection encompasses various aspects of AI security, including backdoor attacks, adversarial examples, and security testing for web-based deep learning frameworks. His quality assurance work for AI systems includes developing metrics for robustness evaluation and creating testing methodologies for diverse AI applications. Dr. Xie's publication record shows a strong trend toward integrating large language models with traditional software engineering techniques. His recent work demonstrates increasing focus on testing autonomous systems, securing AI models, and applying advanced machine learning techniques to traditional software engineering problems. The research spans multiple domains including deep learning frameworks, smart contracts, autonomous driving systems, and federated learning environments. Among his notable achievements are multiple ACM SIGSOFT Distinguished Paper Awards (ASE 2019, ASE 2023, ISSTA 2022), the ACM Tianjin Doctoral Dissertation Award 2019, and the Best Paper Award at APSEC 2020. His work has been accepted to top-tier conferences including ICSE, FSE, ASE, ISSTA, and security venues like USENIX Security. Dr. Xie actively serves the academic community as a PC co-chair for ICECCS 2025 and as a program committee member for numerous prestigious conferences including ICSE, FSE, ASE, ISSTA, and AAAI. He has also organized workshops such as the Workshop on AI and Software Testing/Analysis (AISTA) and served as Guest Editor for special issues on AI security. His service demonstrates leadership in bridging software engineering with AI and security research communities.

Alessio GambiView profile

Researcher

• Software Engineering
• Software Testing
• Self-Driving Cars
• +4 more

Alessio Gambi is a Researcher at the Austrian Institute of Technology (AIT) within the Security & Communication Technologies department, specializing in software engineering for autonomous systems. His current work focuses on testing methodologies for self-driving cars, self-adaptive systems, and cloud environments. His research interests center on Software Testing for Autonomous Vehicles , where he develops novel techniques for scenario generation, safety validation, and uncertainty management. Key areas include search-based procedural content generation, simulation-based testing, and the integration of large language models for test learning. His work bridges theoretical advances with practical tools like Flexcrash and TEASER for real-world validation. Analysis of his recent publications (2023-2025) reveals a strong trend toward autonomous vehicle testing with increasing incorporation of AI techniques. Approximately 60% of his work addresses self-driving car validation, 25% focuses on general software testing methodologies, and 15% explores AI/LLM applications in testing. His subfield specialization shows consistent emphasis on critical scenario generation, mixed-traffic simulation, and safety monitoring. Gambi actively contributes to the software engineering community through program committee roles at major conferences including ASE (2023-2025), ICSE (2024-2026), ISSTA (2021-2025), and ESEC/FSE. He has served as session chair, workshop organizer, and track committee member across these venues, demonstrating leadership in software testing research. His professional activities include developing open-source testing tools (visible on GitHub), teaching engagements like the Database Systems course at AIT (2024), and industry collaborations through AIT's research infrastructure. Current projects focus on predictive safety monitoring and uncertainty management for automated driving systems.

Zhi JinView profile

Professor

• Requirements Engineering
• Self-Adaptive Systems
• Learning from Source Code
• +5 more

Zhi Jin is a Professor in the Department of Computer Science and Technology at Peking University, where he has been employed since 2009. Previously, he served as a professor at the Academy of Mathematics and System Sciences, Chinese Academy of Sciences from 1994-2009. He received his BS from Zhejiang University in 1984 and MS/PhD from National University of Defense Technology in 1984 and 1992 respectively. He progressed from assistant professor (1992) to associate professor (1995) to full professor (2001). His research focuses on knowledge engineering and software engineering, with special interests in knowledge graphs, self-adaptive systems, and deep learning applications. Current research directions include Self-Adaptive Software in Human-Cyber-Physical Systems, Crowd-based Requirements Engineering, and Learning from both Natural Language and Programming Language. His work bridges theoretical knowledge engineering with practical software development challenges. His recent publications demonstrate a strong trend toward applying large language models and AI techniques to traditional software engineering problems, particularly in requirements engineering, code generation, and vulnerability detection. The articles span multiple high-impact venues including ASE, ICSE, and RE, with significant focus on aerospace applications and multi-agent collaboration approaches. Scientific honors include: Winner of National Science Fund for Distinguished Young Scholars (2006) Project 973 project lead scientist (2014) Member of Discipline Appraisal Group of the Academic Degree Commission (2015) Multiple ACM Distinguished Paper Awards He serves in numerous editorial roles including Associate Editor for IEEE Transactions on Software Engineering (2018-present) and IEEE Transactions on Reliability (2019-present). He is also an Editorial Board Member for Empirical Software Engineering and Requirements Engineering Journal, and holds leadership positions in the China Computer Federation. His extensive conference service includes PC membership for ICSE, FSE, RE, and other major software engineering venues.

Reid HolmesView profile

Professor

• Software Engineering
• Software Testing
• Code Search
• +7 more

Reid Holmes is a Professor in the Software Practices Lab at the University of British Columbia's Department of Computer Science, Faculty of Science. With over 15 years of academic experience, he has progressed from Assistant Professor at the University of Waterloo (2010-2015) to Associate Professor (2015-2022) and now full Professor (2022-present) at UBC. His research spans multiple dimensions of software engineering with a strong emphasis on the human aspects of development. Dr. Holmes' research interests focus on understanding the problems software engineers encounter when creating and evolving software systems. His work examines software testing and validation, source code reuse, code search, context-sensitive example location, API understanding, speculative analysis, code review, and team awareness. He believes that by better understanding how people create, explore, evolve, and reason about software systems, we can enhance developers' effectiveness and improve software quality. His research is characterized by its practical application to real-world software development challenges. His recent publications demonstrate a consistent focus on improving developer productivity through better tools and understanding of developer behavior. The publications reveal a trajectory from traditional software engineering topics toward newer areas involving AI-assisted development, with particular attention to how generative AI affects workflow and collaboration. His work consistently bridges theoretical software engineering concepts with practical developer experience considerations. ACM SIGSOFT Distinguished Paper Award (multiple times) FSE 2024 Most Impactful Paper Award 2024 ICSE Most Influential Paper Award Winner of the 2008 MSR Mining Challenge As an educator and mentor, Dr. Holmes has supervised numerous graduate students who have gone on to successful careers in academia and industry. He has served on program committees for major software engineering conferences including ICSE, FSE, and MSR, and has been an Associate Editor for TSE since 2016. His work on developer tools like CodeShovel, Devy, and Baker demonstrates his commitment to creating practical solutions that address real developer pain points.

Reyhaneh JabbarvandView profile

Assistant Professor

• Neural Program Analysis
• Software Testing
• Bug Localization
• +4 more

Reyhaneh Jabbarvand is an Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, where she leads the Intelligent CAT Lab. Her research focuses on improving software quality, reliability, and maintenance through neuro-symbolic approaches that combine AI techniques with formal methods. Her research interests span Neural Program Analysis, Software Testing (with emphasis on mobile apps and autonomous software), Bug Localization, and Applied Optimization for Software Analysis. She has made significant contributions to the fields of energy testing for Android applications, neuro-symbolic approaches for code analysis, and large language models for software engineering tasks. Dr. Jabbarvand's recent publications reveal strong trends in applying machine learning to software engineering problems, particularly using neuro-symbolic methods to bridge the gap between deep learning and formal program analysis. Her work on code translation, test flakiness, and test oracle generation demonstrates her focus on practical applications of AI in software development workflows. Google PhD Fellowship in Programming Technology and Software Engineering Rising Star in EECS NSF CAREER Award Dr. Jabbarvand has received research funding from multiple sources including NSF, IBM Research, and C3.ai. She actively mentors students through her Intelligent CAT Lab and has served on numerous program committees for major software engineering conferences including ICSE, FSE, and ISSTA. She teaches courses on Advanced Topics in Software Engineering, ML for Code, and Software Engineering I. Her lab focuses on neuro-symbolic approaches to software engineering problems, bringing together PhD, undergraduate, and high school students to tackle challenges in AI-assisted software development and testing.

Muhammad Bilal ZafarView profile

Professor

• Human-Centric AI/ML
• Fairness in Machine Learning
• Explainable Artificial Intelligence
• +3 more

Professor Muhammad Bilal Zafar holds a faculty position at Ruhr University Bochum (RUB), where he heads the Chair of AI and Society within the Research Center for Trustworthy Data Science and Security. He is also a Principal Investigator (PI) at the Cluster of Excellence CASA and a member of the Horst Görtz Institute for IT Security. Previously, he worked as a Senior Applied Scientist at Amazon Web Services and a Research Scientist at Bosch Center for Artificial Intelligence. He completed his PhD at the Max Planck Institute for Software Systems (MPI-SWS) and Saarland University, advised by Krishna P. Gummadi and Manuel Gomez Rodriguez. His research focuses on human-centric AI/ML, emphasizing fairness, explainability, and robustness of AI systems. Key contributions include mechanisms for fair classification, bias detection in algorithms, and trustworthy AI applications. He actively engages in mentoring PhD and Master’s students, with current openings for candidates in Computer Science, Mathematics, and related fields. His work bridges theoretical advancements with practical solutions for ethical AI deployment. Notable collaborations include projects with AWS and Bosch, addressing challenges in algorithmic fairness and AI transparency. His publications span top venues like ACL, KDD, NeurIPS, and WWW, highlighting contributions to both foundational and applied aspects of AI ethics.