I'm a PhD student at ETH Zürich in Computer Science.
My advisor is Ralf Jung and I work on logics for reasoning about programs.
Previously, I did a MSc in pure mathematics
at the University of Copenhagen
and then I taught CS there for over a year.
Here, you can find my research in math and CS.
.
Matrix.
GPG.
Nationality: Danish. Residence: Zürich. Born: 2001, Copenhagen.
Abstract: Using the Galatius—Kupers—Randal-Williams framework of cellular E2-algebras, we prove a secondary stability theorem for mapping class groups of nonorientable surfaces. As a corollary, we obtain a new best known stability range for the homology of the mapping class groups of nonorientable surfaces with respect to adding torus holes.
Abstract: We give a new proof of homological stability with the best known isomorphism range for mapping class groups of surfaces with respect to genus. The proof uses the framework of Randal-Williams—Wahl and Krannich applied to disk stabilization in the category of bidecorated surfaces, using the Euler characteristic instead of the genus as a grading. The monoidal category of bidecorated surfaces does not admit a braiding, distinguishing it from previously known settings for homological stability. Nevertheless, we find that it admits a suitable Yang—Baxter element, which we show is sufficient structure for homological stability.
Abstract: We present new techniques for synthesizing programs through sequences of mutations. Among these are (1) a method of local scoring assigning a score to each expression in a program, allowing us to more precisely identify buggy code, (2) suppose-expressions which act as an intermediate step to evolving if-conditionals, and (3) cyclic evolution in which we evolve programs through phases of expansion and reduction. To demonstrate their merits, we provide a basic proof-of-concept implementation which we show evolves correct code for several functions manipulating integers and lists, including some that are intractable by means of existing Genetic Programming techniques.