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