… am a first year, part time, PhD student with Dr. Gill. My research interests include applying functional languages to solve problems in the Embedded Systems space, programming language design, and Computer Science education at all levels …

… for several tech companies, all of which are now defunct. Most of my work was related …

… I am a Japan born Japanese, educated mostly in America. I have B.S. from Columbia and M.S. and Ph.D. from UC Berkeley, all in computer science. I was an assistant professor at Tohoku University from 2007 to 2011, and an associate professor …

… I do formal verification at Intel Corporation. I specialize in verification of floating-point algorithms and other mathematical software, but I’m interested in all aspects of theorem proving and verification. I’m also interested …

… Thomas Anderson is the Robert E. Dinning Professor of Computer Science and Engineering at the University of Washington. His research interests span all aspects of building practical, robust, and efficient computer systems, including …

… (fsmp). Prior to all that, Michael completed his undergraduate studies …

… protection, and in malware analysis. In all these fields I am interested in studying …

… (Computation Tree Logic) permitting specification of behavior along all futures versus …

… to build in a robust way.

I obtained all my degrees (BS, MS, PhD) at Stanford …