Kei Imada

Kei Imada is a first-year Ph.D. student at Cornell University, specializing in programming languages and formal verification. His research focuses on developing tools for formal verification to ensure the safety and correctness of distributed systems. He is particularly interested in applying mathematical structures to type systems and formal verification methodologies.13

In addition to his academic pursuits, Imada has experience as a software developer and mathematician, with proficiency in programming languages such as Python and C. He has previously worked as a systems research assistant and a teaching assistant in computer science and mathematics.23

Imada is also involved in projects related to compiler optimizations, notably contributing to the development of BLOKE, a scalable implementation of STOKE aimed at optimizing educational intermediate representation languages.1 His work reflects a commitment to enhancing the efficiency and accuracy of algorithms while ensuring their correctness through formal methods.4