Find Academic Supervisors

• Networked Systems
• Software-Defined Networking
• Data Center Architectures
• +7 more

Professor Brighten Godfrey is a faculty member in the Department of Computer Science and an affiliate of the Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign. He earned a Ph.D. in Computer Science from UC Berkeley (2009) and a B.S. from Carnegie Mellon University (2002). His research spans networked systems with a focus on low-latency networking , software-defined networks , microservices , and machine learning for networks . Ph.D. (2009) and B.S. (2002) in Computer Science Professor at UIUC since 2021 Technical Director at VMware (acquired Veriflow in 2019) His recent publications address microservice tracing , cluster verification , and mobile acceleration , with high-impact applications in XR systems and low-latency networks . Awards include the ACM SIGCOMM Rising Star Award , Sloan Research Fellowship , and multiple best paper and dataset awards . He has chaired program committees for SIGCOMM and HotNets . Teaching honors include Excellent Teacher and Outstanding Advising Awards . His research group has produced alumni now at institutions like Meta, Google, and ETH Zurich. Current projects include Service Layer Traffic Engineering (SLATE) and Learning-Based Congestion Control (Aurora, PCC).

Mohammadreza MehrabianView profile

Assistant Professor

• Autonomous Systems
• Connected Autonomous Vehicles
• Cyber-Physical Systems
• +4 more

Dr. Mohammadreza Mehrabian is an Assistant Professor in the Department of Electrical Engineering and Computer Science at South Dakota School of Mines and Technology. He holds a Ph.D. in Computer Engineering from Arizona State University and directs the CPS lab focusing on cyber-physical systems, robotics, and autonomous vehicles. His research specializes in autonomous systems design, particularly cooperative driving algorithms for connected autonomous vehicles, robust intersection management, and run-time verification methods for safety-critical systems. Current projects apply these technologies to smart city infrastructure and agricultural robotics. His work integrates formal methods with practical implementations using FPGA acceleration and sensor fusion techniques. Recent publications develop responsibility-sensitive safety frameworks for autonomous vehicles and invariant extended Kalman filters for IMU-UWB sensor fusion. His lab collaborates with industry partners to advance reliable autonomous systems.

Kanad BasuView profile

Assistant Professor

• Hardware Security
• AI Hardware
• Quantum Computing
• +6 more

Kanad Basu is an Assistant Professor in the Department of Electrical & Computer Engineering at the University of Texas at Dallas (UTD), affiliated with the Erik Jonsson School of Engineering and Computer Science. He holds the title of Fellow, Eugene McDermott Distinguished Professor. Previously, he worked at IBM and Synopsys, and was an Assistant Research Professor at New York University. His research focuses on hardware security, AI hardware, quantum computing, and VLSI testing. Basu has authored over 130 peer-reviewed publications, 2 patents, and received the Best Paper Award at the 2011 International Conference on VLSI Design. Education: PhD and MS in Computer Engineering from the University of Florida (2012), BE in Electronics and Telecommunication Engineering from Jadavpur University, India (2007). Research Interests: His work spans hardware security (e.g., side-channel attacks, hardware Trojans), functional safety in automotive systems, quantum computing EDA tools, and AI-driven verification techniques. Recent projects include secure assertion generation using LLMs, radiation hardening for edge AI, and quantum circuit equivalence checking. Recent Achievements: Won NSF CAREER Award (2025), served on TPC for IEEE DATE 2026 and IEEE Quantum Week 2026, and led the TIES lab to win NSF CAREER funding. His lab has produced over 15 PhD graduates, many now in industry roles at Intel, NXP, and Oak Ridge National Lab. Awards: Includes NSF CAREER (2025), IEEE Top Picks (2024/2023), and Blavatnik nomination (2019). Academic service roles include associate editorships for IEEE Design & Test and IET Computers. Lab & Collaborations: The Trustworthy & Intelligent Embedded Systems (TIES) lab collaborates with NSF CHEST and TxACE. Ongoing projects involve quantum simulation frameworks (QuaSi), secure DNN acceleration (MENDNet), and radiation-aware functional safety.

Monday IkhideView profile

Assistant Professor

• Protection Systems (AC & DC)
• Low Voltage DC (LVDC) Distribution
• Renewable Energy Technologies
• +7 more

Monday Ikhide is an Assistant Professor (Academic) at the CEES School of The Environment, Staffordshire University. He serves as the course director for Building Services degree Apprenticeships and teaches modules in Building Services Electrics and Intelligent Built Environment. His research focuses on protection systems for AC/DC grids, low-voltage DC distribution (LVDC), renewable energy integration, and smart infrastructure. Ikhide holds a Doctorate in Electrical & Electronic Engineering from Staffordshire University (2018), with postgraduate certificates in Technology-Assisted Learning and Research Skills. Education: Doctorate in DC Line Protection for HVDC Transmission (2018) MSc (Distinction) in Electrical Engineering Systems (2012) Postgraduate Certificates in Research Methods (2015) and Technology-Assisted Learning (2017) Research Interests: His work addresses critical challenges in DC grid protection, energy efficiency in buildings, and smart city infrastructure. Innovations include a novel time-domain protection algorithm based on traveling waves, supported by a £86,000 grant from General Electric Grid Solutions. This algorithm aims to enhance fault detection in DC grids, addressing a major barrier to their widespread adoption. Publications Trends: Recent articles focus on HVDC grid protection strategies, traveling wave-based methodologies, and energy optimization in built environments. Key contributions include wavelet transform applications, transient analysis, and backup protection systems for DC grids. Awards: BEST PAPER AWARD (2019) for contributions to power electronics research. Grants & Advising: Secured £86k grant from GE Grid Solutions. Actively supervises PhD students in DC grid protection and accepts applications for research in energy efficiency, smart cities, and LVDC systems. Collaborates on UN Sustainable Development Goals related to energy and infrastructure. Labs/Teams: Engaged in cross-disciplinary projects at Staffordshire University, focusing on smart grids, renewable integration, and intelligent building systems.

• High Performance Computing
• Numerical Algorithms and Software
• Parallel and Distributed Computing
• +3 more

Panruo Wu is an Associate Professor in the Department of Computer Science at the University of Houston (UH). He joined UH in 2018 as an Assistant Professor and holds a Ph.D. in Computer Science from the University of California, Riverside, and a B.S. in Mathematics from the University of Science and Technology of China (USTC). His primary research interests include high performance computing, numerical algorithms, parallel and distributed computing, fault-tolerant systems, and big data analytics. He leads projects such as LATER (Linear Algebra on Tensor Cores) and LibKernel, focusing on accelerating numerical computations and kernel machines. His recent work emphasizes optimizing linear algebra operations on emerging hardware accelerators like GPUs, with a focus on tensor cores and energy-efficient solvers. Key contributions include fault-tolerant matrix decompositions, scalable frameworks for serverless parallel computing (Wukong), and accelerating kernel machines (TensorSVM). Awards include a Best Paper Nomination at HPDC'20. His teaching spans algorithms, parallel computing, and numerical analysis, with courses like COSC 3320 (Algorithms and Data Structures) and COSC 6374 (Parallel Computations). His research is supported by NSF Grant No. 2146509.

Andrew KinzigerView profile

Professor

• Fisheries Biology
• Conservation Genetics
• Environmental DNA
• +6 more

Andrew Kinziger is Professor and Department Chair of the Department of Fisheries Biology at Cal Poly Humboldt (formerly Humboldt State University), where he has taught fisheries management and mentored M.S. level graduate students since 2003. His research emphasizes the application of genetic approaches for fish conservation and management, with particular focus on environmental DNA methodologies and genomics of local adaptation in fishes including Chinook salmon, Pacific lamprey, and tidewater goby. Kinziger earned his B.S. in Environmental Science (with Computer Science minor) from St. Norbert College in 1996, followed by an M.S. in Applied Ecology and Conservation Biology from Frostburg State University in 1998, and completed his Ph.D. in Ecology, Evolution and Systematics at Saint Louis University in 2003. His research program centers on two major branches: environmental DNA applications for monitoring fish populations (including Chinook salmon abundance, coho salmon distribution, and endangered species metapopulation dynamics), and genomics of local adaptation in fishes (studying run-timing in Chinook salmon, ocean- and river-maturing ecotypes in Pacific lamprey, and climate adaptation in tidewater goby). His work spans diverse taxonomic groups including salmonids, cyprinids, tidewater goby, catostomids, and Cottus species across freshwater and marine ecosystems. Analysis of Kinziger's recent publications reveals a strong emphasis on developing and validating environmental DNA methodologies for conservation applications, particularly for endangered species monitoring. His work increasingly integrates genomic approaches to understand the genetic basis of adaptive traits in fishes, with notable contributions to Pacific lamprey research and tidewater goby conservation. Kinziger has mentored numerous graduate students, with thesis work focusing on environmental DNA applications, conservation genetics, and population structure of various fish species. His laboratory has secured funding for research on eDNA methodology development, fish population monitoring, and genetic studies of local adaptation. The Kinziger Lab maintains active research programs in environmental DNA methodology, conservation genetics of native California fishes, and population genomics of adaptive traits. The lab collaborates extensively with state and federal fisheries agencies, particularly on projects related to endangered species conservation and management in California's river systems.

Kurt DeckerView profile

Researcher

• Active Tectonics
• Earthquake Geology
• Structural Geology
• +4 more

Kurt Decker serves as a scientific employee at the Institute of Geology within the Faculty of Geosciences, Geography and Astronomy at the University of Vienna. With a doctorate in geology, he maintains an active research and teaching profile, supervising multiple MSc students and leading numerous research projects funded by institutions including FFG, Wien Energie, and NAGRA. His office is located in room 2A346, and he can be reached at +43-1-4277-53437. Dr. Decker specializes in Active Tectonics, Earthquake Geology, Applied Structural Geology and Tectonics, and Alpine Tectonics . His research focuses on understanding fault zone mechanics, seismic hazard assessment, and the hydrogeological properties of faults in carbonate rocks. He has made significant contributions to the study of the Vienna Basin Transfer Fault System, Alpine-Carpathian junction dynamics, and the stress field in the Eastern Alps. His work often employs multidisciplinary approaches combining field observations, seismic data, and borehole analysis. Analysis of Dr. Decker's recent publications reveals a strong focus on strike-slip fault systems , seismic hazard assessment , and fault zone hydrology . His research spans from microstructural investigations of rock deformation to regional-scale tectonic analyses. Key themes include the interaction of different deformation mechanisms in fault zones, the temporal evolution of seismicity, and the quantification of active tectonic processes in the Alpine region. His most recent work extends to 3D seismic interpretation and the study of fractured basement hydrocarbon reservoirs. Wilhelm-Ritter-von-Haidinger-Medal (2009) Dr. Decker has successfully secured substantial project funding, including the FFG/NiMBUC project on fracture discrimination in deep boreholes (2021-2023), multiple Wien Energie projects on geothermal energy exploration in Vienna (2018-2022), and various collaborations with Wiener Wasser on hydrogeological properties of faults. He has supervised 11 MSc students and regularly teaches courses including Strukturgeologie und Tektonik (Bachelor), Quantitative Strukturgeologie und Tektonik II (Master), and Active Tectonics. His research integrates field work, laboratory analysis, and numerical modeling, with particular emphasis on the application of structural geological methods to practical problems including nuclear waste repository siting, geothermal energy exploration, and seismic hazard assessment in the Alpine region.

• Search Based Software Engineering
• Software Testing
• Evolutionary Computation
• +7 more

Giovani Guizzo is a Software Engineer at Kii working as a Blockchain Engineer and Front-end developer with React, while maintaining an active research profile in Search-Based Software Engineering. He earned his PhD in Computer Science from the Department of Informatics at Federal University of Paraná (UFPR) in Brazil under Professor Silvia Regina Vergilio in 2018. His academic collaborations include significant affiliations with University College London where he has published as a researcher. His research program centers on applying evolutionary computation and search-based techniques to software engineering challenges, particularly in software testing and optimization. Guizzo's work bridges theoretical advances in multi-objective optimization with practical software engineering applications, resulting in innovative solutions for test model inference, mutant reduction strategies, and automated program repair. His approach often combines natural language processing with finite state machine generation to transform bug reports into actionable test models. Guizzo's publication record reveals a consistent trajectory of increasing impact in top-tier software engineering venues. His recent work demonstrates sophisticated integration of multi-objective evolutionary algorithms with practical software testing challenges, particularly in the areas of model inference from natural language bug reports and optimization of mutation testing processes. The evolution of his research shows progression from foundational work on design patterns in evolutionary algorithms toward more complex applications in automated software testing and repair. His achievements include: SSBSE 2021 Challenge Winner for innovative work on fitness functions in automated program repair Distinguished Artifact Award at ICSE 2021 recognizing reproducibility in genetic improvement research Microsoft Azure Research Award in 2017 supporting his work in cloud-based software engineering research Guizzo maintains active engagement with the research community through editorial roles for IET Software and Science of Computer Programming, membership on the SSBSE Steering Committee, and service on program committees for major conferences including ESEC/FSE, ASE, GECCO, and ICSE. His academic visits to University College London (3 months in 2017) and Queen Mary University (1 month in 2017) established lasting research collaborations with Dr. Jens Krinke, Dr. Federica Sarro, and Dr. John Drake that continue to produce high-impact publications. Through his interdisciplinary approach combining software engineering, evolutionary computation, and natural language processing, Guizzo has established himself as a significant contributor to the search-based software engineering community, with research that consistently addresses practical challenges while advancing theoretical foundations.

Chengnian SunView profile

Associate Professor

• Software Engineering
• Programming Languages
• Program Reduction
• +5 more

Chengnian Sun is an Associate Professor in Software Engineering and Programming Languages at the University of Waterloo, Canada. His research spans program reduction, software testing, and compiler-related technologies, with a focus on developing practical tools for debugging and testing. Dr. Sun's research interests center on Software Engineering and Programming Languages , particularly in program reduction techniques, compiler testing, and software security. His work bridges theoretical foundations with practical applications, developing frameworks like Perses and Latra that have become influential in the software engineering community. His research demonstrates a consistent evolution from basic program reduction techniques to incorporating modern approaches like LLMs for compiler testing. His recent publications show a strong trend toward language-agnostic transformation frameworks and practical debugging tools , with increasing emphasis on security applications and integration of AI techniques. The research spans both theoretical foundations and practical implementations, with several tools developed becoming widely used in the software engineering community. Dr. Sun has served on program committees for major software engineering conferences including ASE, ICSE, ESEC/FSE, and ISSTA, demonstrating his standing in the research community. His extensive publication record shows consistent high-impact contributions across multiple venues, with particular emphasis on program reduction and compiler testing techniques. His work has led to the development of several influential tools including Perses (syntax-guided program reduction), Latra (template-based transformation framework), and AddressWatcher (memory leak localization). These tools have been widely adopted in both academic and industrial settings for debugging and testing purposes.

Liqian ChenView profile

Professor

• Program analysis
• Program verification
• Abstract interpretation
• +3 more

Liqian Chen is a Full Professor and PhD Supervisor in the College of Computer Science and Technology at the National University of Defense Technology (NUDT) in Changsha, China. With a prolific research career spanning over a decade, Professor Chen has established himself as a leading expert in program analysis, verification, and automated program repair. His work bridges theoretical foundations with practical applications, particularly in the areas of abstract interpretation and numerical program analysis. Professor Chen's primary research interests include: Program analysis and verification Abstract interpretation Automated program repair Floating-point analysis Neural network verification His research focuses on developing rigorous theoretical frameworks for program analysis while ensuring practical applicability to real-world software systems. A significant portion of his work addresses the challenges of numerical accuracy in software, particularly in floating-point computations, and has extended these techniques to the emerging domain of neural network verification. Analysis of Professor Chen's recent publications reveals several key trends in his research trajectory. His work has evolved from foundational abstract interpretation techniques to address increasingly complex software systems, including neural networks. There's a clear progression from theoretical developments in abstract domains to practical applications in software verification and repair. His recent work demonstrates a growing emphasis on the intersection of traditional program analysis with machine learning systems, particularly in verifying neural network behavior and addressing numerical instability in AI systems. Professor Chen has received notable recognition for his contributions to the field: ACM SIGSOFT Distinguished Paper Award (ISSTA 2024) Best Paper Award (APSEC 2017) Best Paper Award Nomination (EMSOFT 2015) As an academic advisor, Professor Chen supervises numerous PhD and Master's students working on cutting-edge research in program analysis and verification. His team has developed several influential tools including AutoRNP (for automatically detecting and repairing floating-point errors), Software Apron (a library for numerical abstract domains), and F-IKOS (a static analyzer for Fortran programs). Professor Chen has secured substantial research funding to support his work, though specific grant details are not provided in the available information. He actively serves the research community through program committee roles for major conferences including ASE, SAS, and VMCAI, and as a guest editor for journals such as Automated Software Engineering Journal and Journal of Systems Architecture. Professor Chen leads a vibrant research group focused on high-confidence software technologies. His team, comprising PhD students, Master's students, and research engineers, collaborates closely on projects spanning from theoretical foundations of program analysis to practical tool development. The group maintains strong connections with both academic institutions and industry partners, facilitating the transfer of research innovations to real-world applications. Their work is characterized by rigorous theoretical underpinnings combined with practical validation on real software systems.

Daniel GrierView profile

Assistant Professor

• Quantum complexity theory
• Quantum computing
• Quantum algorithms
• +4 more

Daniel Grier is an Assistant Professor in the Computer Science and Engineering department at the Jacobs School of Engineering and the Mathematics department at the University of California, San Diego. His research focuses on quantum complexity theory, particularly near-term quantum computing paradigms and proving quantum advantage over classical counterparts. His educational background includes: PhD in Computer Science from MIT under Scott Aaronson B.S. in Computer Science and Mathematics from the University of South Carolina Postdoctoral research at the Institute for Quantum Computing at the University of Waterloo Grier's research interests center on quantum computational complexity, with particular emphasis on demonstrating quantum advantage through rigorous complexity-theoretic proofs. His work spans quantum algorithms, circuit complexity, and the theoretical foundations of quantum computing. He has made significant contributions to understanding the complexity of BosonSampling variants, Clifford circuits, and interactive quantum protocols that demonstrate quantum advantage even with limited computational resources. His publications reveal a consistent focus on establishing unconditional separations between quantum and classical computational power, particularly in near-term settings. His work often bridges theoretical computer science with practical considerations for implementing quantum algorithms on emerging hardware platforms, making him a key contributor to the field of quantum complexity theory. His scientific achievements include: Best Paper Award at TQC 2025 / CCC 2025 for 'Quantum Threshold is Powerful' Grier actively mentors students and has advised several researchers who have become co-authors on his publications. He teaches graduate and undergraduate courses including 'Quantum Complexity Theory,' 'Introduction to Quantum Computing,' and 'Discrete Mathematics and Graph Theory.' His teaching spans multiple departments, reflecting the interdisciplinary nature of his work. He leads a research group focused on quantum complexity theory where students explore theoretical foundations of quantum computing, working on problems related to quantum advantage, circuit complexity, and quantum algorithms for near-term devices.

Himadri Shekhar DharView profile

Associate Professor

• Quantum information
• Entanglement
• Resource theories
• +7 more

Himadri Shekhar Dhar is an Associate Professor in the Department of Physics at the Indian Institute of Technology Bombay, specializing in theoretical quantum physics with applications in quantum information processing and quantum technology development. His research focuses on four interconnected domains: Quantum entanglement and resource theories in many-body systems and quantum optics Theoretical modeling of light-matter interactions in cavity QED and hybrid quantum platforms Quantum dynamics analysis using tensor networks, quantum trajectories, and variational algorithms Optimal control frameworks for quantum device engineering enhanced by machine learning Recent publications (2020-2025) demonstrate sustained contributions to photon condensation phenomena, quantum coherence preservation, and entanglement characterization, frequently appearing in Physical Review Letters and Nature Photonics through international collaborations. His work bridges fundamental quantum theory with practical quantum technology applications.

Dong Jae KimView profile

Professor

• Software Engineering
• Software Testing
• Mining Software Repositories

Dong Jae Kim is a Professor at DePaul University in the United States, actively contributing to the software engineering community through research and conference service. He serves on program committees for major venues including ICSE, ESEC/FSE, ASE, and CASCON, and maintains a professional presence via his personal website and Twitter account. His academic profile reflects deep engagement with empirical software engineering research and emerging AI methodologies. Kim's research centers on Software Engineering with specialized focus on Software Testing and Mining Software Repositories. He investigates critical challenges in test code maintenance, particularly how object-oriented features like inheritance and interfaces impact test quality. His work increasingly integrates artificial intelligence, especially large language models, for tasks including log analysis, fault localization, and code generation. This dual emphasis on foundational testing principles and cutting-edge AI applications defines his scholarly identity. Analysis of Kim's publication trajectory from 2020-2026 reveals a strategic evolution toward AI-enhanced software engineering. Early work established empirical foundations in test smell evolution, while recent publications demonstrate sophisticated application of large language models to log parsing (LibreLog, LLMParser), fault localization (Order Matters!), and code generation (SOEN-101). The consistent thread through his research is rigorous empirical validation of practical tools, with growing emphasis on benchmarking open-source AI solutions for real-world software engineering problems. No scientific awards, fellowships, or medals were documented in available sources. Similarly, no information was found regarding graduate students advised by Kim or details of research grants secured. Laboratory affiliations, research teams, and collaborative projects remain unspecified in current records. Future research directions appear oriented toward refining AI-driven approaches for software maintenance tasks, particularly in log analysis and test code optimization, though explicit future work statements were not identified.

Paolo ArcainiView profile

Professor

• Quantum Software Engineering
• Autonomous Systems Testing
• Search-Based Software Testing
• +7 more

Paolo Arcaini is a Project Associate Professor at the National Institute of Informatics in Japan, where he has been employed since April 2019. Previously, he served as a Project Assistant Professor at the same institution from March 2018 to March 2019. Prior to that, he was an Assistant Professor at the Department of Distributed and Dependable Systems of Charles University from March 2015 to February 2018. His academic journey includes postdoctoral fellowships at the University of Bergamo and CNR-IDPA, followed by completing his PhD in Computer Science at the University of Milan. PhD in Computer Science at the University of Milan (January 2010 - December 2012) Postdoctoral fellow at University of Bergamo (October 2013 - February 2015) Postdoctoral fellow at CNR-IDPA (January 2013 - September 2013) Professor Arcaini's research focuses on the intersection of quantum computing and software engineering, particularly in quantum software testing and verification. He has pioneered approaches to applying search-based techniques to quantum software development, including mutation testing and error mitigation for quantum programs. His work also extends to autonomous systems testing, where he develops methods for scenario generation, safety assessment, and falsification of autonomous driving systems. His research in formal methods for cyber-physical systems combines signal temporal logic with search-based techniques to verify complex system behaviors. A significant portion of his work addresses the challenges of testing AI-enabled systems, particularly deep neural networks in safety-critical contexts. Analysis of Professor Arcaini's recent publications reveals a strong trend toward quantum software engineering, with numerous papers on testing methodologies for quantum programs, error mitigation techniques, and quantum-inspired optimization for software testing. His work demonstrates a consistent focus on applying search-based techniques to challenging domains, with increasing attention to safety-critical applications of AI and quantum computing. The interdisciplinary nature of his research connects formal methods, machine learning, and software engineering to address verification challenges in emerging technologies. Best paper award on testing AI system at IEEE International Conference on Artificial Intelligence Testing (AITest 2020) Distinguished paper award at Symposium on Search-Based Software Engineering (SSBSE 2021) Best paper award at Symposium on Search-Based Software Engineering (SSBSE 2020) Professor Arcaini is highly active in the software engineering research community, serving on program committees for numerous top conferences including ASE, ICSE, ISSTA, and ESEC/FSE. His work on quantum software engineering has positioned him as a leader in this emerging field, with multiple tool demonstrations and journal-first papers that bridge theoretical advances with practical applications. His research on autonomous systems testing has resulted in several tools for scenario generation and safety assessment that are being adopted by the automotive industry. While specific grant information isn't detailed in the provided materials, his extensive publication record across multiple high-impact venues suggests substantial research funding support. Professor Arcaini leads the MMM research group (as indicated by his personal website at http://group-mmm.org/~arcaini/), which focuses on model-based methods for software engineering. His team appears to specialize in applying formal methods and search-based techniques to emerging domains like quantum computing and autonomous systems. The group maintains active collaborations with researchers worldwide, as evidenced by the international co-authorship of his publications across European and Asian institutions.

• Software Testing
• Fuzzing
• Delta Debugging
• +2 more

Renáta Hodován is a researcher at the University of Szeged, Hungary, actively contributing to software engineering through publications and program committee roles in major conferences including ASE (2023-2025) and FUZZING workshops. Her work focuses on advancing automated testing methodologies with significant tool development and algorithmic innovations. Her research expertise spans critical areas in software quality assurance: Grammar-based fuzzing techniques exemplified by the open-source Grammarinator framework Hierarchical delta debugging algorithm variants for efficient fault isolation Security vulnerability analysis in open-source web browser ecosystems Automated program reduction for debugging complex software systems Analysis of her publications (2018-2021) reveals consistent innovation in making software testing more systematic and scalable, particularly through grammar-driven approaches that bridge formal language theory with practical security testing. Her work demonstrates strong interdisciplinary connections between software engineering, security, and formal methods. No scientific awards were documented in the source materials. Information regarding student supervision, grant funding, or teaching responsibilities was not provided in the available conference profiles. While her university affiliation is clear, specific laboratory or research team details were not mentioned in the conference metadata.