# Dan Frumin (home page)

## About

I am a PhD student under the supervision of Herman Geuvers, Freek Wiedijk, and Robbert Krebbers. My research interests include program semantics, separation logic, and type theory.

## Contact information

- Email: dfrumin
*at*cs*dot*ru.nl - Office: 03.03, Mercator 1 building, Toernooiveld 212, Nijmegen 6525 EC

## Writings

### Publications and preprints

- A homotopy-theoretic model of function extensionality in the effective topos with Benno van den Berg (Mathematical Structures in Computer Science, 2018). Supersedes the arXiv preprint.
- ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency with Robbert Krebbers and Lars Birkedal (LICS 2018) See an accompanying web page with the tech report and additional formalisations. See the slides.
- Finite Sets in Homotopy Type Theory with Herman Geuvers, Léon Gondelman, and Niels van der Weide (CPP 2018). See an associated web page with the artifact and the slides.

### Other

- 1-types vs Groupoids with Niels van der Weide and Herman Geuvers (TYPES 2018). See the slides by Niels.
- A calculus for logical refinements in separation logic with Robbert Krebbers (CoqPL 2018).
- Weak Factorisation Systems in the Effective Topos (MSc. Thesis; under the supervision of Benno van den Berg, 2016)
- Logic and homotopy in the category of assemblies (Study report; under the supervision of Jaap van Oosten, 2016)
- Presheaf models for concurrency (Study report; under the supervision of Giovanni Ciná, 2015)

## Teaching

- TA for Berekenbaarheid (Computability), 2018. Extra materials: some exercises on reductions and Rice’s theorem.
- TA for Type Theory and Coq, 2017/2018. In the third part of the course we will be looking at
*continuation passing style*and*CPS transformations*. - TA for Type Theory and Coq, 2016/2017. In the third part of the course we looked into
*logical relations*. Extra materials: Contextual equivalence proof for logical relations, example proofs in the Abadi-Plotkin logic. - TA for Berekenbaarheid (Computability), 2016