جست‌وجوی استاد و پژوهشگر

Michael Pradelمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Bug Detection
• +۵ مورد دیگر

Michael Pradel is a full professor in the Computer Science Department at the University of Stuttgart and faculty member at CISPA Helmholtz Center for Information Security (effective September 2025), where he leads the Software Lab. He is also affiliated with the International Max Planck Research School for Intelligent Systems and the Stuttgart ELLIS Unit, reflecting his interdisciplinary research approach. His research interests focus on software engineering, particularly program analysis, bug detection, and the application of machine learning to developer tools. Pradel's recent work increasingly explores LLM-based approaches for program repair, code analysis, and automated software development, as evidenced by projects like RepairAgent and ExecutionAgent. Pradel's publication record shows a clear trend toward integrating AI techniques with traditional software engineering methods, with recent papers focusing on LLM applications for program repair, change validation, and quantum software analysis. His work bridges theoretical foundations with practical tool development, as seen in frameworks like DyLin for Python analysis and LintQ for quantum programs. Ernst-Denert Software Engineering Award Emmy Noether grant (1.3 million Euro) by the DFG ERC Starting Grant (1.5 million Euro) Multiple ACM SIGSOFT Distinguished Paper Awards ACM Distinguished Member recognition Pradel actively mentors PhD students, with recent graduates including Matteo (specializing in quantum software) and Luca (focusing on software evolution). His group has received significant funding and maintains strong industry connections, including past sabbaticals at Facebook. He serves in leadership roles for major conferences, including PC co-chair for FSE 2027, demonstrating his standing in the software engineering community. The Software Lab maintains active collaborations with institutions worldwide, including CMU, Google, KAIST, and several European universities.

• Cell Biology
• Membrane Trafficking
• Cellular Imaging
• +۵ مورد دیگر

Derek Toomre is a Professor of Cell Biology at Yale School of Medicine and Director of the YALE 'CINEMA' Laboratory (Cellular Imaging using New Microscopy Approaches). He holds primary appointments in the Department of Cell Biology and has extensive affiliations across Yale University including Biochemistry, Quantitative Biology, Biophysics and Structural Biology (BQBS), Cancer Signaling Networks, Diabetes Research Center, and the Yale Cancer Center. His interdisciplinary work bridges cell biology, biophysics, and advanced imaging technology. Professor Toomre earned his PhD (1996) and MS (1992) from the University of California, San Diego. His research focuses on developing and applying advanced optical methods to understand polarized membrane trafficking and the spatial-temporal control of endo-exocytosis. He specializes in Total Internal Reflection Fluorescence Microscopy (TIRFM) and 4D (3D+time) multicolor spinning-disk confocal imaging to study cellular processes at the single-vesicle level. His work has significant implications for understanding cell polarity in both normal physiology and disease processes such as cancer metastasis. Analysis of Professor Toomre's recent publications (2017-2025) reveals a strong focus on membrane trafficking mechanisms, super-resolution imaging techniques, and the development of novel imaging tools. His research spans multiple disciplines including cell biology, neuroscience, oncology, and biophysics, with particular emphasis on vesicle dynamics, protein sorting, and advanced microscopy method development. He consistently publishes in high-impact journals including Nature Communications, Cell, and Nature Biotechnology. Scientific Awards: Kavli Fellow (2008) - US National Academy of Sciences NIH Director New Innovator Award (2007) Professor Toomre directs the CINEMA Laboratory, which is supported by the Ludwig Institute for Cancer Research (LICR), various federal grants, Yale University, and private sector funding. His laboratory has implemented multicolor TIRFM instruments, 4D spinning disk confocal microscopy, and electrophysiology instrumentation to advance cellular imaging capabilities. He collaborates extensively both within Yale (particularly with Biomedical Engineering) and internationally to develop novel software for cellular analysis and computational modeling. Professor Toomre's laboratory provides students and researchers with opportunities to work at the cutting edge of cellular imaging technology, combining biological questions with advanced quantitative approaches to understand fundamental cellular processes.

Xin Zhangمشاهده پروفایل

استادیار

• Programming Languages
• Software Engineering
• Program Analysis
• +۶ مورد دیگر

Xin Zhang serves as an Assistant Professor in the Department of Computer Science and Technology within the School of Electronics Engineering and Computer Science at Peking University. His academic profile demonstrates deep engagement with programming languages and software engineering research communities through active participation in major conferences including ASE, SPLASH/OOPSLA, PLDI, and ICSE. Dr. Zhang's research focuses on the synergistic relationship between program analysis and machine learning. He investigates how ML/AI techniques can enhance traditional program analysis methods while simultaneously developing program analysis approaches to improve the interpretability, fairness, robustness, and safety of AI systems. His work spans probabilistic program analysis, abstraction refinement techniques, Bayesian modeling for program semantics, and applications of graph neural networks to static analysis problems. His publication record shows consistent contributions to top venues from 2016 through 2025, with recent work emphasizing Bayesian program analysis, abstraction refinement methods, and the intersection of formal methods with machine learning. The trajectory of his research demonstrates increasing sophistication in combining traditional program analysis techniques with modern AI approaches. Dr. Zhang actively contributes to the academic community as a program committee member for major conferences including ASE, SAS, PLDI, and SPLASH. His service includes reviewing, session chairing, and committee participation across multiple venues, reflecting his standing in the programming languages and software engineering communities.

Ali Mesbahمشاهده پروفایل

استاد

• Software Engineering
• AI-driven Software Analysis
• Software Testing
• +۵ مورد دیگر

Ali Mesbah is a Professor in the Department of Electrical and Computer Engineering at the University of British Columbia (UBC), where he leads the SALT lab. His research focuses on software engineering with emphasis on AI-driven software analysis, software testing, and software evolution. Previously, he was a Visiting Research Scientist at Google during 2017-2018. Dr. Mesbah received his BSc/MSc (2003) and PhD (2009) degree cum laude in Computer Science from the Delft University of Technology (TUDelft). After completing a postdoctoral fellowship with the Software Engineering Research Group at TUDelft and a Visiting Researcher position at Fujitsu Laboratories of America, he joined UBC in 2011. His research interests span software engineering with particular focus on AI-driven software analysis, software testing, software evolution, program comprehension, fault localization and repair. His work has significant applications in web application testing, JavaScript analysis, and automated program repair. He has pioneered techniques for testing modern web applications, analyzing JavaScript code, and leveraging AI for software maintenance tasks. His recent publications demonstrate a clear evolution toward integrating large language models with traditional program analysis techniques, focusing on test generation, bug repair, and understanding multi-hunk patches. His work bridges theoretical software engineering concepts with practical applications, particularly in web technologies and AI-assisted development. Amazon Research Award (2023) Killam Accelerator Research Fellowship (KARF) (2020) Killam Faculty Research Prize (2019) NSERC Discovery Accelerator (DAS) award (2016) ACM Distinguished Paper Awards at ICSE (2009, 2014) IEEE Distinguished Paper Award at ICST (2018) Best Paper Award at ESEM (2015) Best Paper Award at ICWE (2013) Dr. Mesbah has advised numerous PhD and MASc students, many of whom have gone on to positions at leading technology companies including Google, Amazon, Apple, Microsoft, and SAP. His research has been supported by various grants including the Amazon Research Award and NSERC funding. He leads the SALT lab at UBC, which focuses on software analysis, testing, and learning, with current research directions including AI-driven software engineering, web application testing, and program repair. The lab maintains active collaborations with industry partners and academic institutions worldwide.

Yintong Huoمشاهده پروفایل

استادیار

• Log analysis
• Code intelligence
• Intelligent software engineering
• +۷ مورد دیگر

Yintong Huo is an Assistant Professor at the School of Computing & Information Systems, Singapore Management University (SMU), where he leads research in intelligent software engineering. He received his PhD from The Chinese University of Hong Kong (CUHK) in 2024 under Prof. Michael R. Lyu and holds a Bachelor's degree from the University of Electronic Science and Technology of China. His research focuses on empowering AI models (particularly LLMs) for software development, testing, and operations, with two flagship projects: LogPAI (open-source AI platform for automated log analysis) and WebPAI (multimodal intelligence for automatic webpage development). His work spans log analysis, code intelligence, UI generation from prototypes, and configuration diagnostics. Huo's publication record shows strong trends in leveraging multimodal LLMs for practical software engineering challenges, with recent work on interactive webpage generation (Interaction2Code), configuration logging (ConfLogger), and log parsing (LILAC). His research bridges theoretical AI advancements with real-world system reliability needs. ICSE Distinguished Reviewer Award (2025) ISSRE Distinguished Reviewer Award (2024) IEEE Open Software Services Award (2022) ACM SIGSOFT CAPS Travel Grants National Scholarship (2019) Huo actively supervises PhD students (including Shi Ying Chang and Dan Huang) and research engineers. His lab has secured funding for multiple projects including WebPAI and LogPAI. He serves on program committees for major conferences (ASE, ICSE, FSE) and reviews for top journals. Current projects include dynamic webpage generation and configuration diagnostics, with ongoing work on small language models for logging systems. Huo leads the LogPAI and WebPAI research groups, developing open-source tools for automated log analysis and multimodal UI code generation. The LogPAI project has garnered over 3,000 GitHub stars and 70,000 downloads. His team collaborates with industry partners on AIOps challenges and is expanding into configuration diagnostics through the ConfLogger project.

Hui Liuمشاهده پروفایل

استاد

• Software Engineering
• AI-based Software Development
• LLM-based Program Generation
• +۵ مورد دیگر

Hui Liu is a Professor in the School of Computer Science and Technology at Beijing Institute of Technology, where he leads research in AI-based software development with a focus on LLM applications. His work spans software refactoring, quality improvement, and maintenance, funded by the National Natural Science Foundation of China and the National Key Research and Development Program of China. PhD from Peking University (2008) Former graduate student at Software Engineering Institute, Peking University Distinguished member of China Computer Federation Secretary-General of CCF Technical Committee on Software Engineering Professor Liu's research centers on LLM-based program generation, evaluation and testing of large language models, software refactoring techniques, and automatic construction of software engineering datasets. His work bridges artificial intelligence and software engineering, with particular emphasis on improving code quality through empirical studies and machine learning techniques. Current projects include code contamination detection, context-aware naming recommendations, and refactoring validation using LLMs. His research has evolved from traditional code smell detection to cutting-edge applications of large language models in software development. Liu's publication record shows a strong trend toward LLM applications in software engineering, with recent work focusing on code review generation, commit message generation, and refactoring validation using large language models. His research combines empirical methods with machine learning approaches, often analyzing large code corpora from open-source projects. The work spans both theoretical foundations and practical tool development, with several contributions merged into Eclipse as part of the open-source community. ACM Distinguished Paper Award (ESEC/FSE 2023) ACM Distinguished Paper Award (ICSE 2022) RE'2021 Best Research Paper Award IET Software Premium Award (2018) New Century Excellent Talents in University (2013) Beijing Higher Education Young Elite Teacher (2013) Professor Liu actively mentors PhD and Master's students, with recent graduates including Waseem Akram (awarded Outstanding Graduate) and several students publishing at top venues. His research is supported by major Chinese funding agencies, and he serves on program committees for leading software engineering conferences including ASE, ICSE, and FSE. He maintains strong industry connections through contributions to Eclipse and studies of open-source ecosystems like Rust. Liu leads a research group focused on AI for software engineering, with active projects on code generation, refactoring, and quality improvement. The group collaborates extensively with international researchers and contributes directly to open-source tools, particularly in the Eclipse ecosystem where multiple refactoring improvements have been merged.

Shangwen Wangمشاهده پروفایل

استادیار

• Program repair
• Program comprehension
• Mining software repositories
• +۳ مورد دیگر

Shangwen Wang is an Assistant Professor in the School of Computer Science at National University of Defense Technology (NUDT) in Changsha, China. He earned his Bachelor's degree in June 2017, Master's degree in December 2019, and Ph.D. in December 2023, all from NUDT. During his graduate studies, he was supervised by Professor Xiaoguang Mao. From May 2022 to July 2023, he was a visiting student at Southern University of Science and Technology under Professor Yepang Liu. His educational background includes: Ph.D. in Software Engineering, NUDT (2020.3-2023.12), supervised by Prof. Xiaoguang Mao Visiting Scholar, SUSTech (2022.5-2023.7), supervised by Prof. Yepang Liu M.A. in Software Engineering, NUDT (2017.9-2019.12), supervised by Prof. Xiaoguang Mao B.A. in Software Engineering, NUDT (2013.9-2017.6) Wang's research focuses on program repair, program comprehension, mining software repositories, software maintenance and evolution, software testing, and AI for Software Engineering. His work bridges traditional software engineering techniques with modern AI approaches, particularly leveraging large language models for various software engineering tasks. He has made significant contributions to automated program repair, fault localization, vulnerability detection, and code generation. His research demonstrates a strong emphasis on empirical validation and practical applicability to real-world software development challenges. His recent publications show a clear trend toward integrating large language models with traditional software engineering tasks. The 15 most recent articles reveal a focus on applying LLMs to program repair, fault localization, vulnerability detection, and code generation, while maintaining strong empirical foundations. His work spans both theoretical advancements and practical tool development, with applications in software security, testing, and maintenance. His notable achievements include: CCF Outstanding Doctoral Dissertation (CCF优博) 2024 Outstanding Doctoral Graduates, NUDT, 2023 Multiple distinguished paper awards including ACM SIGSOFT Distinguished Paper Award (ISSTA'24) and IEEE TCSE Distinguished Paper Awards (ICSME'22, SANER'22) Prestigious scholarships from NUDT throughout his academic career As an active member of the software engineering community, Wang serves on numerous program committees for top conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He has also contributed to teaching as a teaching assistant for courses such as Compiler, Python Programming, Discrete Mathematics, and C++ Programming. His research group appears to be actively mentoring students, as evidenced by his role as corresponding author on multiple student-led publications. Wang maintains an active research presence with collaborations across multiple institutions in China. His work demonstrates a clear trajectory from traditional program analysis techniques toward integrating cutting-edge AI approaches, particularly large language models, into software engineering practices.

Minxue Panمشاهده پروفایل

استاد

• Software Modelling and Verification
• Software Analysis and Testing
• Cyber-Physical Systems
• +۵ مورد دیگر

Minxue Pan is a Professor and PhD supervisor at the Software Institute, State Key Laboratory for Novel Software Technology, Nanjing University, China. His research focuses on the dependability of complex software systems, with expertise spanning software modeling and verification, software analysis and testing, cyber-physical systems, mobile computing, and intelligent software engineering. Ph.D. in Computer Science and Technology from Nanjing University (2014), supervised by Prof. Xuandong Li B.Sc. from Nanjing University Studied at UC Berkeley's Department of Electrical Engineering and Computer Sciences (2009-2010) under Prof. Edward A. Lee Professor Pan's research interests center on improving software dependability through innovative approaches to modeling, analysis, and testing. His work spans traditional software systems, mobile applications (particularly Android), cyber-physical systems, and the application of AI techniques to software engineering problems. He has made significant contributions to GUI testing, vulnerability detection, and deep learning applications in software engineering. His recent publications (2024-2025) demonstrate a strong focus on applying advanced machine learning techniques to software testing and security challenges. Key trends include leveraging large language models for test migration, enhancing fault localization with graph learning and contrastive learning, developing specialized frameworks for Android security analysis, and improving test efficacy through GUI and functional equivalence. His work consistently targets real-world industrial settings and addresses practical challenges in mobile and complex software systems. ISSTA 2020 Distinguished Paper Award ICSE 2025 Best Artifact Award Professor Pan actively advises graduate students and has developed several notable tools including Q-testing (reinforcement-learning based Android testing), ISDChecker (model checking for interrupt-driven systems), PREFEST (preference-wise testing for Android), Sketchoid (GUI code search), and PI-REC (hand-drawn draft conversion). His research is supported by extensive publication records in top-tier software engineering venues including ASE, ICSE, FSE, ISSTA, and TOSEM. He teaches undergraduate courses in Advanced Programming with C++, Software System Design, and Software Construction, as well as graduate courses in Advanced Software Design. His laboratory work focuses on developing practical solutions for real-world software dependability challenges through the State Key Laboratory for Novel Software Technology.

Lars Grunskeمشاهده پروفایل

استاد

• Software Engineering
• Automated Software Engineering
• Systems Verification
• +۴ مورد دیگر

Lars Grunske is a Professor in the Department of Computer Science at Humboldt University of Berlin, Germany. His academic career spans multiple institutions across Germany, Australia, and internationally, with a strong focus on research and conference participation in software engineering. His educational background includes a PhD in computer science from the University of Potsdam (Hasso-Plattner-Institute for Software Systems Engineering) in 2004. Professor Grunske's research interests center on modeling and verification of systems and software, with particular emphasis on automated analysis techniques. His work primarily focuses on probabilistic and timed model checking and model-based dependability evaluation of complex software intensive systems. He has made significant contributions to software testing, program repair, formal methods, and the application of machine learning techniques to software engineering problems. His publication record shows consistent contributions to top software engineering conferences over the past decade, with recent work exploring the intersection of AI/ML with traditional software engineering challenges. His research demonstrates an evolution from foundational model checking techniques toward more practical applications in software testing and repair. Boeing Postdoctoral Research Fellow Professor Grunske actively mentors through conference activities including chairing mentoring circles at ICSE 2021. He serves on numerous program committees for major software engineering conferences including ASE, ICSE, ESEC/FSE, and others, demonstrating his standing in the academic community. His involvement spans multiple roles from committee member to track chair and award committee positions. He maintains an active research laboratory focused on software verification and testing, as indicated by his departmental affiliation and research website.

Shiva Nejatiمشاهده پروفایل

استاد

• Software Testing and Verification
• Cyber Physical Systems
• Applications of AI to Software Engineering
• +۴ مورد دیگر

Shiva Nejati is a Professor at the School of Electrical Engineering and Computer Science at the University of Ottawa, where he leads research in software engineering with a focus on verification and analysis of cyber-physical systems. Previously, he served as a senior scientist (2012-2019) at the SnT Center, University of Luxembourg, and as a scientist (2009-2012) at the Simula Research Laboratory. He earned his M.Sc. and Ph.D. from the University of Toronto in 2003 and 2008, respectively. His research interests span Software Testing and Verification, Cyber Physical Systems, Applications of AI to Software Engineering, and Search-based Software Engineering. Nejati's work draws on techniques from formal software modeling, meta-heuristics optimization, machine learning, system engineering, and empirical methods. He has extensively worked on testing and fault localization of cyber physical systems, particularly applied to autonomous vehicles and IoT systems, while also exploring requirements traceability, automated configuration of product line systems, and simulation modeling of CPS. His recent publications demonstrate a strong trend toward integrating artificial intelligence with traditional software verification techniques, particularly for complex cyber-physical systems. His work bridges search-based testing with formal verification methods to address the challenges of testing compute-intensive models in domains like autonomous vehicles and satellite systems. The research shows increasing focus on applying machine learning to solve longstanding problems in software testing and requirements engineering. Nejati serves in significant leadership roles across major software engineering conferences, including PC Chair for ASE 2026, General Chair for CASCON 2026, and various program committee and organizing committee roles for ICSE, ISSTA, MODELS, and other top-tier conferences. He is also an Associate Editor for EMSE Journal and ASE Journal, and previously served on the IEEE Transactions on Software Engineering editorial board. He teaches advanced courses including 'AI-enabled Software Verification and Testing' and 'Software Construction' at the University of Ottawa, while leading the Sedna lab which focuses on verification, analysis, and testing of complex systems. His research is conducted in close collaboration with industry partners across telecommunication, maritime, energy, automotive, and aerospace sectors.

Andreas Zellerمشاهده پروفایل

استاد

• Software Analysis and Testing
• Automated Debugging
• Mining Software Archives
• +۳ مورد دیگر

Andreas Zeller serves as Professor for Software Engineering at Saarland University and faculty at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. His dual appointments position him at the intersection of academic research and practical cybersecurity applications, contributing significantly to both institutions' research profiles. Professor Zeller's research spans multiple dimensions of software quality assurance, with particular expertise in automated debugging techniques, mining software repositories for insights, specification mining, and security testing methodologies. His work consistently bridges theoretical foundations with practical implementation, resulting in tools and frameworks adopted widely in both research and industry contexts. Analysis of his recent publications reveals an evolutionary trajectory from foundational debugging work toward increasingly sophisticated grammar-based testing approaches, with notable integration of machine learning techniques in recent years. His research demonstrates consistent focus on improving software reliability through automated analysis, with growing emphasis on security applications including XML injection testing, GNSS module security, and binary file format vulnerabilities. Recipient of two ERC Advanced Grants (including the S3 project) ACM Fellow ACM SIGSOFT Outstanding Research Award Professor Zeller has successfully secured substantial research funding through competitive mechanisms including ERC grants, enabling his team to pursue ambitious research agendas. His leadership extends to mentoring through his roles as doctoral symposium co-chair and active participation in new faculty development initiatives. He maintains strong engagement with the research community through numerous program committee memberships and conference organization roles. At CISPA Helmholtz Center for Information Security, Zeller contributes to the center's mission through research focused on software security testing and analysis. His work on grammar-based testing and fuzzing directly addresses critical security challenges in modern software systems, with practical applications for improving software resilience against attacks.

Austin Mordahlمشاهده پروفایل

استادیار

• Static Analysis
• Taint Analysis
• Automated Testing
• +۴ مورد دیگر

Austin Mordahl is an Assistant Professor in the Department of Computer Science at the University of Illinois Chicago. His research focuses on improving the usability and reliability of software quality assurance tools, particularly static analyses and fuzz testing. Dr. Mordahl actively seeks students interested in cutting-edge research in software engineering at UIC. Dr. Mordahl's research interests span multiple areas of software engineering with a particular emphasis on: Static Analysis and Taint Analysis for software security Automated Testing techniques including fuzz testing Improving the usability and reliability of software quality assurance tools Configurable static analysis tools and their behavior Applying machine learning to triage and configure static analysis tools Lifting static analysis to work on software product lines Improving evaluations of fuzz testing tools His recent publications demonstrate a strong focus on addressing challenges in configurable static analysis tools, with particular attention to nondeterministic behavior, configuration spaces, and automatic testing and debugging approaches. Mordahl's work bridges theoretical foundations with practical applications, aiming to make software quality assurance tools more accessible and effective for developers. Dr. Mordahl has received several prestigious awards for his work: NSF Graduate Research Fellowship Awardee (2020) Eugene McDermott Graduate Research Fellowship Awardee (2020) ICSE 2019 Student Research Competition Winner Dr. Mordahl is actively involved in mentoring and seeks students interested in software engineering research. He has served on numerous program committees for top software engineering conferences including ICSE, ASE, ISSTA, and PLDI. His service to the academic community extends to artifact evaluation committees, demonstrating his commitment to research reproducibility and rigor.

Jooyong Yiمشاهده پروفایل

دانشیار

• Program Analysis
• Program Repair
• Software Testing
• +۳ مورد دیگر

Jooyong Yi is an Associate Professor in the Department of Computer Science and Engineering at UNIST (Ulsan National Institute of Science and Technology). He leads the LOFT (Lab of Software), focusing on autonomous techniques for software reliability in AI-generated code environments. Research Interests: His work spans program analysis, automated repair, testing/debugging, and verification. Core themes include developing scalable methods for bug detection (via static/dynamic analysis), AI-compatible repair systems, and verification frameworks for safety-critical systems. Recent emphasis integrates fuzzing techniques with repair validation. Publication Trends: His 15 most recent works (2015-2025) show progression from foundational program repair techniques (e.g., Angelix, DirectFix) toward AI-era innovations: greybox fuzzing for efficiency, memory-leak repair for web frameworks, and deep-learning library testing. Over 50% of publications focus on optimizing repair validation and scalability. Awards: ACM Distinguished Paper Award at ASE 2023 Students & Grants: Currently advises 5 PhD, 1 MS/PhD, and 2 MSc students. Secured ₩20B+ in funding for projects including: MSIT Binary Micro-Security Patch Technology (2024-2026) Patch Validation for Automated Repair (2023-2026) AI-Powered Low-Code Platform (2023-2025) Memory-Safe Language Integration (2024-2027) Lab: LOFT lab develops verified repair tools (e.g., LeakPair, Verifix) and benchmarks (BUGSC++), prioritizing human oversight in AI-generated software.

Zhongxin Liuمشاهده پروفایل

استادیار

• Intelligent Software Engineering
• AI for Software Engineering
• Code Intelligence
• +۵ مورد دیگر

Zhongxin Liu is a Distinguished Research Fellow (Assistant Professor) and Doctoral Supervisor at the College of Computer Science and Technology, Zhejiang University. He received his Ph.D. from Zhejiang University under the supervision of Prof. Shanping Li. His research focuses on intelligent software engineering (AI4SE), particularly using AI to help developers understand, write, change, and test code through learning from software "big data". His educational background includes: Ph.D. in Computer Science, Zhejiang University (2016-2021) Dr. Liu's research interests center around intelligent software engineering with emphasis on code intelligence, program analysis, and software testing. His work leverages machine learning, particularly large language models, to solve challenging problems in software development including code generation, bug localization, and test case generation. He has made significant methodological contributions to the field through his innovative approaches to understanding and improving the software development lifecycle. His recent publications (2024-2026) demonstrate a clear trend toward leveraging large language models for software engineering tasks, with particular focus on code generation, fault localization, and program analysis. The research spans multiple domains including vulnerability detection, smart contract development, and cross-domain code search, showing how AI can enhance traditional software engineering practices. Dr. Liu has received numerous prestigious awards for his contributions: ACM SIGSOFT Distinguished Paper Award (ISSTA 2025, ASE 2018-2020) Distinguished Paper Award (APSEC 2023) Zhejiang University Education Foundation Qizhen Scholar (2021) Distinguished Doctoral Thesis of Zhejiang University (2021) As a Doctoral Supervisor at Zhejiang University, Dr. Liu mentors graduate students in intelligent software engineering. He serves on program committees for major conferences including ICSE, ASE, and FSE. His research group actively recruits undergraduate interns, graduate students, and postdocs to work on code intelligence projects. Dr. Liu is also scheduled to be a Visiting Professor at the University of Stuttgart from October 2024 to January 2025. Dr. Liu leads a vibrant research group at Zhejiang University focused on advancing AI-powered tools for software development. His work bridges theoretical advances in machine learning with practical applications in software engineering, creating novel solutions that help developers be more productive and produce higher quality code.

Masud Rahmanمشاهده پروفایل

دانشیار

• Software Engineering
• Artificial Intelligence for Software Engineering (AI4SE)
• Software Maintenance and Evolution
• +۱۱ مورد دیگر

Masud Rahman is an Associate Professor in the Faculty of Computer Science at Dalhousie University, Canada, where he leads the RAISE Lab. Previously a tenure-track Assistant Professor, he completed his Ph.D. in Computer Science/Software Engineering from the University of Saskatchewan and a postdoctoral fellowship at Polytechnique Montreal. His academic career demonstrates strong progression with significant research impact in software engineering. Faculty of Computer Science, Dalhousie University (Current) University of Saskatchewan (Ph.D. studies) Polytechnique Montreal (Postdoctoral research) Dr. Rahman's research focuses on the intelligent automation of software maintenance and evolution, particularly targeting software debugging, code search, and code reviews. His work strategically combines Software Engineering with Artificial Intelligence techniques including Machine/Deep Learning, Information Retrieval, Mining Software Repositories, and Natural Language Processing. His industry experience as a professional developer for three years significantly shaped his research direction toward solving practical software maintenance challenges that cost the global economy billions annually. His research program addresses critical problems in software bug detection, diagnosis, explanation, and reproduction, with increasing focus on AI-powered and simulation modeling software. His publications demonstrate consistent output in top-tier venues including 7 papers at ICSE (A*), 3 at FSE (A*), 3 at ASE (A*), 8 at EMSE (A), 6 at ICSME (A), and 9 at MSR (A). The research trends show increasing focus on deep learning applications for software engineering problems, with particular attention to code search, bug localization, and debugging automation. His work has evolved from traditional information retrieval approaches to incorporate advanced neural network techniques and generative AI. Governor General's Gold Medal 2019 U of S Doctoral Thesis Award 2019 CS Best PhD Thesis Award 2019 TCSE Distinguished Paper Award Most Influential Paper Award Dr Keith Geddes Award Dalhousie Belong Research Fellowship President's Gold Medal (Bangladesh) Dr. Rahman has secured $500K+ in competitive research funding as Principal Investigator, including an NSERC Discovery Grant, Mitacs Accelerate International, and Climate Action and Awareness Fund. He actively collaborates with industry partners including Metabob Inc., Mozilla Firefox, and Vendasta Technologies. His service to the community includes extensive program committee work for major conferences and journal reviewing. He leads the RAISE Lab, which focuses on developing AI-powered solutions for software maintenance challenges, with current projects emphasizing sustainable software innovation and sustainable AI as part of Dalhousie's strategic goals.