Research & Projects
Research & Projects
Exact Perfect Matching
- my master thesis supervised by Prof. Bernd Gärtner and Nicolas El Maalouly
- collection of (old and) new results about the Exact Perfect Matching problem from three frontiers: combinatorial, algebraic, and integer programming
- PDF
A Perfect Sampler for Hypergraph Independent Sets
- with Guoliang Qiu and Chihao Zhang | ICALP 2022
- a “coupling from the past” sampler based on systematic scan chain, working almost up to hardness bound
- PDF | slides
Jensen’s Inequality, Partition Functions, and Models with Ternary Interactions
- my bachelor thesis supervised by Prof. Dominik Scheder
- builds lower and upper bounds for the PPZ algorithm on regular critical clause structure, and reveals its behaviour on large-girth formulas
- PDF | slides
SimPL
- design and implementation of a simple imperative+functional programming language
- supports type inference, polymorphism, garbage collection, stream operation, and tail recursion optimisation
- GitHub
Computing Power of the Game Manufactoria
- discusses the model and power of the game Manufactoria
- PDF | the game
