Find Academic Supervisors

Daniel GroßeView profile

Professor

• Formal Verification
• Hardware Verification
• Electronic Design Automation
• +3 more

Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.

Yu HuangView profile

Assistant Professor

• Software Engineering
• Human Factors
• AI for Software Engineering
• +7 more

Dr. Yu Huang is an Assistant Professor in the Department of Computer Science at Vanderbilt University's School of Engineering, with a secondary appointment in the Department of Teaching and Learning at the Peabody School of Education. She is affiliated with the Institute for Software Integrated Systems, the Frist Center for Autism and Innovation, the Vanderbilt Lab for Immersive AI Translation (VALIANT), and the Vanderbilt LIVE Learning Innovation Incubator. Her academic journey began with a BS in Aerospace Engineering from Harbin Institute of Technology in China (2011), followed by an MS in Computer Engineering from the University of Virginia (2015), and culminated with a PhD in Computer Science and Engineering from the University of Michigan in 2021 under Professor Westley Weimer. Dr. Huang's research bridges human cognition and machine intelligence to enhance software development. Her work spans software, hardware, AI, medical imaging (fMRI/fNIRS), eye tracking, and mobile sensing through collaborations with Security, Education, Psychology, and Neuroscience researchers. She leads the MIND Lab (Mixed INtelligence Development for programming lab), investigating programming expertise formation, code comprehension processes, cognitive error patterns, and diversity in programming communities. Her innovative approach combines empirical human studies with AI model development to create more effective programming tools. Her recent publications reveal a growing emphasis on leveraging human attention data to improve code language models, analyzing cognitive biases in security contexts, and examining social factors in technical communication. The research shows strong interdisciplinary connections between neuroscience, psychology, and software engineering, with increasing applications of LLMs in developer tooling. Dr. Huang's work consistently demonstrates how understanding human cognition can inform better AI systems for programming tasks. Dr. Huang has received numerous prestigious recognitions including the 2025 ICPC Vaclav Rajlich Early Career Achievement Award and three ACM SIGSOFT Distinguished Paper Awards (ICSE 2019, FSE 2023, ICSE 2024). Her lab has earned the Best Presentation Award at GI2024, while her students have received the Richard Bennett/Dorothy Danforth Compton Prize scholarship and the C. F. Chen Best Paper award. She actively mentors a diverse team of graduate students (Yifan Zhang, Zach Karas, Zihan Fang, Yueke Zhang, Jiahao Zhang) and undergraduate researchers, with many former students advancing to top institutions (Stanford, Harvard, Duke, UC Berkeley) and organizations (NASA JPL). Her research is supported by a 4-year NSF grant, GitHub Tech for Social Good funding, and the Provost's Faculty Immersion Vanderbilt Grant, enabling comprehensive studies of human-AI collaboration in software engineering. The MIND Lab maintains a strong collaborative culture, frequently working with Professor Kevin Leach's research group and organizing retreats to locations like Radnor State Park and the Great Smoky Mountains. This environment fosters innovation at the intersection of human cognition and software engineering while supporting the professional development of emerging researchers in the field.

Cuiyun GaoView profile

Professor

• Software Repository Mining
• Natural Language Processing
• Code Analysis
• +5 more

Cuiyun Gao is a Full Professor and PhD Supervisor at the School of Computer Science and Technology, Harbin Institute of Technology, Shenzhen. She has established herself as a prominent researcher in the intersection of artificial intelligence and software engineering. Her educational background includes a PhD from the Chinese University of Hong Kong (completed in 2018), followed by postdoctoral work at CUHK and a Research Fellowship at Nanyang Technological University. She also had a visiting period at University College London supervised by Prof. Mark Harman and Prof. Federica Sarro. Dr. Gao's research primarily focuses on Software Repository Mining, Natural Language Processing, Code Analysis, Large Language Models, Source Code Understanding, User Review Analysis, Vulnerability Detection, and Mobile Advertising Analysis . Her work bridges the gap between traditional software engineering practices and modern AI techniques, particularly in the context of code intelligence and software maintenance. Her recent publications (2024-2025) demonstrate a strong emphasis on Large Language Models for code-related tasks, including code generation, optimization, vulnerability detection, and software engineering applications. Her research shows a clear trend toward addressing practical challenges in integrating LLMs into the software development lifecycle while maintaining code quality and security. Scientific Awards: Distinguished Paper Award at ASE 2023 Best Paper Award of the Track at ICSE 2024 Distinguished Paper Award at ICSE 2024 Dr. Gao actively supervises multiple PhD and Master's students, contributing to the next generation of software engineering researchers. She has served on numerous conference committees including FSE, ISSTA, ICSE, ASE, and SANER. Her research has received significant attention in the software engineering community, with multiple papers published in top-tier venues like FSE, ICSE, ASE, and TSE. Her lab appears to be actively engaged in both theoretical research and practical applications, particularly in the context of WeChat and other industry collaborations, demonstrating strong industry-academia connections.

Chang XuView profile

Professor

• Big data software engineering
• Intelligent software testing and analysis
• Adaptive and autonomous software systems
• +3 more

Chang Xu is a Professor and Ph.D. supervisor at Nanjing University, affiliated with the State Key Laboratory for Novel Software Technology, School of Computer Science, and Institute of Computer Software (ICS). He has been a full-time faculty member since 2010, when he joined as an associate professor and was later promoted to full professor in 2015. Education: Ph.D. from The Hong Kong University of Science and Technology (HKUST) in 2008 (advisor: Prof. S.C. Cheung) M.Eng. from Institute of Software, Chinese Academy of Sciences (ISCAS) in 2003 B.Eng. from University of Science and Technology of China (USTC) in 2000 Research Interests: Professor Xu's research focuses on big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. His recent work centers on constructing and providing runtime support for intelligent software in open environments, with emphasis on inconsistency detection and resolution for environments, and quality assurance for adaptive, concurrent, learning-based, smartphone-based, and spreadsheet-based applications. His work bridges theoretical foundations with practical applications in software engineering, particularly in program analysis, software testing, and self-adaptive systems. Scientific Awards: ACM SIGSOFT Distinguished Paper Award from ICSE 2025 Best Student Paper Award from EUROSYS 2025 ACM Distinguished Member in 2024 Best Paper Award from SOSP 2023 Best Paper Candidate from ISSRE 2022 Yangtze River Scholar by the Ministry of Education in 2021 Multiple ACM SIGSOFT Distinguished Paper Awards from conferences including ASE, ICSE National Science and Technology Progress Award (Second Class) in 2011 Academic Service and Advising: Professor Xu has served on numerous program committees for top software engineering conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He is an editorial board member for several journals including Journal of Computer Science and Technology and Frontiers of Computer Science. He has supervised numerous Ph.D. and MSc students, with research topics spanning program analysis, software testing, self-adaptive systems, and more. His students have gone on to successful careers in both academia and industry. Research Groups: Professor Xu is associated with the SPAR research group at Nanjing University and the CASTLE research group at HKUST, focusing on software analysis, reliability, and testing.

Stefan WrobelView profile

Professor

• Machine Learning
• Data Mining
• Artificial Intelligence
• +3 more

Prof. Stefan Wrobel is a Professor of Computer Science at the University of Bonn and Director of the Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS). He holds leadership roles, including Co-Director of the Lamarr Institute for Machine Learning and Artificial Intelligence and Managing Director of the Bonn-Aachen International Center for Information Technology (b-it). His research focuses on AI, machine learning, and big data applications in industry and society. He earned his PhD from the University of Dortmund and has held academic positions at Magdeburg University and Berlin Technical University. Active in national/international AI initiatives, he chairs the Fraunhofer Strategic Research Field on Artificial Intelligence and co-leads the Machine Learning Rhine-Ruhr (ML2R) Competence Center. Education: Master's (Georgia Tech), PhD (University of Dortmund). Research emphasizes intelligent algorithms, data analysis, and AI ethics. Awarded GI-Fellow (2022) and honored by the German Computer Science Society for contributions to AI history. Key roles include Editorial Board member of Machine Learning journals and advisory roles in AI ethics and certification. Scientific contributions span over 100 publications in machine learning, data mining, and visual analytics. Advised numerous PhD students on topics like graph mining and trustworthy AI. Leadership in institutions like Fraunhofer Technology Hub for Machine Learning and the German Computer Science Society's Special Interest Group on Knowledge Discovery.

• Building Information Modeling (BIM)
• Civil Engineering Informatics
• Tunneling and Underground Construction
• +5 more

Markus König is a Professor of Informatics in Civil Engineering at Ruhr University Bochum, where he has been researching and teaching since October 2009. His work focuses on Building Information Modeling (BIM), digital construction technologies, and civil engineering informatics, with significant contributions to the development and implementation of digital methods in German construction industry. Dr. König earned his degree in civil engineering with a focus on applied computer science at Leibniz University Hannover, where he also completed his doctorate on cooperative building planning at the Institute for Building Informatics. He subsequently held a junior professorship for Theoretical Methods of Project Management at Bauhaus University Weimar before joining Ruhr University Bochum. His research spans multiple cutting-edge areas including Building Information Modeling (BIM), construction process simulation, tunneling informatics, infrastructure asset management, and the application of artificial intelligence and computer vision in civil engineering. As chair of the Building Informatics Working Group from 2012-2016, he played a key role in developing the first national BIM curriculum for German universities and serves as editor of the book 'Building Information Modeling: Technological Foundations and Industrial Practice.' Analysis of his recent publications reveals a strong trend toward semantic technologies, digital twins, automated compliance checking, and the integration of AI in construction processes. His work increasingly focuses on information containers, ontology development, and the application of large language models to infrastructure data, reflecting the evolving landscape of digital construction. Dr. König's significant contributions to digital construction have been recognized with prestigious awards: Lower Saxony-Bremen Construction Industry Award (2017) for 'services in the development and introduction of digital construction in Germany' Konrad Zuse Medal (2020) While specific details about his advising and grant activities aren't explicitly mentioned in the provided text, his extensive publication record with numerous co-authors suggests active supervision of doctoral students and research staff. His involvement in multiple collaborative research projects is evident from his publication history. At Ruhr University Bochum, Professor König leads a research group focused on civil engineering informatics, with particular emphasis on BIM, digital construction technologies, and their application across the building lifecycle. His team appears to work at the intersection of computer science and civil engineering, developing innovative solutions for construction process optimization, infrastructure management, and digital transformation of the AEC industry.

Michael WeyrichView profile

Professor

• Industrial Automation
• Digital Twins
• Large Language Models (LLMs)
• +7 more

Prof. Michael Weyrich is a faculty member at the Institute of Industrial Automation and Software Engineering (IAS) within the University of Stuttgart , leading the Cluster of Excellence IntCDC . His academic rank is Professor, and he focuses on Industrial Automation , Digital Twins , and Large Language Models (LLMs) for manufacturing and automotive systems. His research explores integrating LLMs into industrial automation for adaptive control, cloud offloading of vehicle functions, and semantic interoperability via Asset Administration Shells . He investigates modular production architectures , connected vehicle systems , and synthetic data generation for autonomous machinery. Recent publications highlight LLM-driven production planning , dynamic sensor calibration , and machine learning for fault detection in electric vehicle powertrains. His work emphasizes real-time data modeling and flexible microservice orchestration .

Xin PengView profile

Professor

• Software Analytics
• Intelligent Software Development
• Microservice
• +4 more

Xin Peng is a Professor and Deputy Dean at the School of Computer Science, Fudan University, China. He leads the CodeWisdom research team focusing on intelligent software engineering techniques for development, maintenance, and operation of software systems. His educational background includes a PhD in Computer Science (2001-2006) and Bachelor's degree in Computer Science (1997-2001), both from Fudan University. He progressed through the academic ranks from Assistant Professor (2006-2010) to Associate Professor (2010-2015) and finally to Professor (2015-present). Professor Peng's research interests span Software Analytics, Intelligent Software Development, Microservice systems, and AIOps. His work leverages AI technologies including deep learning and knowledge graphs to develop intelligent software engineering techniques. A significant portion of his recent work focuses on applying Large Language Models to various software engineering tasks, including vulnerability detection, API usage analysis, and test automation. His publication record shows a clear trend toward increasingly sophisticated applications of AI in software engineering, with recent work heavily featuring LLMs for tasks ranging from vulnerability patch porting to resource leak detection. The research spans multiple domains including microservice systems, automotive software, and Web of Things security. Best Paper Award of ICSM 2011 ACM SIGSOFT Distinguished Paper Award of ASE 2018 and 2021 IEEE TCSE Distinguished Paper Award of ICSME 2018, 2019, and 2020 IEEE Transactions on Software Engineering Best Paper award for 2018 Professor Peng serves in numerous leadership roles including Deputy Director of CCF Technical Committee on Software Engineering, Co-Editor-in-Chief of Journal of Software: Evolution and Process, and Associate Editor for ACM Transactions on Software Engineering and Methodology. He has been actively involved in program committees for major software engineering conferences including ICSE, ASE, ESEC/FSE, and ICSME. He leads the CodeWisdom research team at Fudan University, which has developed several benchmark systems including TrainTicket for microservice research. The team's work bridges academic research with industrial applications, particularly in microservice systems analysis and intelligent software development tools.

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +3 more

Min Peng is a Professor at Wuhan University's School of Computer Science. His research focuses on artificial intelligence, machine learning, natural language processing, and knowledge graphs. He has collaborated extensively with institutions like Hefei University of Technology and the University of Chinese Academy of Sciences. His work bridges theoretical advancements in AI with practical applications in finance, social media analysis, and network optimization. Recent contributions include neural-symbolic reasoning frameworks, contrastive learning for knowledge graphs, and financial benchmarking with large language models. Research interests emphasize scalable machine learning models for complex reasoning tasks, explainable AI, and domain-specific applications in finance and social networks. Over 100 publications span venues like WWW, ACL, and NeurIPS, highlighting interdisciplinary impact. Notable projects include SymAgent (neural-symbolic agent frameworks), PIXIU (financial LLM benchmark), and DTC (commonsense machine comprehension). Key technical trends include integrating large language models with structured data, temporal knowledge graph reasoning, and transfer learning across domains. His work often addresses real-world challenges in data efficiency, interpretability, and cross-domain scalability. Current efforts explore financial LLMs, agent-based reasoning systems, and multimodal applications. While no specific grants or awards are listed in the provided data, his prolific publication record indicates sustained research excellence. Collaboration networks include teams in computer science, electrical engineering, and finance disciplines.

Yingfei XiongView profile

Associate Professor

• Software Engineering
• Programming Languages

Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.

Shuvendu K. LahiriView profile

Researcher

• Formal Verification
• Smart Contracts
• Program Synthesis
• +5 more

Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.

Niina ZuberView profile

Researcher

• Ethical Software Design
• Digital Ethics
• Agile Software Development
• +6 more

Niina Zuber is a Research Coordinator at the Bavarian Institute for Digital Transformation (bidt), focusing on ethical software design, agile development processes, and the intersection of digital technologies with democratic systems. Her work emphasizes integrating ethical principles into technical systems through frameworks like EDAP (Ethical Deliberation for Agile Processes). PhD in Ethics and Software Development (LMU Munich) Former roles: Research Consultant (Cognostics AG), LMU Munich, Center for Digitalization Bavaria (ZD.B) Key projects: EDAP, ReCREATIV, AI Gender Bias Dialogue Her research spans: ethical requirements management, value-sensitive design, AI's impact on creativity, facial recognition regulation, and digital responsibility frameworks. She regularly contributes to academic publications and public discourse on digital ethics. Scientific Contributions: Co-developed EDAP framework for ethical agile software processes Investigated ethical challenges in large language models (Vox ChatGPT) Explored gender bias in AI systems Studied generative AI's impact on creative industries Contributed to regulatory discussions on facial recognition Zuber collaborates across disciplines, connecting philosophy with technical implementation through projects like EDAP and publications in journals such as Philosophy & Technology and Informatics Spectrum.

• Media Pedagogy
• Media Didactics
• Adaptive Learning Systems
• +3 more

Luisa Wellert is a Research Associate at the Innovative Educational Technologies Department within the Tübingen Center for Digital Education (TüCeDE) at the University of Tübingen since September 2023. She is also a PhD student at TüCeDE since October 2022. Education: Master of Arts in Intermedia and General Educational Science (2020-2022) from University of Cologne Bachelor of Arts in Media Studies and Educational Science (2016-2019) from University of Tübingen Research Focus: Her work centers on media pedagogy , media didactics , and adaptive learning systems , with particular emphasis on AI integration in educational contexts. Recent projects examine automated qualitative coding of AI tutoring dialogues using large language models and effectiveness of self-developed adaptive systems in schools. Publications: Recent work analyzes assessment methodologies in adaptive learning systems, compares performance-based and cognitive load-based evaluation approaches, and explores implementation challenges of DIY adaptive technologies. She actively contributes to open-source AI tutoring initiatives through the OSATI project. Presentations: Luisa presents her research at major conferences including EARLI, LEAD Research Meeting, and GEBF Conference, focusing on practical implementations of AI-based educational tools and their cognitive impacts. Professional Activity: Prior to her current role, she served as Project Manager for Educational Research at TüCeDE (2022-2023) and worked as a Research Assistant at mmb Institut GmbH (2021-2022) and mecodia GmbH (2018-2020). She also has experience in media education and empirical media research.

Christian WolffView profile

Professor

• Multimedia Information Systems
• Text Mining
• Digital Humanities
• +6 more

Christian Wolff is a University Professor and Chair of Media Informatics at the Institute for Information and Media, Language and Culture at the University of Regensburg. Since April 2022, he has served as the founding Dean of the Faculty of Computer Science and Data Science, while maintaining secondary membership in the Faculty of Languages, Literature and Cultural Studies (SLK). His academic career spans over three decades with significant contributions to multiple disciplines at the intersection of computer science and humanities. Wolff's research interests center around multimedia and multimodal information systems, electronic publishing, and text technology, particularly text mining. His work bridges computer science with digital humanities, legal informatics, and social media analysis. Recent publications demonstrate a strong focus on large language models, sentiment analysis applications across various domains, legal technology innovations, and virtual reality research for cognitive studies. His interdisciplinary approach has produced significant contributions in both technical and humanities domains. His recent publication trends reveal a strategic shift toward applied AI research, particularly in legal technology (LegalTech), social media analysis, and sentiment analysis using large language models. The publications show increasing collaboration across disciplines, connecting computer science with law, political science, literature, and psychology. His work on the digital basis document for legal proceedings represents a major practical application of his research in the German justice system. East Bavarian Cultural Prize Doctoral Award of the University of Regensburg Wolff has led numerous interdisciplinary research projects connecting computer science with humanities and legal studies. His leadership extends to institutional roles including Dean of Research, Vice Dean, and Dean of Faculty positions. He has been instrumental in establishing the new Faculty of Computer Science and Data Science at the University of Regensburg, demonstrating significant impact on institutional development and research infrastructure. Wolff directs research initiatives focused on text technology, digital humanities, and legal informatics. His work with the INDIGO - Internet and Digitization Eastern Bavaria initiative and the TRIO project demonstrates commitment to regional technology transfer and innovation. The interdisciplinary nature of his research groups connects computer scientists with legal scholars, linguists, and social scientists to address complex digital transformation challenges.

Lionel C. BriandView profile

Professor

• Software Engineering
• Software Verification and Validation
• Trustworthy AI
• +6 more

Lionel C. Briand is a Professor of Software Engineering with shared appointments at the University of Luxembourg's SnT Centre for Security, Reliability, and Trust and the School of Electrical Engineering and Computer Science at the University of Ottawa. He holds a Canada Research Chair (Tier 1) in Intelligent Software Dependability and Compliance and serves as Director of Lero, Ireland's national software research center. His academic leadership spans over 25 years of collaborative research with industry partners across automotive, aerospace, energy, financial, and legal domains. Professor Briand's research focuses on software verification and validation, trustworthy AI systems, model-driven engineering, and empirical software engineering methodologies. His work bridges theoretical foundations with industrial applications, particularly in cyber-physical systems where machine learning components interact with safety-critical control systems. He has pioneered techniques for testing AI-enabled systems, GDPR compliance automation, and mutation analysis for space systems. His publication portfolio demonstrates consistent innovation in software testing, with recent emphasis on large language models for test generation, automated compliance checking, and safety analysis of deep neural networks. Key trends include black-box testing methodologies, metamorphic testing for security, and search-based approaches for DNN validation. IEEE Fellow and ACM Fellow IEEE Computer Society Harlan Mills Award (2012) ACM SIGSOFT Outstanding Research Award (2022) IEEE Reliability Society Engineer-of-the-Year Award (2013) ERC Advanced Grant recipient (2016) Fellow of the Academy of Science, Royal Society of Canada (2023) ICSE 2011 Most Influential Paper Award As Director of Lero and holder of a Canada Research Chair, Professor Briand leads major research initiatives including an ERC Advanced Grant on cyber-physical system modeling and testing. His industrial collaborations generate substantial grant funding, particularly in automotive safety validation and regulatory compliance automation. He mentors numerous researchers through his dual appointments and serves on program committees for top software engineering conferences. Professor Briand directs research activities at the SnT Centre's SVV department, focusing on software verification and validation. His team develops practical tools like MASS for space system mutation analysis and COREQQA for compliance requirements understanding, with strong industry adoption in automotive and aerospace sectors.