About Me

In August 2021 I joined the Programming Group at the University of St. Gallen, Switzerland as a PhD student where I'm supervised by Prof. Guido Salvaneschi.

Between 2017 and 2021 I was an R&D software developer at Agilent Technologies.

In 2017 I earned my MSc in Computer Science from EPFL at the LAMP lab. In my thesis I simplified a polymorphic safe-and-precise effect system.

In 2015 I earned my BSc in Computer Science and a minor in Maths from AUB. My project was to design and implement a functional quantum language.

In my spare time I enjoy cycling, playing Go, and the mandolin.

Academic Interests

• Functional Programming Languages,
• (Advanced Safe) Type Systems,
• Software Verification, and
• Theorem Proving.

Publications

• David Spielmann, George Zakhour, Dominik Arnold, Matteo Biagiola, Roland Meier, Guido Salvaneschi. 2026. Metamorphic Testing for Infrastructure-as-Code Engines Proceedings of the ACM on Programming Languages 10, OOPSLA1 https://doi.org/10.1145/3798226 [author version]
• George Zakhour, Pascal Weisenburger, Jahrim Gabriele Cesario, and Guido Salvaneschi. 2025. Dis/Equality Graphs Proceedings of the ACM on Programming Languages 8, POPL https://doi.org/10.1145/3704913 [author version]
• Mirko Köhler, George Zakhour, Pascal Weisenburger, and Guido Salvaneschi. 2024. Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications. IEEE Transactions on Software Engineering https://doi.org/10.1109/TSE.2024.3477723 [author version]
• George Zakhour, Pascal Weisenburger, and Guido Salvaneschi. 2024. Automated Verification of Fundamental Algebraic Laws. Proceedings of the ACM on Programming Languages 8, PLDI. https://doi.org/10.1145/3656408 [author version]
• George Zakhour, Pascal Weisenburger, and Guido Salvaneschi. 2023. Type-Safe Dynamic Placement with First-Class Placed Values. Proceedings of the ACM Programming Languages 7, OOPSLA2. https://doi.org/10.1145/3622873 [author version]
• George Zakhour, Pascal Weisenburger, and Guido Salvaneschi. 2023. Type-Checking CRDT Convergence. Proceedings of the ACM on Programming Languages 7, PLDI. https://doi.org/10.1145/3591276 [author version]

I also published satirical papers in SIGBOVIK'24 and SIGBOVIK'25.