My work and research interests range from Computer Science and Mathematics to Physics.

### Computer Science

#### Interests

- Functional programming in Haskell, Idris, Agda
- Reactive programming
- Soft and hard realtime
- Embedded systems

- Verification of reactive programming
- Type theory

#### Work

- Article "Functional Reactive Programming, Refactored", published at Haskell Symposium 2016
- Extended abstract "Verifying Functional Reactive Programs with Side Effects", published at TYPES 2017
- Asynchronous functional reactive programming library Rhine, written in Haskell
- My github account

### Mathematical physics

#### Interests

- Quantum Gravity
- Extended Topological Quantum Field Theories (ETQFTs)
- Higher category theory
- Homotopy type theory and constructive TQFT
- Topological quantum computing and Quantum programming languages

#### Work

- My PhD thesis about topological state sum models in four dimensions and half-twist
- Article "Dichromatic state sum models for four-manifolds from pivotal functors", to appear in Communications of Mathematical Physics