Hello. I am Felix Weilacher, a postdoc at UC Berkeley. Here is a current CV. I can be reached at weilacher AT berkeley DOT edu.

Papers:
Measurable Regular Subgraphs, ** preprint** (with Matt Bowen and Clinton Conley)
Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index, ** preprint** (with Anton Bernshteyn)
Computable vs Descriptive Combinatorics of Local Problems on Trees, ** Journal of Symbolic Logic**
Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms, ** preprint** (with Long Qian)
Definable Kőnig Theorems, ** Proceedings of the AMS (to appear) ** (with Matt Bowen)
Borel Edge Colorings for Finite Dimensional Groups, ** Israel Journal of Mathematics **
Descriptive Chromatic Numbers of Locally Finite and Everywhere Two Ended Graphs, ** Groups, Geometry, and Dynamics**
Marked Groups with Isomorphic Cayley Graphs but Different Borel Combinatorics, ** Fundamenta Mathematicae**,
Notes:
Definable Vizing Theorems (with Long Qian)
Measure Asymptotic Separation Index and Hyperfiniteness
Borel Vizing's Theorem for 2-Ended Groups
Other:
Here is my GitHub, where I mostly work on descriptive set theory for mathlib using the lean theorem prover.