ITT: Formal methods research interests, possible project(s).
So the star seems to be rising for ideas and an approach to formal methods that I've been thinking about and advocating for a very, very long time now. I'm working with colleagues to socialize and hopefully fund this, and I've got the clear to talk openly. I also (still) have the issue of a missing PhD, so... Here goes.
1/..
