Home

This is the personal website of myself, Manuel Bärenz. You will find information about all sorts of things I do on these pages. I speak German, English and a bit of Spanish. Currently, I live in Berlin.

I work for sonnen eServices GmbH as software developer, on optimization algorithms, simulation and data analysis in the controller of sonnen's virtual power plant.


Computer Science

My main interests are functional, type-driven, reactive programming. I love type theory, especially when involving dependent types, session types, and effect systems. My main languages are Haskell, Idris and Agda, but I've picked up a lot of Elixir on work as well. I've published on Functional Reactive programming (FRP), and still work and contribute in that area. Some hobby projects include Bayesian reasoning, verification of reactive programs with side effects, parser combinators, monad transformers, and toy languages. (I used to program in Python, Perl, CoffeeScript/NodeJS, PHP and Delphi, but I wouldn't touch any of these again.)


Essence of live coding

This is a live coding framework I developed. I gave a talk about it on Haskell Symposium 2019.


Libraries

As maintainer

As a main contributor

  • dunai (Arrowized, monadic FRP)
  • condatis (Verifying Functional Reactive Programs with Side Effects)


Publications

Peer-reviewed

Abstracts and pre-prints


Maths

I studied physics and maths. I'm interested in quantum gravity and different topology, and worked in this field using category theory and topological quantum field theory.


A short CV:
WhenWhereWhat
2017 - 2018ViennaPostDoc Mathematical Physics
2015 - 2017BambergTeaching Assistant Functional Programming
2013 - 2015NottinghamPhD with John Barrett
2011 - 2012CambridgeMaster in Maths and Theoretical Physics
2008 - 2011Heidelberg, ErlangenBachelor in Physics

My mathematical works:

Formalising 4-manifold diffeomorphisms with graphical calculus of higher categories and the Globular theorem proving assistant. (Further information here.)

I also worked on half-twists in braided categories and quantum groups.


Music

I'm a classically trained pianist, but I mainly do improvisation these days. You can find recordings of some of my improvisations on Bandcamp.

I often accompany improv theatre in the Berlin area, for example at BühnenRausch. I co-founded a musical improv theatre group in Vienna, TonArt.

I also compose music for theatre, usually piano solo scores which I perform myself, but also songs, musical pieces, as well as orchestral, choir and ensemble works. Past compositions include original scores for “Whose life is it anyways?” and “A Midsummer Night's Dream”.

If you want to book me as a pianist, or you would like me to compose a score for you, please send an email to music@(insert my domain name here).