See this talk from 2024 P4 workshop:
I have received a message from Bill Pontikakis on 2024-Dec-12 "Our student is preparing his slides for his thesis defence, after which, he told me he can meet me and François and start the process of contributing to the P4 repository."