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

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