جستجوی استاد راهنمای دانشگاهی

• 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.

Zhenchang Xingمشاهده پروفایل

استاد پژوهش

• Software Engineering
• Responsible AI
• Human-Computer Interaction

Zhenchang Xing is a Research Professor at CSIRO's Data61 and holds a Hans Fischer Senior Fellowship at TUM-IAS. With a Ph.D. in Computer Science from the University of Alberta (2008), he previously served as Associate Professor at Australian National University and Assistant Professor at Nanyang Technological University. His research focuses on software engineering for AI systems and human-centered computing. Current projects include: Automated Software-Hardware Co-Design for AI Systems Software Supply Chain Security frameworks Data Bill of Materials (DataBOM) for verifiable data ecosystems Software Testing Knowledge Graph development Professor Xing has received 10 Distinguished Paper Awards from ACM and IEEE, including the 2005 Most Influential Paper Award for UMLDiff. His work combines software engineering with responsible AI development.

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.

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.

Shin Yooمشاهده پروفایل

استاد

• Software Testing
• Debugging
• Search-based Software Engineering
• +۷ مورد دیگر

Shin Yoo is a tenured Full Professor in the School of Computing at Korea Advanced Institute of Science and Technology (KAIST), where he leads the Computational Intelligence for Software Engineering (COINSE) research group. He received his PhD from King's College London in 2009 under the supervision of Prof. Mark Harman. Currently, he serves as the General Chair for ASE 2025, which will be held in Seoul, Korea. Professor Yoo earned his PhD in Computer Science from King's College London (2009), following an MSc in Software Engineering with Distinction from the same institution (2006). His academic journey includes positions as Tenured Associate Professor (2021-2025), Associate Professor (2018-2021), and Assistant Professor (2015-2018) at KAIST, as well as Lecturer and Research Associate positions at University College London and King's College London. His research focuses on the intersection of software engineering and artificial intelligence, particularly in search-based software engineering, software testing, automated debugging, SE4AI (Software Engineering for AI), and AI4SE (AI for Software Engineering). Professor Yoo's work bridges theoretical foundations with practical applications, developing innovative techniques for fault localization, test case generation, and debugging using machine learning and genetic programming approaches. His research has significant implications for improving software reliability and development efficiency in both traditional software systems and AI-powered applications. Professor Yoo's recent publications demonstrate a clear trend toward leveraging large language models and deep learning techniques for software engineering tasks. His work spans fault localization, automated debugging, GUI testing, and program analysis, with increasing focus on the challenges and opportunities presented by AI systems. His research shows a consistent evolution from traditional search-based software engineering to AI/ML-enhanced approaches, reflecting the broader trends in the field. ACM SIGEVO HUMIES Silver Medal (2017) for human competitive application of genetic programming to fault localization research IEEE TCSE Most Influential Paper Award (ICST 2024) for work on mutation-based fault localization Professor Yoo has supervised five PhD students to completion, with his former students now holding positions as assistant professors, post-doctoral researchers, and software engineers at institutions including Kyoungpook National University, Max-Planck Institute Security & Privacy, Università della Svizzera Italiana, Roku Korea, and NUS. He currently serves as an associate editor for the Journal of Empirical Software Engineering and ACM Transactions on Software Engineering and Methodology, and has held significant leadership roles in major software engineering conferences including Program Co-chair for SSBSE (2014), ICST (2018), and ICSE NIER track (2020), General Chair for SSBSE (2022), and Testing & Analysis Area Chair for ICSE (2024). As leader of the Computational Intelligence for Software Engineering (COINSE) group at KAIST, Professor Yoo directs research that combines computational intelligence techniques with software engineering challenges. The group focuses on developing novel approaches to software testing, debugging, and analysis using search-based and AI-driven methods. Their work spans both theoretical foundations and practical implementations, with strong connections to industry challenges and applications.

Steffen Bondorfمشاهده پروفایل

استاد

• Network Calculus
• Deterministic Networking
• Performance Modeling
• +۴ مورد دیگر

Steffen Bondorf is a Professor of Distributed and Networked Systems in the Faculty of Computer Science at Ruhr University Bochum, Germany. His research focuses on performance modeling and analysis of deterministic networking, particularly using network calculus to provide rigorous performance guarantees for networked systems. Dr. Bondorf received his B.Sc., M.Sc., and Dr.-Ing. (Ph.D.) in Computer Science from TU Kaiserslautern (TUK), where he was part of the distributed computer systems lab. He was the first student to enroll in a B.Sc. program at TUK before finishing secondary education. After graduation, he held positions as postdoctoral researcher, lecturer and Carl-Zeiss Fellow at TUK, research fellow at the National University of Singapore, and visiting researcher at the University of Toronto. From fall 2018 to fall 2019, he was funded by an ERCIM Alain-Bensoussan fellowship at NTNU Trondheim, Norway, and spent time at INRIA Paris. His research interests include network calculus, deterministic networking, performance modeling, computer networks, distributed systems, and P2P overlays. Dr. Bondorf's work has significantly advanced the field of network calculus, particularly in developing methods for analyzing FIFO feedforward networks, multicast flows, and P2P overlay structures. His recent research has integrated machine learning techniques with network calculus to improve analysis accuracy and efficiency, creating hybrid approaches that leverage the strengths of both methodologies. Dr. Bondorf was appointed as assistant professor at Ruhr University Bochum on October 1, 2019, becoming the university's first hire in the joint tenure-track program for the promotion of young scientists. Since December 1, 2021, he has been a tenured full professor at RUB. Carl-Zeiss Fellow ERCIM Alain-Bensoussan fellowship At RUB, Dr. Bondorf teaches Advanced Topics in Networking, Distributed Systems, Deterministic Network Calculus, and Seminar Distributed and Networked Systems. His research group develops tools and methodologies for deterministic network analysis with applications in industrial networking, real-time systems, and time-sensitive communications. His work bridges theoretical networking principles with practical implementations, contributing to the advancement of deterministic networking standards and protocols.

• Theorem Proving
• Automated Reasoning
• Formal Methods
• +۱۴ مورد دیگر

Jasmin Blanchette is a Professor of Theoretical Computer Science and Theorem Proving at the Institute for Informatics, Ludwig-Maximilians-Universität München (LMU), where he also serves as Dean of Studies for Computer Science since January 2024. He is additionally affiliated as a guest researcher with the VeriDis group at Loria in Nancy, France. His research lies at the intersection of automated and interactive theorem proving, with a focus on higher-order logic and proof automation. Key projects include the development of tools like Sledgehammer, Nitpick, and Zipperposition, and foundational work on (co)datatypes and higher-order superposition. His recent publications reflect a strong trend in formalizing and verifying automated reasoning techniques, especially in higher-order logic, with applications in proof automation, SMT solving, and logical verification. Articles frequently appear in top venues such as CADE, ITP, and the Journal of Automated Reasoning. CADE 2023 Best Paper Award for 'Verified given clause procedures' FroCoS 2023 Best Paper Award (with Visa Nummelin and Sander Dahmen) IPA Dissertation Award (awarded to his student Petar Vukmirović) Dutch 'cum laude' distinction (awarded to his student Anne Baanen) Dutch Prize for ICT Research 2022 Blanchette has advised numerous PhD and postdoctoral researchers, many of whom are now active contributors to the formal methods community. He has received significant research grants through projects like Matryoshka and Nekoka. He is also the editor-in-chief of the Journal of Automated Reasoning and plays a central role in organizing key conferences such as ITP, CADE, and CPP. He leads an active research group at LMU, consisting of postdocs and PhD students working on topics such as higher-order superposition, formalization of voting systems, categorical logic, and proof search heuristics. The team collaborates closely with international groups, including those at Inria and TU Wien.

Koushik Senمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Formal Methods

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research focuses on developing software tools and methodologies to enhance programmer productivity and software quality, with expertise in Software Engineering, Programming Languages, and Formal Methods. Education: B.Tech from Indian Institute of Technology, Kanpur M.S. and Ph.D. in Computer Science from University of Illinois at Urbana-Champaign Research Focus: Professor Sen pioneers automated testing techniques including concolic testing and DART (Directed Automated Random Testing). His work bridges formal methods with practical software development, emphasizing bug detection, program synthesis, and AI-driven software analysis tools. Recent innovations include machine learning approaches for code recommendation and fuzzing. Publication Trends: His recent publications (2019-2023) demonstrate strong emphasis on fuzzing techniques, program synthesis, and AI/ML applications in software engineering. Notable domains include smart contract security, automated testing, and developer tooling, with frequent collaborations in top-tier conferences. Awards and Honors: NSF CAREER Award (2008) Sloan Foundation Fellowship (2011) IFIP TC2 Manfred Paul Award (2010) Okawa Foundation Research Grant (2015) Multiple ACM SIGSOFT Distinguished Paper Awards UIUC Distinguished Alumni Educator Award (2014) Leadership: Active program committee member for premier conferences (PLDI, ICSE, ISSTA) and keynote speaker. His research is supported by NSF, Okawa Foundation, and Sloan Foundation.

• Database Systems
• Data Analytics
• Machine Learning in Databases
• +۳ مورد دیگر

Jignesh M. Patel is a Professor at the University of Wisconsin, Madison, WI, USA , with over 25 years of contributions to database systems, data analytics, and hardware-aware query processing. His work bridges theoretical advancements with practical systems engineering. Research Interests span: Database systems optimization (query processing, transaction management) Hardware acceleration for analytics (eBPF, PIM, GPUs) Machine learning integration in databases (feature selection, model optimization) Efficient data structures (hashing, encoding, indexing) Multi-tenant and cloud database management Recent Work focuses on kernel-embedded databases (BPF-DB, 2025), memory-efficient dataframe processing (SplitDF, 2024), and algorithmic-hardware co-design for dense retrieval (DReX, 2025). He has pioneered techniques for adapting to data skew (VIP Hashing, 2022), leveraging static analysis in R optimization (ROSA, 2017), and rethinking benchmarking paradigms. Collaborations include key partnerships with: Systems researchers (Andrew Pavlo, José F. Martínez) Machine learning experts (Arun Kumar, Kevin Skadron) Education-focused colleagues (Adalbert Gerald Soosai Raj, Richard Halverson) Industry leaders (David J. DeWitt, Microsoft Research)

Giles Regerمشاهده پروفایل

مدرس ارشد

• Automated Theorem Proving
• Runtime Verification
• Program Verification
• +۷ مورد دیگر

Giles Reger is a Senior Lecturer in the Formal Methods Group of the School of Computer Science at the University of Manchester. He completed his BA in Computer Science at the University of Cambridge in 2009, followed by an MSc in Advanced Computer Science at the University of Manchester in 2010 (awarded Highest Achiever of the Year), and earned his PhD from the University of Manchester in 2014 with a thesis titled "Automata based monitoring and mining of execution traces". His research spans several key areas within computer science: Automated Theorem Proving (first-order) Saturation-based techniques Reasoning with theories and quantifiers Finite Model finding Collaborative and Concurrent proof attempts Runtime Monitoring/Verification Temporal specification languages Specification Mining/Inference Dr. Reger leads multiple EPSRC-funded research projects including SCorCH (Secure Code for Capability Hardware), CAPS (Collaborative Architectures for Proof Search), and QuTie (reasoning with Quantifiers and Theories). His work on the Vampire theorem prover and MarQ monitoring tool demonstrates his bridge between theoretical computer science and practical applications. Recent publications show strong focus on runtime verification, theorem proving, and program analysis with applications to security and performance monitoring. Notable awards: Highest Achiever of the Year Award for MSc studies Dr. Reger collaborates extensively with institutions including the University of Oxford, Arm, Amazon Web Services, and CERN (CMS Experiment). As Manchester lead on the SCorCH project, he develops formal analysis tools for security-aware hardware chips. His work on the VyPR framework enables developers to analyze Python program performance through temporal specification languages and monitoring algorithms.

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

استادیار

• Intelligent Software Engineering (AI4SE)
• Code Intelligence
• Vulnerability Detection
• +۵ مورد دیگر

Zhongxin Liu is an Assistant Professor at the College of Computer Science and Technology , Zhejiang University , China. He earned his Ph.D. from the same institution in 2021. His research focuses on Intelligent Software Engineering (AI4SE) , leveraging software "big data" to improve code understanding, generation, and security through machine learning techniques. Published in top-tier venues: TSE, TOSEM, ICSE, FSE, ASE, ISSTA Active in academic service: Reviewer for TSE, TOSEM, ASEJ, etc. Visiting Professor at University of Stuttgart (2024-2025) His recent work explores Large Language Models (LLMs) for code intelligence, security hardening, and vulnerability detection. Papers emphasize cross-domain applications, zero-shot learning, and API/code dependency analysis. Scientific awards include: ACM SIGSOFT Distinguished Paper Awards (ASE 2018, 2019, 2020; ISSTA 2025) Zhejiang University Qizhen Scholar (2021) CCF TCSE Doctoral Dissertation Award (2023) Recruiting undergraduate interns, graduate students (MS/Ph.D.), and postdocs for code intelligence research. Contact: liu_zx@zju.edu.cn .

Claire Le Gouesمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Defect Repair
• +۵ مورد دیگر

Claire Le Goues is a Professor of Computer Science at Carnegie Mellon University, primarily affiliated with the Software and Societal Systems Department (S3D) within the School of Computer Science (SCS). She serves as the Associate Department Head for Faculty within S3D and leads the squaresLab research group. Le Goues also co-directs the REUSE@CMU summer program and teaches software engineering and program analysis at undergraduate, master's, and PhD levels. Her research spans software engineering and programming languages, with a particular focus on how to construct, maintain, evolve, improve/debug, and assure high-quality software systems. Le Goues has made significant contributions to automated program repair, program analysis, and defect detection. Her work often bridges theoretical foundations with practical applications, addressing real-world challenges in software development and maintenance. Le Goues' recent publications demonstrate a clear trend toward integrating large language models and generative AI with traditional software engineering techniques. Her research examines how these technologies can enhance program repair (BatFix, AdverIntent-Agent), vulnerability detection (Interpretable Vulnerability Detection Reports), and testing (LWDIFF for WebAssembly). This represents an evolution from her earlier foundational work in program repair (GenProg) toward leveraging contemporary AI advancements. She has mentored numerous students through her squaresLab research group and has been instrumental in developing educational programs that prepare the next generation of software engineers. Le Goues is also known for her advocacy for double-blind review processes in academic conferences, having implemented this approach when co-chairing the Symposium for Search-Based Software Engineering in 2014.

Antonio Mastropaoloمشاهده پروفایل

استادیار

• Artificial Intelligence
• Natural Language Processing
• Software Engineering
• +۶ مورد دیگر

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

Daye Namمشاهده پروفایل

استادیار

• Software Engineering
• Artificial Intelligence
• Human-Computer Interaction
• +۳ مورد دیگر

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

Sandra Diaz Pierمشاهده پروفایل

پژوهشگر

• Computational Neuroscience
• High Performance Computing
• Machine Learning
• +۳ مورد دیگر

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