Picture of Jeremy Siek

Jeremy G. Siek
Assistant Professor
Dept. of Electrical and Computer Engineering
University of Colorado at Boulder

Office: ECOT 349
Vita
PGP Public Key

Katie & Jeremy
         Home         Research         Publications         
 

In August '07 I joined the faculty of the Dept. of Electrical and Computer Engineering at Boulder as an Assistant Professor. I am also jointly appointed with the Dept. of Computer Science.

New papers
Teaching Students
  • Joe Angell (Gradual Typing)
  • Geoffrey Belter (High-level optimization of linear algebra and Datalog)
  • Ian Karlin (Memory-efficient linear algebra)
  • Weiyu Miao (Generic Programming, Metaprogramming)

Interesting Quotes

If you can't solve a problem, then there's an easier problem you can solve: find it. - George Polya
Writing is best done by coinduction! - Lynn Winebarger