Classes
- Code Optimization in Production CompilersNSWI134 | Faculty of Mathematics and Physics
- Code Optimization in Production Compilers 2NSWI181 | Faculty of Mathematics and Physics
- Introduction to Ramsey spaces for combinatorialistsNDMI114 | Faculty of Mathematics and Physics
- Selected topics in pigeonholesNDMI115 | Faculty of Mathematics and Physics
- Interactions between model theory and combinatoricsNDMI117 | Faculty of Mathematics and Physics
- Seminar on classification of homogeneous structuresNMAI075 | Faculty of Mathematics and Physics
Publications
- Type-respecting amalgamation and big Ramsey degrees2023 | Faculty of Mathematics and Physics
- Big Ramsey Degrees of 3-Uniform Hypergraphs Are Finite2022 | Faculty of Mathematics and Physics
- All those EPPA classes (strengthenings of the Herwig-Lascar theorem)2022 | Faculty of Mathematics and Physics
- Compiling Files in Parallel: A Study with GCC2022 | Faculty of Mathematics and Physics
- Ramsey properties and extending partial automorphisms forhbox classes of finite structures2021 | Faculty of Mathematics and Physics
- Simplicity of the automorphism groups of generalised metric spaces2021 | Faculty of Mathematics and Physics
- COMPLETING GRAPHS TO METRIC SPACES2021 | Faculty of Mathematics and Physics
- CONANT'S GENERALISED METRIC SPACES ARE RAMSEY2021 | Faculty of Mathematics and Physics
- Big Ramsey Degrees and Forbidden Cycles2021 | Faculty of Mathematics and Physics
- Big Ramsey Degrees of the Generic Partial Order2021 | Faculty of Mathematics and Physics
Loading network view...