I'm currently working on Causality with Deterministic Relationships (Finite Factored Sets put differently and more).

Currently, this is mainly extending the framework to the infinite setting, decidability of finite temporal inference, and efficient finite temporal inference.