Fabian Zaiser

Fabian Zaiser

Doctoral Student

Student, St Catherine's College

Room 347, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Themes:

• Programming Languages
• Foundations, Structures, and Quantum
• Automated Verification

Interests

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.

Selected Publications

View AllManage publications

• 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.

  Details about The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem | BibTeX data for The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem | DOI (10.1016/j.orl.2020.05.007) | Link to The approximation ratio of the 2−Opt Heuristic for the metric Traveling Salesman Problem

• 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.

  Details about The Extended Theory of Trees and Algebraic (Co)datatypes | BibTeX data for The Extended Theory of Trees and Algebraic (Co)datatypes | DOI (10.4204/EPTCS.320.14) | Link to The Extended Theory of Trees and Algebraic (Co)datatypes

Supervisor