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

Comments

Post new comment

The content of this field is kept private and will not be shown publicly.