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.