Name Jun Inoue
Status Senior Undergraduate Student, Rice Univ. math major
picture of me

I'm interested in formal verification and low-level programming. I'm working on using an indexed-type system (a variant of dependent-type systems) called Concoqtion for writing formally verified software.

My advisor is Dr. Taha.

Email: jun.lambda at gmail.com