Game Theory · Dynamic Games · Information Economics · Industrial Organization · Decision-Making Under Uncertainty · Bounded Rationality · Information Processing · AI Safety and Governance
Programming: Python, MATLAB. Formal methods: Lean 4. Agent-assisted editing: Cursor.
English (fluent), Czech (native), Spanish (advanced), German (beginner), Dutch (beginner).
Ad hoc referee: Review of Economic Studies; American Economic Review; Demonstratio Mathematica; Numerical Functional Analysis and Optimization.