Write a Blog >>
People (9 results)
Geoffrey Mainland

Geoffrey Mainland

Drexel University

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

Mark Grebe

Mark Grebe

University of Kansas

… 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 …

Tachio Terauchi

Tachio Terauchi

JAIST

… 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 …

small-avatar

Thomas Anderson

University of Washington

… 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 …

John Harrison

John Harrison

Intel

… 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 …

Michael Emmi

Michael Emmi

IMDEA Software Institute

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

Roberto Giacobazzi

Roberto Giacobazzi

University of Verona, Italy

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

E. Allen Emerson

E. Allen Emerson

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

Isil Dillig

Isil Dillig

University of Texas, Austin

… to build in a robust way.

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