Startups Mentorship Program
Startups Mentorship Program
Sat, Feb 11, 10:00 AM
Kiev • Kiev
€32.64 - €80.12
Institute of Mathematics Tereschenkivska 3 01004 Kyiv Ukraine
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.
Events you might like