[GSoC] Clang Static Analyzer constraint solver improvements

Hi, I am a pre-final year undergraduate of Computer Science. I have been
taking a look at the CSA constraint solver improvements project. I am in
the mid of completing my decision procedures course at university. I
have fundamental knowledge of solvers. I think I can contribute to this
project effectively.

How can I contact Valeriy Savchenko to discuss further?

Thank you