Vismay is a software engineer from Calicut, India. He has worked on compiler optimizations and safety. He is familiar with programming languages such as C++, Python, Haskell, and Coq. In the past, he has worked with graphic processing, GPU computations, FPGA, and developing various DSLs.