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

Christian Wolffمشاهده پروفایل

استاد

• Multimedia Information Systems
• Text Mining
• Digital Humanities
• +۶ مورد دیگر

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.

Yingfei Xiongمشاهده پروفایل

دانشیار

• 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. Lahiriمشاهده پروفایل

پژوهشگر

• Formal Verification
• Smart Contracts
• Program Synthesis
• +۵ مورد دیگر

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.

Ghazaleh Tabatabaiمشاهده پروفایل

استاد

• Neuro-Oncology
• Glioma Biology
• Meningioma Research
• +۵ مورد دیگر

Professor Ghazaleh Tabatabai serves as Head of Department for Clinical and Experimental Neuro-Oncology at the Hertie Institute for Clinical Brain Research, University of Tübingen. She leads a multidisciplinary research group focused on translational neuro-oncology with active collaborations through the German Glioma Network, German Cancer Consortium (DKTK), European Organisation for Research and Treatment of Cancer (EORTC), European Association of Neuro-Oncology (EANO), and International Consortium on Meningioma (ICOM). Her research program centers on molecular mechanisms of tumorigenesis, therapy resistance, and treatment-induced vulnerabilities in nervous system tumors. The laboratory employs CRISPR screening technologies, molecular profiling, and preclinical models to identify therapeutic targets, with particular expertise in glioma and meningioma biology. Current projects span from discovery through validation to clinical application, including phase I/II trials of novel therapies such as CureVac's mRNA vaccine candidate CVGBM. Recent publications demonstrate leadership in molecular classification of meningiomas, CRISPR-based target discovery, immunotherapy development, and clinical trial design. Her work on the TRACE app for patient-reported outcomes and the PRIDE trial for dose-escalated radiation therapy represents significant clinical translation efforts. The 2024-2025 publication record shows strong productivity with high-impact papers in Neuro-Oncology, Nature Medicine, and Genome Biology. Elected spokesperson of the DFG Board for Neuroscience (2024) Active participation in EANO guideline development Leadership in multiple international consortia including ICOM Principal investigator for clinical trials including N2M2/NOA-20 umbrella trial Professor Tabatabai mentors a large research team including PhD students, medical doctoral candidates, and postdoctoral researchers. Her laboratory maintains active clinical collaborations across neurosurgery, radiation oncology, and medical oncology departments. She is featured in the 'Key To My Research' podcast discussing tumor intelligence and regularly presents at major neuro-oncology conferences including ASCO, EANO, and SNO.

Jörg Hackermüllerمشاهده پروفایل

استاد

• Bioinformatics
• Omics Data Analysis
• Toxicology
• +۳ مورد دیگر

Prof. Dr. Jörg Hackermüller is a computational biologist with expertise in Omics data integration Toxicology Environmental risk assessment Non-coding RNA biology . He serves as Head of the Department of Computational Biology and Chemistry at the Helmholtz Centre for Environmental Research (UFZ) since 2024 and holds a Professorship at the Faculty of Mathematics and Computer Science at Leipzig University since 2021. His research focuses on Developing AI methods for chemical toxicity prediction Multi-omics integration for mechanistic toxicology Data standardization in environmental monitoring Non-coding RNAs as biomarkers in disease and toxicity and has produced 15+ recent publications spanning tools like multiGSEA and deepFPlearn+ . He collaborates with teams across UFZ Leipzig University Novartis Fraunhofer Institute and leads projects like InCeTo and SafePol , integrating exposome research with systems biology.

Lionel C. Briandمشاهده پروفایل

استاد

• Software Engineering
• Software Verification and Validation
• Trustworthy AI
• +۶ مورد دیگر

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.

Bihuan Chenمشاهده پروفایل

دانشیار

• Software Engineering
• Software Supply Chain Security
• Program Analysis
• +۴ مورد دیگر

Bihuan Chen is an Associate Professor at the College of Computer Science and Artificial Intelligence, Fudan University, specializing in software engineering with focus on software supply chain security and trustworthy AI systems. His research spans multiple programming languages including JavaScript, Python, Java, and C/C++ across application and AI domains. Dr. Chen earned his B.Sc. and Ph.D. in Computer Science from Fudan University in 2009 and 2014 respectively, followed by postdoctoral research at Nanyang Technological University (2014-2017). His research interests include software supply chain risk assessment, trustworthy AI systems, and program analysis. His recent publications demonstrate strong focus on malicious package detection in NPM/PyPI ecosystems, vulnerability patch porting using LLMs, and safety verification for autonomous driving systems. The work shows increasing integration of machine learning techniques with traditional program analysis approaches, particularly evident in the 2024-2025 publications that leverage LLMs for vulnerability detection and code refinement. ACM SIGSOFT Distinguished Paper Award (FSE 2016, ASE 2018, ASE 2022, FSE 2025) IEEE TCSE Distinguished Paper Award (ICSME 2020, SANER 2023) CCF Prototype Competition Awards (2nd and 3rd Prizes) Dr. Chen has advised over 50 students including current PhD candidates and notable alumni now at Huawei, ByteDance, and other leading tech firms. His fuxi platform assesses security, legal, and maintenance risks across the software engineering lifecycle. He serves on program committees for major conferences including ICSE, FSE, ASE, and ISSTA, and as Associate Editor for the Journal of Software: Evolution and Process.

Jie M. Zhangمشاهده پروفایل

استادیار

• Software Testing
• AI for Software Engineering
• Software Engineering for AI
• +۵ مورد دیگر

Jie M. Zhang is an Assistant Professor in the Department of Informatics at King's College London, specializing in the intersection of software engineering and artificial intelligence. Her research focuses on two main directions: AI for Software Engineering (leveraging AI technologies to automate software tasks) and Software Engineering for AI (applying SE principles to enhance AI system trustworthiness). Her educational background includes a PhD in Computer Science from Peking University, where she was supervised by Professors Lu Zhang and Dan Hao. Prior to joining King's College London, she was a Research Fellow at University College London working with Professor Mark Harman and Professor Federica Sarro. Dr. Zhang's research interests center on software testing, machine learning trustworthiness, fairness testing, bias mitigation in AI systems, and program analysis. Her work particularly examines how large language models can be utilized for code generation, test case creation, and program repair, while also developing techniques to detect and fix issues within AI models. Her recent publications demonstrate strong trends in evaluating and enhancing the trustworthiness of AI-generated code, with specific emphasis on fairness testing across various domains including autonomous driving systems, machine translation, and decision-making software. Her research increasingly focuses on the efficiency of generated code and detecting hallucinations in large language models. 2025 ACM Sigsoft Early Career Researcher Award for pioneering contributions to software engineering for AI IEEE TSE 2024 Best Paper Award for 'Stealthy Backdoor Attack for Code Models' FSE 2025 Distinguished Paper Award Royal Society International Exchange Grant recipient NMES Enterprise & Engagement Partnerships Fund recipient Dr. Zhang has served in numerous leadership roles across major software engineering conferences including as General Chair for AIware 2025, Area Chair for ASE 2025, and Steering Committee Member for ICST. She has advised multiple PhD students and received significant research funding for her work on LLMs and software engineering. Her research group collaborates with industry partners including Huawei and Facebook, and she leads projects such as ITEA GENIUS and ITEA GreenCode. She is actively involved with King's College London research hubs including the Trusted Autonomous Systems Hub, Security Hub, and Software Systems group, where her work contributes to developing trustworthy AI systems across multiple domains.

• Business Informatics
• Artificial Intelligence
• Business Intelligence
• +۱۰ مورد دیگر

Prof. Dr. Harald Ritz serves as Professor of Practical Computer Science, especially Business Informatics, at the Technical University of Central Hesse (THM) within the Department of Mathematics, Natural Sciences and Computer Science since 2003. He holds leadership roles as Chair of Examination Committees for B.Sc. and M.Sc. Business Information Systems and Spokesperson for the MNI department in the Business Informatics Working Group (AKWI). His educational background includes a Diplom in Business Informatics (Dipl.-Wirtsch.-Inform.) and doctorate (Dr. rer. pol.) from the Technical University of Darmstadt, following professional experience at SAP SI AG and a professorship at Heilbronn University of Applied Sciences. Ritz's research centers on AI-driven digital transformation for data-driven enterprises, with focus on the “Data to Decision” value chain encompassing Framing, Allocation, Analytics, and Preparation phases. His work integrates business intelligence, data warehousing, machine learning, and SAP ecosystems to address challenges in SME digitalization, operational IT management, and educational technology. Current projects emphasize AI applications in higher education, including intelligent tutoring systems and automated feedback mechanisms. Analysis of his 15 most recent publications reveals a consistent trajectory toward applied AI solutions in business contexts, particularly in intelligent chatbots for educational support, financial trading algorithms, and cloud-based data infrastructure. The research demonstrates increasing integration of no-code platforms, real-time analytics, and domain-specific AI applications across logistics, banking, and procurement sectors. No scientific awards were documented in the source materials. Professor Ritz actively supervises academic development through bachelor’s and master’s theses, doctoral research, and collaborative projects. Current initiatives include the “Winfy” AI chatbot (v4.0, 2025), AI-based feedback systems for educational content (Freiraum 2025 grant), the frits intelligent tutoring project with Prof. Kammer, and doctoral research on AI adoption in SMEs. His work bridges theoretical research with practical implementation in SAP environments and cloud platforms. He operates within THM’s MNI department infrastructure, collaborating through the Business Informatics Working Group (AKWI) and contributing to the Digital Classroom communication platform for online education.

Amr Rizkمشاهده پروفایل

استاد

• Networking
• Communication Systems
• Network Calculus
• +۵ مورد دیگر

Professor Amr Rizk is the Director of the Networks and Communication Systems (NCS) Lab at the University of Duisburg-Essen, where he has been serving as Professor since April 2021. Previously, he was Assistant Professor at Ulm University (2019-2021) and completed his habilitation at TU Darmstadt in 2019. His academic journey includes research positions at prestigious institutions including University of Massachusetts Amherst, University of Warwick, and TU Darmstadt where he was an Athene Young Investigator. Professor Rizk's research spans multiple aspects of networking and communication systems with a particular focus on network performance analysis, stochastic modeling, and practical implementations. His work bridges theoretical foundations with real-world applications, especially in content delivery, video streaming, and network protocols. He has made significant contributions to network calculus, quality of experience optimization, and novel approaches to congestion control and caching mechanisms. His publication record demonstrates consistent high-impact contributions across top networking conferences and journals. Recent work shows a growing emphasis on programmable data planes, AI/ML applications in networking, and advanced techniques for network measurement and performance prediction. His research group at Duisburg-Essen maintains strong connections with both academic and industrial partners in the networking ecosystem. Best Paper Award at ACM MMSys Conference (2023) Distinguished TPC Member for IEEE INFOCOM (2020, 2022) Best Paper Award at ACM/USENIX Middleware Conference (2017) Athene Young Investigator Award, TU Darmstadt (2017) Professor Rizk serves as Associate Editor for Elsevier Computer Communications and has extensive experience with research funding bodies as a reviewer. His leadership extends to conference organization, including roles as PC Co-Chair for IEEE MIPR (2023) and Steering Committee member for Workshop on Network Calculus (2022). He maintains active participation in numerous top networking conferences as Technical Program Committee member, reflecting his standing within the international networking research community.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

• Business Administration
• Operations Research
• Supply Chain Management
• +۶ مورد دیگر

Prof. Dr. Julia Rieck is a Full Professor of Business Administration at the University of Hildesheim , leading the Department of Business Administration and Operations Research within the Faculty of Mathematics, Natural Sciences, Economics and Computer Science. As Dean of the Faculty , she oversees academic programs, quality management, and research initiatives. Her roles include academic advising for the Business Information Systems (B.Sc./M.Sc.) programs and active participation in examination boards and quality committees. Education: PhD in Political Science (Dr. rer. pol.) with summa cum laude (2008), Habilitation at Clausthal University of Technology (2014), and studies in Business Mathematics (Diploma, University of Hamburg, 2003) and Mathematics (Georg-August-University Göttingen, 2000). Research: Focuses on Operations Research , Supply Chain Management , Project Planning , and Logistics . Her work integrates mathematical modeling , machine learning , and real-world applications , particularly in disaster response , dynamic transportation , and sustainable e-commerce . Projects: Leads third-party funded initiatives like "IT für die sorgende Gesellschaft" (AI in healthcare/social sectors) and contributes to the HULLS real-lab (AI in aging societies). Collaborates with regional companies (e.g., Youco, ADITUS) and institutions (HAWK, University of Hannover). Teaching: Emphasizes practical application through case studies, industry partnerships, and the IT-Speed Dating event for student-company connections. Her courses cover project resource planning , logistics , and digital transformation . Labs & Teams: Active in the Institute of Business Administration & Business Information Systems , contributing to the KET Kompetenzwerkstatt (entrepreneurship support) and interdisciplinary teams in AI and sustainability research.

• Building Permit Processes
• Digital Building Permits
• Building Information Modeling
• +۴ مورد دیگر

Judith Fauth is a researcher at the Technical University of Munich's Chair of Computing in Civil and Building Engineering, where she pioneers digital transformation in building permit processes through Building Information Modeling (BIM) and digital twin technologies. Her work bridges civil engineering, computer science, and public policy to streamline regulatory compliance across international contexts. Her research expertise spans Building Permit Processes , Digital Building Permits , Ontology Engineering , and Process Modeling , with emphasis on developing standardized frameworks for global permit system benchmarking. She investigates how semantic technologies and digital twins can automate regulatory compliance while accommodating regional variations in construction law and administrative practices. Analysis of her 2023-2025 publications reveals three dominant trends: (1) integration of digital building permits with digital building logbooks for lifecycle data management, (2) development of ontologies like OBPA for automated permit reviews, and (3) creation of taxonomies and process models (e.g., PACE-BP framework) enabling cross-national comparisons of permit systems. This work increasingly incorporates sustainability metrics and stakeholder-specific KPIs. Within TUM's research infrastructure, Dr. Fauth contributes to the BIM Lab and Digital Twinning research groups, collaborating on projects involving Gaia-X-based data frameworks and semantic modeling of the built environment. She teaches practical software development skills through the SoftwareLab course, preparing engineering students for digital construction workflows.

Jürgen Citoمشاهده پروفایل

دانشیار

• Software Engineering
• Explainable AI
• Performance Engineering
• +۳ مورد دیگر

Jürgen Cito is an Associate Professor with tenure at Vienna University of Technology (TU Wien), specializing in software engineering, explainable AI, and performance engineering. He leads research at the IPA Lab (as indicated by his personal website) and maintains a visiting researcher position at Google. His academic journey began with joining TU Wien as an Assistant Professor in Spring 2020, with promotion to Associate Professor announced in April 2024. His research interests span multiple critical areas of modern software development, with particular focus on developer experience, program comprehension, and the intersection of AI with software engineering practices. His work bridges theoretical foundations with practical industrial applications, as evidenced by collaborations with major technology companies. Analysis of his recent publications reveals a strong emphasis on practical tools and methodologies that enhance software quality, performance, and security. His research trajectory shows increasing focus on explainable AI techniques applied to software engineering problems, performance prediction from source code, and automated security testing approaches that leverage large language models. best teaching award for distance learning for Web Engineering (2020) Cito actively contributes to the software engineering community through numerous conference committee roles, including program committee positions at ASE, ICSE, ESEC/FSE, and other major venues. His lab appears to focus on developer tools, program analysis, and AI-assisted software engineering, with connections to both academic and industrial research environments.

Gabriele Bavotaمشاهده پروفایل

دانشیار

• Software Quality
• Empirical Software Engineering
• Mining Software Repositories
• +۳ مورد دیگر

Gabriele Bavota is an Associate Professor at the Software Institute of Università della Svizzera Italiana (USI) in Lugano, Switzerland. He leads the SEART (Software Engineering Advanced Research Team) group and serves as Principal Investigator for the DEVINTA ERC starting grant focused on developer intelligence through mining software artifacts. Dr. Bavota's research spans Software Quality, Empirical Software Engineering, and Mining Software Repositories. His work has evolved from foundational studies on code smells and technical debt to cutting-edge research at the intersection of artificial intelligence and software development. He has made significant contributions to understanding API usage patterns, software quality metrics, and developer behavior through empirical studies of large software repositories. His recent publications reveal a strong focus on AI-assisted software development, with extensive research examining code generation, code summarization, and code review automation using large language models. He has also expanded his research to include quality assurance in game development (detecting game stuttering and low engagement events) and voice user interface testing. His work consistently bridges theoretical insights with practical applications for software developers. ACM SIGSOFT Distinguished Paper Award for API compatibility research (MSR 2019) ACM SIGSOFT Distinguished Paper Award for Hugging Face model documentation study (ICPC 2024) ACM SIGSOFT Distinguished Artifact Award for deep learning fault taxonomy (ICSE 2020) As an active member of the software engineering research community, Dr. Bavota serves on program committees for major conferences including ICSE, ASE, FSE, and MSR. He has held leadership roles such as Program Co-Chair for ICSME 2023 and Vision/Reflection Track Co-Chair for ICSE. His SEART research group develops practical tools like the SEART Data Hub that streamline large-scale source code mining and preprocessing for empirical software engineering research.