Join us @ imath at 18:00 with Vadim Zaliva, a PhD candidate at Carnegie Mellon University.

Vadim is going to talk about his research in PLT: Coq Formalization of an Operator Language for Verified High-Performance Code Generation.