معرفی
Robin Coutelier is a PreDoc Researcher at the Department of Formal Methods in Systems Engineering (E192-04) at Technische Universität Wien. Their research focuses on SAT solving, logical reasoning, and formal methods in systems engineering.
- Projects: DK - Logic (2014–2023), ForSmart (2023–2027), SFB SPyCoDe (2023–2026)
Robin’s work explores the intersection of automated deduction, constraint satisfaction, and theoretical computer science. They have contributed to SAT-based subsumption resolution, chronological backtracking algorithms, and formal verification techniques.
Recent research trends include advancements in SAT solving for first-order logic, lazy reimplication strategies, and term ordering diagrams. Collaborations with researchers like A. Biere and L. Kovacs highlight interdisciplinary efforts in formal systems.
Robin’s publications demonstrate expertise in algorithm design, formal verification, and logical reasoning. Their projects emphasize practical applications of theoretical computer science to real-world systems engineering challenges.
Robin Coutelier در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMarton HajduVienna University of Technology · پژوهشگر
- JJohannes SchoisswohlVienna University of Technology · پژوهشگر
- CClemens EisenhoferVienna University of Technology · پژوهشگر
Katalin FazekasVienna University of Technology · استادیار- LLaura KovacsVienna University of Technology · استاد
- AAndreas LacknerVienna University of Technology · پژوهشگر