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

Dec 11 · cs.cornell.edu
CS 6120: BLOKE: Optimizing Bril with STOKE - Cornell CS
CS 6120: BLOKE: Optimizing Bril with STOKE - Cornell CS
Oct 24 · cs.cornell.edu
Imada | Department of Computer Science - Cornell CS
Imada | Department of Computer Science - Cornell CS

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