About
Christopher Alexander is a Researcher at GE Research, focusing on formal methods and safety-critical systems. His work bridges Computer Science with Aerospace Engineering, emphasizing rigorous verification techniques.
- Research Areas:
- Answer Set Programming (ASP)
- SMT Solving
- Compliance Checking
- Conflict Detection
- Formal Verification
- Optimization in Autonomous Systems
Recent publications highlight his contributions to 2023 Symposium on Practical Aspects of Declarative Languages and NASA Formal Methods 2024. His work spans theoretical frameworks for deep learning and practical applications in aerospace systems.
0Publications listed
Find Christopher Alexander elsewhere
Related Searches
You Might Also Like
- AAlexander NutzAlbert Ludwig University of Freiburg · Researcher
Kristin Yvonne RozierIowa State University · Associate Professor
Sylvain ConchonInria · Professor- HHans TompitsVienna University of Technology · Associate Professor
- TTorsten SchaubUniversity of Potsdam · Professor
- NNatasha SharyginaUniversity of Italian Switzerland · Professor