Projects
I am or was a member of the following research projects:
- FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
- BiG: A Grand Challenge Project on Bidirectional Graph (Model) Transformation
- PRACTICE: Privacy-Preserving Computation in the Cloud
I also maintain some software packages:
- 2LT: A two-level transformation framework
- GHood: A graphical back-end for Hood
- pointless-haskell: A point-free programming library
- pointless-lenses: A library of point-free bidirectional lenses
- pointless-rewrite: A rewrite library for (normal, generic or bidirectional) point-free programs
- putlenses: A bidirectional library for put-based programming