Christopher Alexander

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.