Pascal Schreck

Pascal Schreck is a Professor of Computer Science at the University of Strasbourg, affiliated with the Department of Computer Science within the UFR of Mathematics and Computer Science. He is a researcher at the ICube laboratory and has held administrative roles, including Director of the Computer Science Department (2008–2011) and course coordinator for specialized programs. His research focuses on geometric computing, formal methods in geometry, automated deduction, and geometric constraint solving, with contributions to theorem proving, computational geometry, and CAD applications.

His work integrates algebraic and geometric approaches to solve problems like constructibility in geometric constructions, incidence geometry, and constraint systems. He has developed methods using Coq proof assistants for formal verification and explored topics such as homotopy-based solutions for geometric constraints. His contributions span theoretical advancements and practical applications in areas like 3D modeling and medical trajectory planning.

Key research trends include leveraging formal systems (e.g., Coq) for mechanized proofs, analyzing geometric constructs' feasibility, and improving algorithms for constraint resolution. His publications address foundational geometry theorems (e.g., Dandelin-Gallucci), combinatorial geometry, and automated construction verification. He has also contributed to international workshops and conference proceedings on automated deduction in geometry.

As a member of the ICube laboratory and the IGG Team (Geometric and Graphical Computing), Schreck collaborates on interdisciplinary projects, bridging mathematics, computer science, and engineering. His work emphasizes rigorous formalization, algorithm optimization, and practical implementation in geometric problem-solving domains.