Non-commutative geometry research group