E-mail: martin.dvorak@ista.ac.at

Affiliation

Institute of Science and Technology Austria (ISTA)

Research

Main areas of interest

  • Type theory
  • Complexity theory
  • Games

Publications

Martin Dvorak (2021). Minimum 0-Extensions of Graph Metrics
(updated version of my master thesis)

Martin Dvorak and Sara Nicholson (2021). Massively Winning Configurations in the Convex Grabbing Game on the Plane
(paper in CCCG 2021 — the 33rd Canadian Conference on Computational Geometry)

Martin Dvorak and Vladimir Kolmogorov (2021). Generalized Minimum 0-Extension Problem and Discrete Convexity
(technical report)

Current project

Formalization of formal grammars in Lean
(GitHub repository)

Science outreach

Korespondenční seminář M&M (organizing since 2016)

Dvorak, Martin; Havelka, Jonáš. Nekonečna. (Czech). Rozhledy matematicko-fyzikální. Praha, 2021(4), pp. 12–17

Doležal, Jiří X.; Dvorak, Martin. Elementární automat Rule 30, homolice vznešená a meze poznání. (Czech). Veronica: časopis ochránců přírody. Brno, 2022(1), pp. 20–22