@peterrowlett Rosza Peter is a good candidate - did lots of good working in computability