[eru]

Yes, I'm interested. There's an email address in my profile here.

My academic background is more on linear optimisation (and integer and combinatorial optimisation), but looking more into the various flavours of SAT would also be interesting.