My main interests are programming languages and formal verification. In particular, I'm interested in probabilistic programming.
If you want to get in touch, you can contact me at fabian.zaiser "AT" cs.ox.ac.uk.
The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem
Stefan Hougardy‚ Fabian Zaiser and Xianghui Zhong
In Oper. Res. Lett.. Vol. 48. No. 4. Pages 401–404. 2020.
The Extended Theory of Trees and Algebraic (Co)datatypes
Fabian Zaiser and C.−H. Luke Ong
In Laurent Fribourg and Matthias Heizmann, editors, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis‚ VPT/HCVS@ETAPS 2020‚ Dublin‚ Ireland‚ 25−26th April 2020. Vol. 320 of EPTCS. Pages 167–196. 2020.