Sign In

Kei Imada

CS Ph.D. Student

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

Highlights

Nov 29 · linkedin

Related Questions

What are Kei Imada's main research interests?
How does Kei Imada apply mathematical structures to type systems?
What is Kei Imada's role in the BLOKE project?
What formal verification tools is Kei Imada developing?
How does Kei Imada's work contribute to distributed systems?
Kei Imada
Kei Imada, photo 1
Kei Imada, photo 2
Add to my network

Location

Seattle, Washington, United States