Pascale Le Gall is an active researcher specializing in formal methods and computer science, with primary research conducted through the Mathematics and Computer Science for Complexity and Systems laboratory. Their work spans theoretical computer science, software engineering, and interdisciplinary applications in biological systems modeling. Le Gall's research focuses on formal verification techniques, particularly in conformance testing, symbolic execution, and graph transformations. Their work bridges theoretical computer science with practical applications in distributed systems verification, geometric modeling, and biological network analysis. Key research themes include developing frameworks for stochastic process discovery, feature interaction resolution, and topological operations in geometric modeling, demonstrating both theoretical depth and practical implementation value across multiple domains. Analysis of their recent publications reveals a strong trend toward interdisciplinary applications of formal methods, particularly in biological systems. Their work increasingly integrates statistical approaches with traditional formal verification techniques, as seen in Bayesian inference for process discovery and statistical model checking of biological pathways. The research shows consistent development of symbolic execution techniques applied to increasingly complex systems, from abstract data types to distributed biological networks. Pascale Le Gall maintains active collaborations with researchers including Christophe Gaston, Marc Aiguier, and Paolo Ballarini across multiple projects. Their publication record shows consistent output with significant contributions to model-based testing frameworks, geometric modeling using graph transformations, and formal analysis of biological systems. The researcher has contributed to both theoretical foundations and practical implementations of verification techniques, with numerous conference papers and journal articles spanning over 15 years of active research.


