About
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.
Find Robin Coutelier elsewhere
Related Searches
You Might Also Like
- MMarton HajduVienna University of Technology · Researcher
- JJohannes SchoisswohlVienna University of Technology · Researcher
- CClemens EisenhoferVienna University of Technology · Researcher
Katalin FazekasVienna University of Technology · Assistant Professor- LLaura KovacsVienna University of Technology · Professor
- AAndreas LacknerVienna University of Technology · Researcher